A lightweight epistemic logic and its application to planning

, , , , &
Artificial Intelligence 298 (C):103437 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2020.103437

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.
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.
Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Erotetic Epistemic Logic.Michal Peliš - 2017 - Logic and Logical Philosophy 26 (3):357-381.
Possible Worlds Semantics Based on Observation and Communication.Faustine Maffre, Emiliano Lorini & Andreas Herzig - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 339-362.
Reference ontologies — application ontologies: Either/or or both/and?Christopher Menzel - 2004 - In Pierre Grenon, Christopher Menzel & Barry Smith (eds.), Proceedings of the KI 2003 Workshop on Reference Ontologies and Application Ontologies. CEUR Workshop Proceedings, Vol. 94.
Epistemic Logic and Epistemology.Wesley H. Holliday - 2018 - In Sven Ove Hansson Vincent F. Hendricks (ed.), Handbook of Formal Philosophy. Springer. pp. 351-369.
Some Modifications of Carnap’s Modal Logic.Vít Punčochář - 2012 - Studia Logica 100 (3):517-543.
Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Linear temporal logic as an executable semantics for planning languages.Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini & Valentina Poggioni - 2006 - Journal of Logic, Language and Information 16 (1):63-89.
Idealization, epistemic logic, and epistemology.Audrey Yap - 2014 - Synthese 191 (14):3351-3366.
The Structure and Evaluation of Planning Arguments.Thorbjoern Mann - 2010 - Informal Logic 30 (4):391-412.
What groups do, can do, and know they can do: an analysis in normal modal logics.Jan Broersen, Andreas Herzig & Nicolas Troquard - 2009 - Journal of Applied Non-Classical Logics 19 (3):261-289.
Response to Egré and Xu.Wesley H. Holliday - 2013 - In Johan van Benthem Fenrong Liu (ed.), Logic Across the University: Foundations and Applications. College Publications. pp. 39-46.

Analytics

Added to PP
2020-12-29

Downloads
20 (#744,405)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Contingency and Knowing Whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.
The computational complexity of propositional STRIPS planning.Tom Bylander - 1994 - Artificial Intelligence 69 (1-2):165-204.

View all 15 references / Add more references