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 |