Representing Beliefs in a Situated Event Calculus.
François LévyJoachim QuantzPublished in: ECAI (1998)
Keyphrases
- event calculus
- situation calculus
- sensing actions
- reasoning about actions and change
- temporal reasoning
- commonsense reasoning
- deductive databases
- domain specific knowledge
- partially ordered
- reasoning tasks
- transitive closure
- temporal information
- directed acyclic graph
- indirect effects
- automated reasoning
- database
- partial order
- belief revision
- integrity constraints
- background knowledge
- domain knowledge