- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Dynamic term-modal logics for first-order epistemic planning
Artificial Intelligence 286 (C):103305 (2020)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Erratum to “Dynamic term-modal logics for first-order epistemic planning” [Artif. Intell. 286 (2020) 103305].Andrés Occhipinti Liberman, Andreas Achen & Rasmus Kræmmer Rendsvig - 2023 - Artificial Intelligence 323 (C):103969.
Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.
Knowing how to plan about planning: Higher-order and meta-level epistemic planning.Yanjun Li & Yanjing Wang - 2024 - Artificial Intelligence 337 (C):104233.
On first-order conditional logics.James P. Delgrande - 1998 - Artificial Intelligence 105 (1-2):105-137.
Modal logics, description logics and arithmetic reasoning.Hans Jürgen Ohlbach & Jana Koehler - 1999 - Artificial Intelligence 109 (1-2):1-31.
An analysis of first-order logics of probability.Joseph Y. Halpern - 1990 - Artificial Intelligence 46 (3):311-350.
Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic.Christoph Benzmüller - 2011 - Annals of Mathematics and Artificial Intelligence) 62 (1-2):103-128.
On the succinctness of some modal logics.Tim French, Wiebe van der Hoek, Petar Iliev & Barteld Kooi - 2013 - Artificial Intelligence 197 (C):56-85.
Expressiveness of concept expressions in first-order description logics.Natasha Kurtonina & Maarten de Rijke - 1999 - Artificial Intelligence 107 (2):303-333.
Analytics
Added to PP
2020-12-22
Downloads
27 (#822,464)
6 months
5 (#1,035,700)
2020-12-22
Downloads
27 (#822,464)
6 months
5 (#1,035,700)
Historical graph of downloads
Author's Profile
Citations of this work
A lightweight epistemic logic and its application to planning.Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin & Pierre Régnier - 2021 - Artificial Intelligence 298 (C):103437.
Quantifier-free epistemic term-modal logic with assignment operator.Yanjing Wang, Yu Wei & Jeremy Seligman - 2022 - Annals of Pure and Applied Logic 173 (3):103071.
Epistemic planning: Perspectives on the special issue.Vaishak Belle, Thomas Bolander, Andreas Herzig & Bernhard Nebel - 2023 - Artificial Intelligence 316 (C):103842.
Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness.Gennady Shtakser - 2023 - Logica Universalis 17 (3):297-330.
References found in this work
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van Der Hoek & Barteld Kooi - 2008 - Studia Logica 89 (3):441-445.
Logics for epistemic programs.Alexandru Baltag & Lawrence S. Moss - 2004 - Synthese 139 (2):165 - 224.
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-f8568656d-ksrwm uwo