[PlanetKR] Call for Papers: WS Epistemic Planning (EpiP 2020) @ ICAPS

Thorsten Engesser engesser at cs.uni-freiburg.de
Tue Jan 14 00:14:49 EST 2020


** Apologies for cross-posting - Please forward to anybody who might be
interested **

*******************************************************************
                        CALL FOR PAPERS

ICAPS 2020 Workshop on Epistemic Planning (EpiP 2020)

https://protect-au.mimecast.com/s/SbLAC71RA7HZkEzpC8GL8c?domain=icaps20.icaps-conference.org
Deadline: March 2, 2020 23:59 (UTC-12)

*******************************************************************

Automated planning is of central concern in high-level symbolic AI 
research, with applications in logistics, robotics and service 
composition. In the simple case of an agent operating in a known world, 
the output of a planner is just a sequence of actions to be performed to 
the effect that it achieves a desired goal state. Epistemic planning is 
the enrichment of automated planning with epistemic notions, including 
knowledge and beliefs, which not only refer to incomplete knowledge, but 
also beliefs about this knowledge.  Epistemic planning has promising 
application potentials in all types of domains requiring artificial 
agents that have skills both in planning and in reasoning about 
knowledge and beliefs (of themselves and others). Such applications 
include domestic robots interacting with humans, non-player characters 
in video games, and autonomous robots interacting in a factory setting. 
It is a relatively recent area of research, and is inherently 
multi-disciplinary involving research from automated planning, epistemic 
logic, and knowledge representation & reasoning. In order to achieve 
formalisms and systems for epistemic planning that are both expressive 
and practically efficient, it is necessary to combine the state of the 
art from all three areas.

Topics relevant to the workshop include:

* Theory of mind, recursive reasoning
* Modeling teams/groups of agents
* Modeling other agents under partial observability
* Modeling belief change in other agents
* Modeling strategies and knowledge preconditions in games and 
knowledge-based programs
* Reasoning about utilities and preferences of other agents
* Formal/epistemic models of coordination and collaboration in 
multi-agent systems
* Planning formalisms for epistemic planning
* Action languages for epistemic planning
* Algorithms for epistemic planning
* Decidability and complexity results for epistemic planning variants
* Search heuristics for epistemic planning
* Epistemic planning benchmarks
* Learning epistemic action theories
* Methods for goal/intent/plan recognition
* Epistemic reasoning in social robotics
* (Dynamic) epistemic logic applied to goal recognition, diagnosis 
and/or planning
* Novel applications of epistemic planning


### Important Dates

Submission: March 2, 2020 23:59 (UTC-12)
Notification: April 4, 2020
Workshop: June 14/15, 2020


### Submission Instructions

Submissions should be formatted in AAAI style (see instructions in the 
Author Kit at 
https://protect-au.mimecast.com/s/a2WzC81V97HYROXvu1ZSnW?domain=aaai.org and be no 
longer than 8 pages (excluding references). Submissions will be double 
blind.

There will be no formal proceedings. Submissions sent to other 
conferences are allowed. It is the responsibility of the authors to 
ensure that those venues allow for papers submitted to be already 
published in "informal" ways.

At least one author of each accepted paper must attend the workshop in 
order to present the paper. Authors must register for the ICAPS main 
conference in order to attend the workshop. There will be no separate 
workshop-only registration.

Workshop web page: https://protect-au.mimecast.com/s/SbLAC71RA7HZkEzpC8GL8c?domain=icaps20.icaps-conference.org
Submission link: https://protect-au.mimecast.com/s/MwbFC91W27H2BRz3C3sgCb?domain=easychair.org


### Organizers

Thomas Bolander (Technical University of Denmark)
Thorsten Engesser (University of Freiburg)
Andreas Herzig (CNRS, IRIT Toulouse)
Robert Mattmüller (University of Freiburg)
Sheila McIlraith (University of Toronto)
Bernhard Nebel (University of Freiburg)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20200113/cf2cd1c5/attachment-0001.html 


More information about the PlanetKR mailing list