AAAI-13: THE TWENTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE
PROGRAM
AAAI
|
EAAI
|
IAAI
PROGRAM
AAAI ON WEDNESDAY, JULY 17TH, 2013: TALK VIEW
Days:
previous day
next day
all days
View:
with abstracts
session overview
side by side with other conferences
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
20:30
21:00
21:30
22:00
09:00-10:00
AAAI-13 Invited Talk: Fighting the Tuberculosis Pandemic Using Machine Learning
Kristin Bennett
10:20-10:35
Mixed Heuristic Local Search for Protein Structure Prediction
Swakkhar Shatabda, M A Hakim Newton, Abdul Sattar
10:35-10:50
Ranking Scientific Articles by Exploiting Citations, Authors, Journals and Time Information
Yujing Wang, Yunhai Tong, Ming Zeng
10:50-11:05
A Morphogenetically Assisted Design Variation Tool
A. Adler, F. Yaman, J. Beal, J. Cleveland, H. Mostafa, A. Mozeika
11:05-11:20
Guiding Scientific Discovery with Explanations Using DEMUD
Kiri Wagstaff, Nina Lanza, David Thompson, Thomas Dietterich, Martha Gilmore
10:20-10:35
Discovering Hierarchical Structure for Sources and Entities
Aditya Pal, Nilesh Dalvi, Kedar Bellare
10:35-10:50
Walking on Minimax Paths for k-NN Search
Kye-Hyeon Kim, Seungjin Choi
10:50-11:05
Formalizing Hierarchical Clustering as Integer Linear Programming
Sean Gilpin, Siegfried Nijssen, Ian Davidson
11:05-11:20
Reciprocal Hash Tables for Nearest Neighbor Search
Xianglong Liu, Junfeng He, Bo Lang
10:20-10:35
Cost-Optimal Planning by Self-Interested Agents
Raz Nissim, Ronen Brafman
10:35-10:50
Teamwork with Limited Knowledge of Teammates
Samuel Barrett, Peter Stone, Sarit Kraus, Avi Rosenfeld
10:50-11:05
Composition Games for Distributed Systems: The EU Grant Games
Shay Kutten, Ron Lavi, Amitabh Trehan
11:05-11:20
Information Sharing Under Costly Communication in Joint Exploration
Igor Rochlin, David Sarne
10:20-10:35
Robot Motion Planning with Dynamics as Hybrid Search
Erion Plaku
10:35-10:50
GSMDPs for Multi-Robot Sequential Decision-Making
João Messias, Matthijs Spaan, Pedro U. Lima
10:50-11:05
A Simple, But NP-Hard, Motion Planning Problem
Lawrence Erickson, Steven Lavalle
11:05-11:20
Structure and Intractability of Optimal Multi-robot Path Planning on Graphs
Jingjin Yu, Steve Lavalle
10:20-10:35
A filtering algorithm for constraints of difference in CSPs
Jean-Charles Regin
10:35-10:50
Acting Optimally in Partially Observable Stochastic Domains
Anthony Cassandra
10:50-11:20
Decision-Making in Open Mixed Networks
Kobi Gal
10:20-10:35
AAAI-13 Outstanding Paper, Honorable Mention: Effective Bilingual Constraints for Semi-supervised Learning of Named Entity
Mengqiu Wang, Wanxiang Che, Christopher Manning
10:35-10:50
Grounding Natural Language References to Unvisited and Hypothetical Location
T. Williams, R. Cantrell, G. Briggs, P. Schermerhorn, M. Scheutz
10:50-11:05
An Extended GHKM Algorithm for Inducing Lambda-SCFG
Peng Li, Yang Liu, Maosong Sun
11:05-11:20
Automatic Identification of Conceptual Metaphors With Limited Knowledge
Gandy et.al
11:20-11:35
Computational Aspects of Nearly Single-Peaked Electorates
Gabor Erdelyi, Martin Lackner, Andreas Pfandler
11:35-11:50
Ties Matter: Complexity of Manipulation when Tie-breaking with a Random Vote
Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh
11:50-12:05
Bribery in Voting with Soft Constraints
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable
12:05-12:20
How Bad is Selfish Voting?
Simina Branzei, Ioannis Caragiannis, Jamie Morgenstern, Ariel Procaccia
11:20-11:35
Hypothesis Exploration for Malware Detection Using Planning
Shirin Sohrabi, Octavian Udrea, Anton Riabov
11:35-11:50
Red-Black Relaxed Plan Heuristics
Michael Katz, Jorg Hoffmann, Carmel Domshlak
11:50-12:05
Truncated Incremental Search: Faster Replanning by Exploiting Suboptimality
Sandip Aine, Maxim Likhachev
12:05-12:20
A First-Order Formalization of Commitments and Goals for Planning
Felipe Meneguzzi, Pankaj Telang, Munindar Singh
11:20-11:35
Multiagent Knowledge and Belief Change in the Situation Calculus
Liangda Fang, Yongmei Liu
11:35-11:50
Progression of Decomposed Situation Calculus Theories
Denis Ponomaryov, Mikhail Soutchanski
11:50-12:05
Data-Parallel Computing Meets STRIPS
E. Karpas, T. Sagi, C. Domshlak, A. Gal, A. Mendelson, M. Tennenholtz
12:05-12:20
Reasoning about Saturated Conditional Independence under Uncertainty: Axioms, Algorithms and Levesque's Situations to the
Sebastian Link
11:20-11:35
Fast and Exact Top-k Algorithm for PageRank
Y. Fujiwara, M. Nakatsuji, H. Shiokawa, T. Mishima, M. Onizuka
11:35-11:50
Heterogeneous Metric Learning with Joint Graph Regularization for Cross-Media Retrieval
Xiaohua Zhai, Yuxin Peng, Jianguo Xiao
11:50-12:05
TONIC: Target Oriented Network Intelligence Collection for the Social Web
Roni Stern, Liron Samama, Rami Puzis, Tal Beja, Zahy Bnaya, Ariel Felner
12:05-12:20
Preventing Unraveling in Social Networks Gets Harder
Rajesh Chitnis, Fedor V. Fomin, Petr A. Golovach
11:20-11:35
Multi-Target Detection and Recognition by UAVs Using Online POMDPs
Caroline Ponzoni Carvalho Chanel, Florent Teichteil-Königsbuch, Charles Lesire
11:35-11:50
Compact RGBD Surface Models Based on Sparse Coding
Michael Ruhnke, Liefeng Bo, Dieter Fox, Wolfram Burgard
11:50-12:05
Open-Loop Planning in Large-Scale Stochastic Domains
Ari Weinstein, Michael Littman
12:05-12:20
Bayesian Nonparametric Multi-Optima Policy Search in Reinforcement Learning
Danilo Bruno, Sylvain Calinon, Darwin G. Caldwell
11:20-11:35
RSS: What's Hot
Luke Zettlemoyer
11:35-11:50
CP: What's Hot and Challenges
Pascal Van Hentenryck
11:50-12:05
CP: Challenges
Barry O'Sullivan
12:20-12:22
Multiple Outcome Supervised Latent Dirichlet Allocation for Expert Discovery in Online Forums
Jose San Pedro, Alexandros Karatzoglou
12:22-12:24
Supervised Topic Model with Consideration of User and Item
Sheng Wang, Fangtao Li, Ming Zhang
12:24-12:26
Combining CP-Nets with the Power of Ontologies
Tommaso Di Noia, Thomas Lukasiewicz
12:26-12:28
Negative Influence Minimizing by Blocking Nodes in Social Networks
Senzhang Wang, Xiaojian Zhao, Yan Chen, Zhoujun Li, Kai Zhang, Jiali Xia
12:20-12:22
Comprehensive Cross-Hierarchy Cluster Agreement Evaluation
David M. Johnson, Caiming Xiong, Jing Gao, Jason J. Corso
12:22-12:24
Strong Nash Equilibrium Is in Smoothed P
Nicola Gatti, Marco Rocco, Tuomas Sandholm
12:24-12:26
Verbal IQ of a Four-Year Old Achieved by an AI System
Stellan Ohlsson, Robert Sloan, Gyorgy Turan, Aaron Urasky
12:26-12:28
Approximation of Lorenz-Optimal Solutions in Multiobjective Markov Decision Processes
Patrice Perny, Paul Weng, Judy Goldsmith, Josiah Hanna
12:28-12:30
Covering Landmark Interactions for Semantically Diverse Plans
Daniel Bryce, Renee Bryce
12:20-12:22
Conditional Outlier Approach for Detection of Unusual Patient Care Actions
Milos Hauskrecht, Shyam Visweswaran, Gregory Cooper, Gilles Clermont
12:22-12:24
Discriminative Multi-Task Feature Selection
Yahong Han, Jianguang Zhang, Zhongwen Xu, Shoou-I Yu
12:24-12:26
A Modular Framework for the Automatic Reconstruction of Shredded Documents
Razvan Ranca
12:26-12:28
Learning When to Reject an Importance Sample
Jeremy Weiss, Sriraam Natarajan, David Page
12:20-12:22
Modular Answer Set Solving
Yuliya Lierler, Mirek Truszczynski
12:22-12:24
Additive Counterexample-guided Cartesian Abstraction Refinement
Jendrik Seipp, Malte Helmert
12:24-12:26
Partial Domain Search Tree for Constraint-Satisfaction Problems
Guni Sharon, Ariel Felner, Roni Stern, Nathan Sturtevant
12:26-12:28
Volatile Multi-Armed Bandits for Guaranteed Targeted Social Crawling
Zahy Bnaya, Rami Puzis, Roni Stern, Ariel Felner
12:28-12:30
Localizing Web Videos from Heterogeneous Images
Xian-Ming Liu, Yue Gao, Rongrong Ji, Shiyu Chang, Thomas Huang
13:45-14:45
AAAI-13 Invited Talk: Poker AI: Algorithms for Creating Game-Theoretic Strategies for Large Incomplete-Information
Tuomas Sandholm
14:45-15:00
Unified Constraint Propagation on Multi-View Data
Zhiwu Lu, Yuxin Peng
15:00-15:15
On the Subexponential Time Complexity of CSP
Iyad Kanj, Stefan Szeider
15:15-15:30
Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree
Shant Karakashian, Robert Woodward, Berthe Y Choueiry
15:30-15:45
Extending STR to a Higher-Order Consistency
Christophe Lecoutre, Anastasia Paparrizou, Kostas Stergiou
14:45-15:00
Multiscale Manifold Learning
Chang Wang, Sridhar Mahadevan
15:00-15:15
A Tensor-Variate Gaussian Process for Classification of Multidimensional Structured Data
Qibin Zhao, Liqing Zhang, Andrzej Cichocki
15:15-15:30
A Cyclic Weighted Median Method for L1 Low-Rank Matrix Factorization with Missing Entries
Deyu Meng, Zongben Xu, Lei Zhang, Ji Zhao
15:30-15:45
Supervised Nonnegative Tensor Factorization with Maximum-Margin Constraint
Fei Wu, Xu Tan, Yi Yang, Dacheng Tao, Siliang Tang, Yueting Zhuang
14:45-15:00
Efficient Evolutionary Dynamics with Extensive-Form Games
Nicola Gatti, Fabio Panozzo, Marcello Restelli
15:00-15:15
An Agent Design for Repeated Negotiation and Information Revelation with People
Noam Peled, Ya'Akov Gal, Sarit Kraus
15:15-15:30
Algorithms for Strong Nash Equilibrium with More than Two Agents
Nicola Gatti, Marco Rocco, Tuomas Sandholm
15:30-15:45
Equilibria of Online Scheduling Algorithms
Itai Ashlagi, Brendan Lucier, Moshe Tennenholtz
14:45-15:00
Understanding and Predicting Interestingness of Videos
Yu-Gang Jiang, Yanran Wang, Rui Feng, Xiangyang Xue, Yingbin Zheng, Hanfang Yang
15:00-15:15
Active Transfer Learning for Cross-System Recommendation
Lili Zhao, Sinno Jialin Pan, Evan Xiang, Erheng Zhong, Zhongqi Lu, Qiang Yang
15:15-15:30
LA-CTR: A Limited Attention Collaborative Topic Regression for Social Media
Jeon-Hyung Kang, Kristina Lerman
15:30-15:45
A Fast Bandit Algorithm for Recommendations to Users with Heterogeneous Tastes
Pushmeet Kohli, Mahyar Salek, Greg Stoddard
14:45-15:00
Model-Lite Case-Based Planning
Hankz Hankui Zhuo, Tuan Nguyen, Subbarao Kambhampati
15:00-15:15
Learning Collaborative Impedance-based Robot Behaviors
Leonel Rozo, Sylvain Calinon, Darwin Caldwell, Pablo Jimenez, Carme Torras
15:15-15:30
Inferring Robot Task Plans from Human Team Meetings: A Generative Modeling Approach with Logic-Based
Been Kim, Caleb Chacha, Julie Shah
15:30-15:45
Data-Efficient Generalization of Robot Skills with Contextual Policy Search
Andras Gabor Kupcsik, Marc Peter Deisenroth, Jan Peters, Gerhard Neumann
14:45-15:00
ICWSM: What's Hot: Structure and Dynamics of Social Networks and Information Networks
Lada Adamic
15:00-15:15
ICWSM: Challenges
Emre Kiciman
15:15-15:30
AAMAS: Best Paper
Carmine Ventre
15:30-15:45
AAMAS: What's Hot
Milind Tambe
15:45-16:45
LBP/Poster sessions
16:45-17:45
Conference Reviewing: Best Practices
Michael Littman, Marie Desjardins
16:45-17:00
Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge
Samuel Davis-Mendelow, Jorge Baier, Sheila Mcilraith
17:00-17:15
A Fast Pairwise Heuristic for Planning under Uncertainty
Koosha Khalvati, Alan Mackworth
17:15-17:30
Mixed Observability Predictive State Representations
Sylvie C.W. Ong, Yuri Grinberg, Joelle Pineau
17:30-17:45
Qualitative Planning under Partial Observability in Multi-Agent Domains
Ronen Brafman, Guy Shani, Shlomo Zilberstein
16:45-17:00
Dynamic Minimization of Sentential Decision Diagrams
Arthur Choi, Adnan Darwiche
17:00-17:15
Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs
Benjamin Grosof, Terrance Swift
17:15-17:30
Backdoors to Normality for Disjunctive Logic Programs
Johannes Klaus Fichte, Stefan Szeider
17:30-17:45
Answering Counting Aggregate Queries over Ontologies of DL-Lite Family
Egor V. Kostylev, Juan L. Reutter
16:45-17:00
A Kernel Density Estimate-based approach to Component Goodness Modeling
Nuno Cardoso, Rui Abreu
17:00-17:15
On Power-Law Kernels, Corresponding Reproducing Kernel Hilbert Space and Applications
Debarghya Ghoshdastidar, Ambedkar Dukkipati
17:15-17:30
Symmetry-Aware Marginal Density Estimation
Mathias Niepert
17:30-17:45
A Robust Bayesian Truth Serum for Non-binary Signals
Goran Radanovic, Boi Faltings
16:45-17:00
AIIDE: What's Hot
Gita Sukthankar
17:00-17:15
LSG: Challenges
Martin Zinkevich
17:15-17:30
ISWC: Best Paper: Discovering Concept Coverings in Ontologies of Linked Data Sources
Rahul Parundekar
19:00-22:00
AAAI Banquet
10:00-10:20
Coffee Break
12:30-13:45
Lunch Break
15:45-16:15
Coffee Break