DEL-based epistemic planning: Decidability and complexity

, , &
Artificial Intelligence 287 (C):103304 (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2020.103304

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

More for free: A dynamic epistemic framework for conformant planning over transition systems.Yanjun Li, Quan Yu & Yanjing Wang - 2017 - Journal of Logic and Computation 27 (8):2383--2410.
Complexity, decidability and undecidability results for domain-independent planning.Kutluhan Erol, Dana S. Nau & V. S. Subrahmanian - 1995 - Artificial Intelligence 76 (1-2):75-88.
Decidability of Logics Based on an Indeterministic Metric Tense Logic.Yan Zhang & Kai Li - 2015 - Studia Logica 103 (6):1123-1162.
Exploring the tractability border in epistemic tasks.Cédric Dégremont, Lena Kurzen & Jakub Szymanik - 2014 - Synthese 191 (3):371-408.
Systemic planning: Dealing with complexity by a wider approach to planning.Steen Leleur - 2007 - Emergence: Complexity and Organization 9 (1-2):2-10.
Epistemic logic for rule-based agents.Mark Jago - 2009 - Journal of Logic, Language and Information 18 (1):131-158.
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.
On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.
Announcements to Attentive Agents.Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo & François Schwarzentruber - 2016 - Journal of Logic, Language and Information 25 (1):1-35.
Generic planning: Research results and applications. [REVIEW]John N. Warfield - 1990 - Knowledge, Technology & Policy 3 (4):91-113.
Modality and Hyperintensionality in Mathematics.Timothy Bowen - manuscript
Announcements to Attentive Agents.François Schwarzentruber, Pere Pardo, Emiliano Lorini, Andreas Herzig, Hans Ditmarsch & Thomas Bolander - 2016 - Journal of Logic, Language and Information 25 (1):1-35.
On the Epistemic Foundation for Iterated Weak Dominance: An Analysis in a Logic of Individual and Collective attitudes.Emiliano Lorini - 2013 - Journal of Philosophical Logic 42 (6):863-904.
Interrogative Belief Revision Based on Epistemic Strategies.Sebastian Enqvist - 2012 - Studia Logica 100 (3):453-479.
Public announcement logic with distributed knowledge: expressivity, completeness and complexity.Yì N. Wáng & Thomas Ågotnes - 2013 - Synthese 190 (S1).

Analytics

Added to PP
2020-12-22

Downloads
12 (#1,058,801)

6 months
7 (#411,886)

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

Does the chimpanzee have a theory of mind?David Premack & G. Woodruff - 1978 - Behavioral and Brain Sciences 4 (4):515-629.
Does the chimpanzee have a theory of mind?David Premack & Guy Woodruff - 1978 - Behavioral and Brain Sciences 1 (4):515-526.
Merging frameworks for interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.

View all 8 references / Add more references