Norm Representation and Reasoning: A Formalization in Event Calculus.
Wagdi AlrawagfehPublished in: PRIMA (2013)
Keyphrases
- event calculus
- reasoning tasks
- commonsense reasoning
- situation calculus
- temporal reasoning
- reasoning about actions and change
- knowledge representation
- deductive databases
- partially ordered
- description logics
- domain specific knowledge
- databases
- automated reasoning
- logic programming
- modal logic
- answer set programming
- domain knowledge
- representation language
- image sequences
- artificial intelligence