Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach
- 16 October 2001
- book chapter
- Published by Springer Nature
- p. 405-426
- https://doi.org/10.1007/3-540-45446-2_26
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- The Complexity of Regularity in Grammar Logics and Related Modal LogicsJournal of Logic and Computation, 2001
- Programming Goal-Driven Web Sites Using an Agent Logic LanguagePublished by Springer Nature ,2001
- Formalizing sensing actions— A transition function based approachArtificial Intelligence, 2001
- Ramification and causality in a modal action logicJournal of Logic and Computation, 2000
- Normal Multimodal Logics with Interaction AxiomsPublished by Springer Nature ,2000
- A Tableau Calculus for Multimodal Logics and Some (Un)Decidability ResultsPublished by Springer Nature ,1998
- Modal tableaux for reasoning about actions and plansPublished by Springer Nature ,1997
- An abductive proof procedure for reasoning about actions in modal logic programmingPublished by Springer Nature ,1997
- PDL-based framework for reasoning about actionsPublished by Springer Nature ,1995
- Representing action and change by logic programsThe Journal of Logic Programming, 1993