Bridging the Gap between Task and Motion Planning
| Motion Planning Algorithms for Autonomous Intersection Management | |
| Tsz-Chiu Au, Peter Stone |
| Integrating Task and Motion Planning Using Semantic Attachments | |
| Christian Dornhege, Patrick Eyerich, Thomas Keller, Michael Brenner, Bernhard Nebel |
| Dynamic Execution of Temporally and Spatially Flexible Reactive Programs | |
| Robert T. Effinger, Brian Williams, Andreas Hofmann |
| A Travel-Time Optimizing Edge Weighting Scheme for Dynamic Re-Planning | |
| Andrew Feit, Lenrik Toval, Raffi Hovagimian, Rachel Greenstadt |
| Hierarchical Planning in the Now | |
| Leslie Pack Kaelbling, Tomas Lozano-Perez |
| Closing the Loop between Motion Planning and Task Execution Using Real-Time GPU-Based Planners | |
| Jia Pan, Dinesh Manocha |
| Hierarchical Planning for Mobile Manipulation | |
| Jason Wolfe, Bhaskara Marthi, Stuart Russell |
Collaboratively-Built Knowledge Sources and Artificial Intelligence
| Preface | |
| Vivi Nastase, Roberto Navigli, Fei Wu |
| Treating Expert Knowledge as Common Sense | |
| Henry Lieberman |
| Can We (and Should We) Make Formal Sense of General Knowledge Expressed in Ordinary Language? | |
| Lenhart Schubert |
| Learning to Extract Quality Discourse in Online Communities | |
| Michael Robert Brennan, Stacy Wrazien, Rachel Greenstadt |
| Learning from the Web: Extracting General World Knowledge from Noisy Text | |
| Jonathan Gordon, Benjamin Van Durme, Lenhart K. Schubert |
| Reducing the Dimensionality of Data Streams using Common Sense | |
| Catherine Havasi, Jason Alonso, Robert Speer |
| Bridging Common Sense Knowledge Bases with Analogy by Graph Similarity | |
| Yen-Ling Kuo, Jane Yung-jen Hsu |
| Mixed-Initiative, Entity-Centric Data Aggregation using Assistopedia | |
| Matthew Michelson, Sofus Macskassy, Steve Minton |
| Constructing Folksonomies by Integrating Structured Metadata with Relational Clustering | |
| Anon Plangprasopchok, Kristina Lerman, Lise Getoor |
| Approaches for Automatically Enriching Wikipedia | |
| Zareen Saba Syed, Tim Finin |
| Aligning WordNet Synsets and Wikipedia Articles | |
| Samuel Fernando, Mark Stevenson |
| Open Mind Common Sense: Crowd-sourcing for Common Sense | |
| Catherine Havasi, Robert Speer, Kenneth Arnold, Henry Lieberman, Jason Alonso, Jesse Moeller |
Interactive Decision Theory and Game Theory
| Learning to Cooperate in Normal Form Games | |
| Steven Damer, Maria Gini |
| A Computational Decision Theory for Interactive Assistants | |
| Alan Fern, Prasad Tadepalli |
| Mathematical Programming Formulations to Compute Steady States in Two-Player Extensive-Form Games | |
| Nicola Gatti, Sofia Ceppi, Fabio Panozzo |
| Using a Trust Model in Decision Making for Supply Chain Management | |
| Yasaman Haghpanah, Marie desJardins |
| Teamwork and Coordination under Model Uncertainty in DEC-POMDPs | |
| Jun-young Kwak, Rong Yang, Zhengyu Yin, Matthew E. Taylor, Milind Tambe |
| Integrating Opponent Models with Monte-Carlo Tree Search in Poker | |
| Marc Ponsen, Geert Gerritsen, Guillaume Chaslot |
| MCRNR: Fast Computing of Restricted Nash Responses by Means of Sampling | |
| Marc Ponsen, Marc Lanctot, Steven de Jong |
| Signaling Games with Partially Observable Actions as a Model of Conversational Grounding | |
| Will Thompson, Stefan Kaufmann |
| Sampling and Updating Higher Order Beliefs in Decision-Theoretic Bargaining Under Uncertainty | |
| Paul Varkey, Piotr Gmytrasiewicz |
| A Cognitive Hierarchy Model Applied to the Lemonade Game | |
| Michael Wunder, Michael Littman, Michael Kaisers, John Robert Yaros |
| Maximum Causal Entropy Correlated Equilibria for Markov Games | |
| Brian D. Ziebart, Drew Bagnell, Anind K. Dey |
Metacognition for Robust Social Systems
| Envisioning a Robust, Scalable Metacognitive Architecture Built on Dimensionality Reduction | |
| Jason Bernardino Alonso, Kenneth C. Arnold, Catherine Havasi |
| Multiagent Meta-Level Control for Predicting Meteorological Phenomena | |
| Shanjun Cheng, Anita Raja, Victor Lesser |
| Toward Spoken Dialogue as Mutual Agreement | |
| Susan L. Epstein, Joshua Gordon, Rebecca Passonneau, Tiziana Ligorio |
| Robotic Self-Models Inspired by Human Development | |
| Justin Wildrick Hart, Brian Scassellati |
| Metacognition for Detecting and Resolving Conflicts in Operational Policies | |
| Darsana Josyula, Bette Donahue, Matthew McCaslin, Michelle Snowden, Michael Anderson, Timothy Oates, Matthew Schmill, Donald Perlis |
| Decentralised Metacognition in Context-Aware Autonomic Systems: Some Key Challenges | |
| Catriona Kennedy |
| Metarepresentational Versus Control Theories of Metacognition | |
| Santiago Arango Munoz |
| A Human-Inspired Cognitive Architecture Supporting Self Regulated Learning in Problem Solving | |
| Alexei V. Samsonovich |
| IsisWorld: An Open Source Commonsense Simulator for AI Researchers | |
| Dustin Smith, Bo Morgan |
Plan, Activity, and Intent Recognition
| Search Performance of Multi-Agent Plan Recognition in a General Model | |
| Bikramjit Banerjee, Landon Kraemer |
| Towards the Integration of Programming by Demonstration and Programming by Instruction using Golog | |
| Christian Fritz, Yolanda Gil |
| Handling Looping and Optional Actions in YAPPR | |
| Christopher Geib, Robert Goldman |
| 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 |
| Appliance Recognition and Unattended Appliance Detection for Energy Conservation | |
| Shih-Chiang Lee, Gu-Yuan Lin, Wan-Rong Jih, Jane Yung-Jen Hsu |
| Activity Recognition Based on Home to Home Transfer Learning | |
| Parisa Rashidi, Diane J. Cook |
| Possibilistic Behavior Recognition in Smart Homes for Cognitive Assistance | |
| Patrice C. Roy, Sylvain Giroux, Bruno Bouchard, Abdenour Bouzouane, Clifton Phua, Andrei Tolstikov, Jit Biswas |
Statistical Relational AI
| Preface | |
| Kristian Kersting, Stuart Russell, Leslie Pack Kaelbling, Alon Halevy, Sriraam Natarajan, Lilyana Mihalkova |
| Automatic Inference in BLOG | |
| Nimar S. Arora, Stuart Russell, Erik Sudderth |
| Relational Learning for Collective Classification of Entities in Images | |
| Anton Chechetka, Denver Dash, Matthai Philipose |
| Lifted Inference for Relational Continuous Models | |
| Jaesik Choi, David J. Hill, Eyal Amir |
| Exploiting Logical Structure in Lifted Probabilistic Inference | |
| Vibhav Gogate, Pedro Domingos |
| Lifted Message Passing for Satisfiability | |
| Fabian Hadiji, Kristian Kersting, Babak Ahmadi |
| Online Max-Margin Weight Learning with Markov Logic Networks | |
| Tuyen N. Huynh, Raymond J. Mooney |
| 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 |
| Deep Transfer as Structure Learning in Markov Logic Networks | |
| David Andrew Moore, Andrea Pohoreckyj Danyluk |
| Exploiting Causal Independence in Markov Logic Networks: Combining Undirected and Directed Models | |
| Sriraam Natarajan, Tushar Khot, Daniel Lowd, Prasad Tadepalli, Kristian Kersting, Jude Shavlik |
| Efficient Lifting for Online Probabilistic Inference | |
| Aniruddh Nath, Pedro Domingos |
| Integrating Structured Metadata with Relational Affinity Propagation | |
| Anon Plangprasopchok, Kristina Lerman, Lise Getoor |
| Machine Reading: A "Killer App" for Statistical Relational AI | |
| Hoifung Poon, Pedro Domingos |
| Bayesian Abductive Logic Programs | |
| Sindhu V. Raghavan, Raymond J. Mooney |
| Declarative Probabilistic Programming for Undirected Graphical Models: Open Up to Scale Up | |
| Sebastian Robert Riedel |
| An Architectural Approach to Statistical Relational AI | |
| Paul Rosenbloom |
| Approximate Lifted Belief Propagation | |
| Parag Singla, Aniruddh Nath, Pedro Domingos |
| Probabilistic Programming for Planning Problems | |
| Ingo Thon, Bernd Gutmann, Guy Van den Broeck |
Visual Representations and Reasoning
| Reasoning About Sketches Using Context, Domain Knowledge, and Interaction with the User | |
| Aaron Daniel Adler |
| Visual and Spatial Factors in a Bayesian Reasoning Framework for the Recognition of Intended Messages in Grouped Bar Charts | |
| Richard Burns, Sandra Carberry, Stephanie Elzer |
| Estimating Quantitative Magnitudes Using Semantic Similarity | |
| Jim Davies, Jonathan Gagne |
| Design Concerns of Persuasive Feedback System | |
| Wen-Chieh Fang, Jane Yung-jen Hsu |
| 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 |
| Diagrams as Scaffolds for Abductive Insights | |
| Michael Hans Georg Hoffmann |
| Designing a Visual Analytic System to Represent Bookmark Sharing Data | |
| Jee Yeon Hwang, Jaeeun Shim-Lee, Heerin Lee |
| Context-Bounded Refinement Filter Algorithm: Improving Recognizer Accuracy of Handwriting in Clock Drawing Test | |
| Hyungsin Kim, Young Suk Cho, Ellen Yi-Luen Do |
| Visualization for Structured Constraint Satisfaction Problems | |
| Xingjian Li, Susan L. Epstein |
| A Fractal Analogy Approach to the Raven's Test of Intelligence | |
| Keith McGreggor, Maithilee Kunda, Ashok Goel |
| Speculations on Leveraging Graphical Models for Architectural Integration of Visual Representation and Reasoning | |
| Paul Rosenbloom |
| EMPATHICA: A Computer Support System with Visual Representations for Cognitive-Affective Mapping | |
| Paul Thagard |
Workshop on Abstraction, Reformulation, and Approximation
| Preface | |
| Gregory Provan, Ashish Sabharwal |
| Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem | |
| Roman Bartak, Ondrej Kuzelka, Filip Zelezny |
| Parallel Best-First Search: The Role of Abstraction | |
| Ethan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou |
| Reformulation of Global Constraints in Answer Set Programming | |
| Christian Drescher, Toby Walsh |
| From Unsolvable to Solvable: An Exploration of Simple Changes | |
| Susan L. Epstein, Xi Yun |
| Toward a Generalization and a Reformulation of Goods in SAT — Preliminary Report | |
| Djamal Habet, Philippe Jegou |
| Effects of Faulty Knowledge Engineering on Structured Classification Learning | |
| Joshua Jones, Ashok Goel |
| Approximate Inference for Clusters in Solution Spaces | |
| Lukas Kroc, Ashish Sabharwal, Bart Selman |
| Evolutionary Tile Coding: An Automated State Abstraction Algorithm for Reinforcement Learning | |
| Stephen Lin, Robert Wright |
| Automatic Methods for Continuous State Space Abstraction | |
| Steven Loscalzo, Robert Wright |
| Fast d-DNNF Compilation with sharpSAT | |
| Christian Muise, Sheila McIlraith, J. Christopher Beck, Eric Hsu |
| Abstracting Markov Networks | |
| Lorenza Saitta, Christel Vrain |