Existential assertions and quantum levels on the tree of the situation calculus.
Francesco SavelliPublished in: Artif. Intell. (2006)
Keyphrases
- situation calculus
- event calculus
- action theories
- initial state
- provably correct
- reasoning tasks
- reasoning about actions
- fluent calculus
- logical language
- modal logic
- blocks world
- agent programming
- concurrent actions
- description logics
- lower level
- planning domains
- incomplete information
- domain specific
- general purpose
- modal operators
- software engineering
- knowledge base