Efficient multi-agent epistemic planning: Teaching planners about nested belief

, , , , , &
Artificial Intelligence 302 (C):103605 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2021.103605

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Multi-agent Conformant Planning with Distributed Knowledge.Yanjun Li - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 128-140.
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?Wesley H. Holliday, Yifeng Ding & Cedegao Zhang - 2019 - Electronic Proceedings in Theoretical Computer Science 297:121–139.
Multi-agent Justification Logic: communication and evidence elimination. [REVIEW]Bryan Renne - 2012 - Synthese 185 (S1):43-82.
Prolegomena to dynamic logic for belief revision.Hans P. Van Ditmarsch - 2005 - Synthese 147 (2):229-275.
Propositional Dynamic Logic as a Logic of Belief Revision Vol. 5110 Lnai.Jan van Eijck & Yanjing Wang - 2008
Contemporary Epistemic Logic and the Lockean Thesis.Lorenz Demey - 2013 - Foundations of Science 18 (4):599-610.
Multi-Agent Belief Revision with Linked Preferences.Jan van Eijck - unknown
Knowledge and planning in an action-based multi-agent framework: A case study.Oliver Schulte - unknown
Revocable Belief Revision.Hans van Ditmarsch - 2013 - Studia Logica 101 (6):1185-1214.
Generalizing AGM to a multi-agent setting.Guillaume Aucher - 2010 - Logic Journal of the IGPL 18 (4):530-558.
A Non-alethic Multi-agent Doxastic Logic as a Solution to Epistemic Conflicts.Xudong Hao - 2021 - Axiomathes 32 (3):413-431.
Some logical conundrums for decision-theoretic contingency planning.John Pollock - manuscript
Iterated revision and minimal change of conditional beliefs.Craig Boutilier - 1996 - Journal of Philosophical Logic 25 (3):263 - 305.
An Easy “Hard Problem” for Decision-Theoretic Planning.John L. Pollock - unknown

Analytics

Added to PP
2022-11-21

Downloads
11 (#1,138,050)

6 months
5 (#639,345)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logics and collaboration.Liz Sonenberg - 2023 - Logic Journal of the IGPL 31 (6):1024-1046.

Add more citations

References found in this work

A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
On the status of the postulate of recovery in the logic of theory change.David Makinson - 1987 - Journal of Philosophical Logic 16 (4):383 - 394.
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.
Rational Conceptual Change.William L. Harper - 1976 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1976:462 - 494.

View all 9 references / Add more references