A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Epistemic Planning (Dagstuhl Seminar 17231)
2017
Dagstuhl Reports
The seminar Epistemic Planning brought together the research communities of Dynamic Epistemic Logic, Knowledge Representation and Reasoning, and Automated Planning to address fundamental problems on the topic of epistemic planning. In the context of this seminar, dynamic epistemic logic investigates the formal semantics of communication and communicative actions, knowledge representation and reasoning focuses on theories of action and change, and automated planning investigates computational
doi:10.4230/dagrep.7.6.1
dblp:journals/dagstuhl-reports/BaralBDM17
fatcat:gpx3gj7f2jajzbximybwmjjjjm