No. 5: Knowledge Representation and Reasoning in Robotics

All Papers

• Committees

  Mohan Sridharan

  PDF

• Preface

  Mohan Sridharan

  PDF

• A Logical Theory of Robot Localization

  Vaishak Belle, Hector Levesque

  PDF

• Towards a Theory of Intentional Agents

  Justin Lane Blount, Michael Gelfond, Marcello Balduccini

  PDF

• A Computational Focus For Robotics Education

  Zachary Dodds, Kristina Ming, Christopher Eriksen, Shih-Chieh Hsiung, Xin Huang, Zakkai Davidson

  PDF

• REACT! An Interactive Tool for Hybrid Planning in Robotics

  Zeynep Dogmus, Esra Erdem, Volkan Patoglu

  PDF

• Commonsense Abductive Reasoning and Metareasoning Using Knowledge from Bayesian Networks

  Joshua Eckroth, John R. Josephson

  PDF

• A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom on Situations

  Fangzhen Lin

  PDF

• Ontology-Based Cognitive System for Contextual Reasoning in Robot Architectures

  Alessandro Oltramari, Yuri Vinokurov, Christian Lebiere, Jean Oh, Anthony Stentz

  PDF

• Hybrid Reasoning for Teams of Heterogeneous Robots: Finding an Optimal Feasible Global Plan

  Zeynep G. Saribatur, Esra Erdeem, Volkan Patoglu

  PDF

• Using Common Sense Invariants in Belief Management for Autonomous Agents

  Gerald Steinbauer, Clemens Mühlbacher

  PDF

• Planning in Answer Set Programming while Learning Action Costs for Mobile Robots

  Fangkai Yang, Piyush Khandelwal, Matteo Leonetti, Peter Herald Stone

  PDF

• On the Decidability of Verifying LTL Properties of Golog Programs

  Benjamin Zarrieß, Jens Claßen

  PDF

• 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

  PDF

• An Approach for Scene Interpretation Using Qualitative Descriptors, Semantics and Domain Knowledge

  Zoe Falomir

  PDF