[Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR, Robotics & Planning

[Theofanis I. Aravanis]

20th International Conference on

Principles of Knowledge Representation and Reasoning, KR 2023

September 2 - September 8, 2023, Rhodes, Greece

First Call for Papers - Special Session on KR, Robotics & Planning

https://kr.org/KR2023/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; and
- 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; and
- 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; or
- 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; and
- 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.

Important Dates

- Submission of title and abstract: March 3, 2023
- Paper submission deadline: March 14, 2023
- Author response period: May 1-3, 2023
- Author notification: May 18, 2023
- Camera-ready papers: June 9, 2023
- Conference: September 2-8, 2023

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:

https://kr.org/KR2023/submission-guidelines/

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

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

Chairs

Esra Erdem | Sabanci University, Turkey
Shiqi Zhang | SUNY Binghamton, USA
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20230224/1e882c4a/attachment-0001.htm>