BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2020/newsitem/11484/14 ---19-June-2020-ICAPS-2020-Workshop-on-Epistemic-P lanning-EpiP-2020-to-be-rescheduled DTSTAMP:20200126T190900 SUMMARY:ICAPS 2020 Workshop on Epistemic Planning (EpiP 2020), to be rescheduled DTSTART;VALUE=DATE:20201026 DTEND;VALUE=DATE:20201030 LOCATION:Nancy, France DESCRIPTION:Automated planning is of central conce rn in high-level symbolic AI research, with applic ations in logistics, robotics and service composit ion. In the simple case of an agent operating in a known world, the output of a planner is just a se quence of actions to be performed to the effect th at it achieves a desired goal state. Epistemic pla nning is the enrichment of automated planning with epistemic notions, including knowledge and belief s, which not only refer to incomplete knowledge, b ut also beliefs about this knowledge. Epistemic p lanning has promising application potentials in al l types of domains requiring artificial agents tha t have skills both in planning and in reasoning ab out knowledge and beliefs (of themselves and other s). Such applications include domestic robots inte racting with humans, non-player characters in vide o games, and autonomous robots interacting in a fa ctory setting. It is a relatively recent area of r esearch, and is inherently multi-disciplinary invo lving research from automated planning, epistemic logic, and knowledge representation & reasoning. I n order to achieve formalisms and systems for epis temic planning that are both expressive and practi cally efficient, it is necessary to combine the st ate of the art from all three areas. Due to the C orona crisis this conference has been rescheduled for fall 2020. Submissions should be formatted i n AAAI style and be no longer than 8 pages (exclud ing references). Submissions will be double blind. There will be no formal proceedings. Submissions sent to other conferences are allowed. It is the r esponsibility of the authors to ensure that those venues allow for papers submitted to be already pu blished in "informal" ways. X-ALT-DESC;FMTTYPE=text/html:
Automated planning is of central concern in high-level symb olic AI research, with applications in logistics, robotics and service composition. In the simple ca se of an agent operating in a known world, the out put of a planner is just a sequence of actions to be performed to the effect that it achieves a desi red goal state. Epistemic planning is the enrichme nt of automated planning with epistemic notions, i ncluding knowledge and beliefs, which not only ref er to incomplete knowledge, but also beliefs about this knowledge.
\n\nEpistemic planning ha s promising application potentials in all types of domains requiring artificial agents that have ski lls both in planning and in reasoning about knowle dge and beliefs (of themselves and others). Such a pplications include domestic robots interacting wi th humans, non-player characters in video games, a nd autonomous robots interacting in a factory sett ing. It is a relatively recent area of research, a nd is inherently multi-disciplinary involving rese arch from automated planning, epistemic logic, and knowledge representation & reasoning. In orde r 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.
\n\nDue to the Corona crisis this conference has been resched uled for fall 2020.
Sub missions should be formatted in AAAI style and be no longer than 8 pages (excluding references). Sub missions will be double blind. There will be no fo rmal proceedings. Submissions sent to other confer ences are allowed. It is the responsibility of the authors to ensure that those venues allow for pap ers submitted to be already published in "inf ormal" ways.