Strategy Representation and Reasoning in the Situation Calculus.
Liping XiongYongmei LiuPublished in: ECAI (2016)
Keyphrases
- situation calculus
- reasoning tasks
- reasoning about actions
- taxonomic reasoning
- event calculus
- concurrent actions
- action theories
- initial state
- logical language
- knowledge base
- logic programming language
- fluent calculus
- modal logic
- provably correct
- default reasoning
- theorem proving
- logic programming
- description logics
- general purpose
- knowledge representation