AAAI-13: THE TWENTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE

PROGRAM FOR WEDNESDAY, JULY 17TH, 2013: TALK VIEW

Days:
previous day
next day
all days

View: with abstractssession overviewside by side with other conferences

IAAI
AAAI
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
10:20-10:35
Mixed Heuristic Local Search for Protein Structure Prediction
Swakkhar Shatabda, M A Hakim Newton, Abdul Sattar
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
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
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: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
12:05-12:20
A First-Order Formalization of Commitments and Goals for Planning
Felipe Meneguzzi, Pankaj Telang, Munindar Singh
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
11:20-11:35
Fast and Exact Top-k Algorithm for PageRank
Y. Fujiwara, M. Nakatsuji, H. Shiokawa, T. Mishima, M. Onizuka
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
11:20-11:50
Deployed: USI Answers: Natural Language Question Answering Over (Semi-) Structured Industry Data
Ulli Waltinger, Dan Tecuci, Mihaela Olteanu, Vlad Mocanu, Sean Sullivan
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: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: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: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
15:00-15:15
On the Subexponential Time Complexity of CSP
Iyad Kanj, Stefan Szeider
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: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: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: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:30-15:45
Data-Efficient Generalization of Robot Skills with Contextual Policy Search
Andras Gabor Kupcsik, Marc Peter Deisenroth, Jan Peters, Gerhard Neumann
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
14:45-15:05
Emerging: Leveraging Crowdsourcing to Detect Improper Tasks in Crowdsourcing Marketplaces
Yukino Baba, Hisashi Kashima, Kei Kinoshita, Goushi Yamaguchi, Yosuke Akiyoshi
15:05-15:25
Emerging: Detection and Prediction of Adverse and Anomalous Events in Medical Robots
K. Liang, F. Cao, Z. Bai, M. Renfrew, M.C. Cavusoglu, A. Podgurski, S. Ray
15:25-15:45
Emerging: Detecting the Moment of Snap in Real-World Football Videos
Behrooz Mahasseni, Sheng Chen, Alan Fern, Sinisa Todorovic
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:15-17:30
Backdoors to Normality for Disjunctive Logic Programs
Johannes Klaus Fichte, Stefan Szeider
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
16:45-17:15
Deployed: Integrating Digital Pens in Breast Imaging for Instant Knowledge Acquisition
Daniel Sonntag, Markus Weber, Matthias Hammon, Alexander Cavallaro
17:15-17:35
Emerging: Policies to Optimize Work Performance and Thermal Safety in Exercising Humans
M. Buller, E. Sodomka, W. Tharion, C. Clements, R. Hoyt, O.C. Jenkins
17:35-17:55
Emerging: Physical Activity Recognition from Accelerometer Data Using a Multi-Scale Ensemble Method
Yonglei Zheng, Weng-Keen Wong, Xinze Guan, Stewart Trost
19:00-22:00 AAAI Banquet
10:00-10:20 Coffee Break
12:30-13:45 Lunch Break
15:45-16:15 Coffee Break