A general multi-agent epistemic planner based on higher-order belief change

, &
Artificial Intelligence 301 (C):103562 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2021.103562

Links

PhilArchive



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

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

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.
Prolegomena to dynamic logic for belief revision.Hans P. Van Ditmarsch - 2005 - Synthese 147 (2):229-275.
Multi-Agent Belief Revision with Linked Preferences.Jan van Eijck - unknown
Propositional Dynamic Logic as a Logic of Belief Revision Vol. 5110 Lnai.Jan van Eijck & Yanjing Wang - 2008
Propositional dynamic logic as a logic of knowledge update and belief revision.Jan van Eijck - unknown
Arrow update logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.
Modelling Epistemic Actions in Interrogative Belief Revision.Sebastian Enqvist - 2012 - Journal of Logic and Computation 22 (6):1335-1365.
Interrogative Belief Revision Based on Epistemic Strategies.Sebastian Enqvist - 2012 - Studia Logica 100 (3):453-479.
Higher-Order Defeat Without Epistemic Dilemmas.Mattias Skipper - 2018 - Logos and Episteme 9 (4):451-465.
Higher-Order Defeat and Doxastic Resilience.Asbjørn Steglich-Petersen - 2019 - In Mattias Skipper & Asbjørn Steglich-Petersen (eds.), Higher-Order Evidence: New Essays. Oxford, United Kingdom: Oxford University Press.
Multi-Agent Belief Revision with Linked Plausibilities.Jan van Eijck - unknown
The Problem of Respecting Higher-Order Doubt.David J. Alexander - 2013 - Philosophers' Imprint 13.
Evidence of Evidence as Higher Order Evidence.Anna-Maria A. Eder & Peter Brössel - 2019 - In Mattias Skipper & Asbjørn Steglich-Petersen (eds.), Higher-Order Evidence: New Essays. Oxford, United Kingdom: Oxford University Press. pp. 62-83.
Dynamic epistemic logics for abstract argumentation.Carlo Proietti & Antonio Yuste-Ginel - 2021 - Synthese 199 (3-4):8641-8700.
On the Epistemic Significance of Evidence You Should Have Had.Sanford C. Goldberg - 2016 - Episteme 13 (4):449-470.

Analytics

Added to PP
2022-11-21

Downloads
10 (#1,160,791)

6 months
7 (#425,192)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
On the logic of iterated belief revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.
Normal forms in modal logic.Kit Fine - 1975 - Notre Dame Journal of Formal Logic 16 (2):229-237.

View all 9 references / Add more references