Knowledge Representation and Reasoning in Robotics
Papers from the 2014 AAAI Spring Symposium
Mohan Sridharan, Program Chair
Technical Report SS-14-05
Published by The AAAI Press, Palo Alto, California.
This technical report is also available in book format.
Contents
Committees
Mohan Sridharan
Preface
Mohan Sridharan
A Logical Theory of Robot Localization
Vaishak Belle, Hector Levesque
Towards a Theory of Intentional Agents
Justin Lane Blount, Michael Gelfond, Marcello Balduccini
A Computational Focus For Robotics Education
Zachary Dodds, Kristina Ming, Christopher Eriksen, Shih-Chieh Hsiung, Xin Huang, Zakkai Davidson
REACT! An Interactive Tool for Hybrid Planning in Robotics
Zeynep Dogmus, Esra Erdem, Volkan Patoglu
Commonsense Abductive Reasoning and Metareasoning Using Knowledge from Bayesian Networks
Joshua Eckroth, John R. Josephson
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom on Situations
Fangzhen Lin
Ontology-Based Cognitive System for Contextual Reasoning in Robot Architectures
Alessandro Oltramari, Yuri Vinokurov, Christian Lebiere, Jean Oh, Anthony Stentz
Hybrid Reasoning for Teams of Heterogeneous Robots: Finding an Optimal Feasible Global Plan
Zeynep G. Saribatur, Esra Erdeem, Volkan Patoglu
Using Common Sense Invariants in Belief Management for Autonomous Agents
Gerald Steinbauer, Clemens Mühlbacher
Planning in Answer Set Programming while Learning Action Costs for Mobile Robots
Fangkai Yang, Piyush Khandelwal, Matteo Leonetti, Peter Herald Stone
On the Decidability of Verifying LTL Properties of Golog Programs
Benjamin Zarrieß, Jens Claßen
Reasoning on Robot Knowledge from Discrete and Asynchronous Observations
Pouyan Ziafati, Yehia Elrakaiby, Marc van Zee, Mehdi Dastani, John-Jules Meyer, Leendert van der Torre, Holger Voos
An Approach for Scene Interpretation Using Qualitative Descriptors, Semantics and Domain Knowledge
Zoe Falomir
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.