Formalising Commitments Using the Event Calculus (full paper).
Joost T. de KruijffHans WeigandPublished in: VMBO (2020)
Keyphrases
- event calculus
- situation calculus
- temporal reasoning
- reasoning about actions and change
- commonsense reasoning
- partially ordered
- deductive databases
- reasoning tasks
- domain specific knowledge
- transitive closure
- partial order
- human experts
- directed acyclic graph
- indirect effects
- artificial intelligence
- database systems