Erratum to “Dynamic term-modal logics for first-order epistemic planning” [Artif. Intell. 286 (2020) 103305]

, &
Artificial Intelligence 323 (C):103969 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2023.103969

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

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

Dynamic term-modal logics for first-order epistemic planning.Andrés Occhipinti Liberman, Andreas Achen & Rasmus Kræmmer Rendsvig - 2020 - Artificial Intelligence 286:103305.
Artif. Intell.Christian Freksa - 1996 - Artificial Intelligence 87 (1-2):387.
Corrigendum to “Separators and adjustment sets in causal graphs: Complete criteria and an algorithmic framework” [Artif. Intell. 270 (2019) 1–40]. [REVIEW]Benito van der Zander, Maciej Liśkiewicz & Johannes Textor - 2023 - Artificial Intelligence 321 (C):103938.
Corrigendum to “A general account of argumentation with preferences” [Artif. Intell. 195 (2013) 361–397].Sanjay Modgil & Henry Prakken - 2018 - Artificial Intelligence 263 (C):107-110.
Corrigendum to “Sequential plan recognition: An iterative approach to disambiguating between hypotheses” [Artif. Intell. 260 (2018) 51–73]. [REVIEW]Reuth Mirsky, Roni Stern, Kobi Gal & Meir Kalech - 2019 - Artificial Intelligence 275 (C):234.
Corrigendum to “Accurate parameter estimation for safety-critical systems with unmodeled dynamics” [Artif. Intell. 316 (2023) 103857]. [REVIEW]Arnab Sarker, Peter Fisher, Joseph E. Gaudio & Anuradha M. Annaswamy - 2023 - Artificial Intelligence 317 (C):103878.
Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.
Dynamic term-modal logic. Kooi, Barteld - unknown
On first-order conditional logics.James P. Delgrande - 1998 - Artificial Intelligence 105 (1-2):105-137.
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.

Analytics

Added to PP
2023-07-31

Downloads
13 (#1,041,990)

6 months
8 (#505,039)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Rasmus K. Rendsvig
University of Copenhagen

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references