Login / Signup
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
Published in:
Artif. Intell. (2023)
Keyphrases
</>
modal logic
epistemic logic
decision procedures
conditional logic
inference rules
temporal logic
first order logic
modal operators
nonmonotonic logics
dynamic environments
kripke models
model theoretic
classical logic
ai planning
situation calculus
satisfiability problem
planning problems
search algorithm