Special session on KR, Robotics & Planning

The special session on KR and Robotics/Planning emphasizes the synergistic interactions between KR and Robotics/Planning, and welcomes contributions that extend the state of the art at these intersections.

Expected Contributions

We welcome papers that extend knowledge representation and reasoning techniques to cope with the challenges posed by interacting with the physical world, such as:

• representing and reasoning about commonsense knowledge
• dealing with uncertain, incomplete or contradictory information
• reasoning with time, space and perceptions
• grounding representations in the physical world
• combining discrete and continuous, quantitative and qualitative, logical and probabilistic representations and reasoning methods (e.g., task planning with motion planning)
• reasoning with bounded computational resources
• trustworthy and accountable robot behaviors
• social intelligence and theory of mind for robots in human-centric environments

Robots are archetypical integrated cognitive systems. Thus, we welcome papers that address the integration of knowledge representation and reasoning into whole robotic systems and/or robotic applications, such as:

• representing and reasoning about robotic action domains
• representing and reasoning about ontologies and knowledge graphs for robotics applications
• integrating knowledge representation and machine learning
• integrating symbolic and sub-symbolic approaches
• integrating reasoning about actions and control
• cognitive robot architectures

We welcome papers that show concrete examples where real robotic systems benefit from knowledge representation and reasoning, for instance, in:

• sensor interpretation and understanding
• robotic navigation and/or manipulation
• robotic plan synthesis and verification
• robotic plan execution monitoring
• human-robot interaction
• multi-robot planning and coordination
• dealing with errors and unexpected situations

In addition, we welcome papers that investigate the synergy between knowledge representation and reasoning formalisms and methods, and planning languages and methods, such as:

• knowledge representation languages for non-classical planning
• relations between action languages and planning languages
• representation of actions and change, background knowledge, and planning heuristics
• automated reformulations/revisions of action domain descriptions
• reasoning for plan computation, synthesis, analysis, verification, reuse and repairs
• orchestration of planning with other reasoning methods for plan execution monitoring.

Submission Guidelines and Evaluation Criteria

The special session on KR and Robotics/Planning emphasizes the synergistic interactions between KR and Robotics/Planning. Therefore, KR-only and Robotics/Planning-only submissions will not be accepted for evaluation in this special session.

Submissions will be rigorously peer reviewed by PC members, who are active in KR and Robotics/Planning. Submissions will be evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, quality of presentation, and understanding of the state of the art.

Submission Instructions

The special session on KR and Robotics/Planning will allow contributions of both regular papers (up to 9 pages) and short papers (up to 4 pages), including abstract, figures, and appendices (if any) but excluding references and acknowledgements, prepared and submitted according to the authors guidelines provided in the submission page.

Each submission should be in English and must be submitted electronically (in .pdf format) via EasyChair:

https://easychair.org/conferences/?conf=kr2023