Formalizing commitments using the event calculus and RuleML.
Joost T. de KruijffHans WeigandPublished in: Appl. Ontology (2021)
Keyphrases
- event calculus
- reasoning about actions and change
- situation calculus
- temporal reasoning
- deductive databases
- reasoning tasks
- commonsense reasoning
- partially ordered
- domain specific knowledge
- transitive closure
- domain knowledge
- description logics
- artificial intelligence
- prior knowledge
- directed acyclic graph
- integrity constraints