Bridging the Gap between Task and Motion Planning
| Integrating Task and Motion Planning Using Semantic Attachments | |
| Christian Dornhege, Patrick Eyerich, Thomas Keller, Michael Brenner, Bernhard Nebel |
| Hierarchical Planning in the Now | |
| Leslie Pack Kaelbling, Tomas Lozano-Perez |
Collaboratively-Built Knowledge Sources and Artificial Intelligence
| Bridging Common Sense Knowledge Bases with Analogy by Graph Similarity | |
| Yen-Ling Kuo, Jane Yung-jen Hsu |
Interactive Decision Theory and Game Theory
| Teamwork and Coordination under Model Uncertainty in DEC-POMDPs | |
| Jun-young Kwak, Rong Yang, Zhengyu Yin, Matthew E. Taylor, Milind Tambe |
| Signaling Games with Partially Observable Actions as a Model of Conversational Grounding | |
| Will Thompson, Stefan Kaufmann |
| A Cognitive Hierarchy Model Applied to the Lemonade Game | |
| Michael Wunder, Michael Littman, Michael Kaisers, John Robert Yaros |
Metacognition for Robust Social Systems
| Decentralised Metacognition in Context-Aware Autonomic Systems: Some Key Challenges | |
| Catriona Kennedy |
Plan, Activity, and Intent Recognition
| Search Performance of Multi-Agent Plan Recognition in a General Model | |
| Bikramjit Banerjee, Landon Kraemer |
| Plan Libraries for Plan Recognition: Do We Really Know What They Model? | |
| Robert P. Goldman, Froduald Kabanza, Philipe Bellefeuille |
| Opponent Behaviour Recognition for Real-Time Strategy Games | |
| Froduald Kabanza, Philipe Bellefeuille, Francis Bisson, Abder Rezak Benaskeur, Hengameh Irandoust |
Statistical Relational AI
| Preface | |
| Kristian Kersting, Stuart Russell, Leslie Pack Kaelbling, Alon Halevy, Sriraam Natarajan, Lilyana Mihalkova |
| Lifted Message Passing for Satisfiability | |
| Fabian Hadiji, Kristian Kersting, Babak Ahmadi |
| Stochastic Planning and Lifted Inference | |
| Roni Khardon |
| Leveraging Ontologies for Lifted Probabilistic Inference and Learning | |
| Chloe Marielle Kiddon, Pedro Domingos |
| Using Structural Motifs for Learning Markov Logic Networks | |
| Stanley Kok, Pedro Domingos |
| Exploiting Causal Independence in Markov Logic Networks: Combining Undirected and Directed Models | |
| Sriraam Natarajan, Tushar Khot, Daniel Lowd, Prasad Tadepalli, Kristian Kersting, Jude Shavlik |
Visual Representations and Reasoning
| Re-Examining the Mental Imagery Debate with Neuropsychological Data from the Clock Drawing Test | |
| Anupam Guha, Hyungsin Kim, Ellen Do |
| Verbal Assistance in Tactile-Map Explorations: A Case for Visual Representations and Reasoning | |
| Christopher Habel, Matthias Kerzel, Kris Lohmann |
| Context-Bounded Refinement Filter Algorithm: Improving Recognizer Accuracy of Handwriting in Clock Drawing Test | |
| Hyungsin Kim, Young Suk Cho, Ellen Yi-Luen Do |
| A Fractal Analogy Approach to the Raven's Test of Intelligence | |
| Keith McGreggor, Maithilee Kunda, Ashok Goel |
Workshop on Abstraction, Reformulation, and Approximation
| Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem | |
| Roman Bartak, Ondrej Kuzelka, Filip Zelezny |
| Approximate Inference for Clusters in Solution Spaces | |
| Lukas Kroc, Ashish Sabharwal, Bart Selman |