The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus.
Steffen HölldoblerDietrich KuskePublished in: LPAR (2000)
Keyphrases
- fluent calculus
- situation calculus
- datalog programs
- reasoning about actions
- programming language
- query containment
- predicate logic
- exptime complete
- plan existence
- sufficient conditions
- conjunctive queries
- plan generation
- description logics
- general purpose
- modal logic
- np complete
- transitive closure
- fixpoint
- fixed point
- co occurrence
- information extraction