A Language for Default Reasoning about Actions.
Hannes StrassMichael ThielscherPublished in: Correct Reasoning (2012)
Keyphrases
- reasoning about actions
- action language
- dynamic logic
- situation calculus
- logic programming
- programming language
- fluent calculus
- propositional dynamic logic
- action theories
- description language
- natural language
- database
- query language
- logic programs
- answer set programming
- expert systems
- description logics
- dynamic programming
- language learning
- data model
- knowledge base
- indirect effects
- databases