Dynamic term-modal logics for first-order epistemic planning

2020/05/27 by Andrés Occhipinti Liberman, Andreas Achen, Rasmus K. Rendsvig +1 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #AI-based Problem Solving and Planning #Semantic Web and Ontologies

paper · doi:10.1016/j.artint.2020.103305

Cited by

• TPTP World Infrastructure for Non-classical Logics