Open World Planning in the Situation Calculus.
Alberto FinziFiora PirriRaymond ReiterPublished in: AAAI/IAAI (2000)
Keyphrases
- situation calculus
- blocks world
- open world
- concurrent actions
- initial state
- sensing actions
- event calculus
- closed world
- incomplete information
- action theories
- modal logic
- reasoning about actions
- data exchange
- planning problems
- logical language
- reasoning tasks
- query answering
- agent programming
- fluent calculus
- action language
- ai planning
- knowledge base
- heuristic search
- database