Decidability Results for the Propositional Fluent Calculus.
Helko LehmannMichael LeuschelPublished in: Computational Logic (2000)
Keyphrases
- fluent calculus
- situation calculus
- reasoning about actions
- programming language
- predicate logic
- description logics
- propositional logic
- first order logic
- query answering
- default logic
- multi valued
- decision procedures
- default theories
- databases
- general purpose
- incomplete information
- low level
- expert systems
- knowledge base