Argumentation and the Event Calculus.
Evgenios HadjisoteriouAntonis C. KakasPublished in: Logic Programs, Norms and Action (2012)
Keyphrases
- event calculus
- situation calculus
- reasoning about actions and change
- commonsense reasoning
- reasoning tasks
- deductive databases
- partially ordered
- domain specific knowledge
- temporal reasoning
- transitive closure
- database
- directed acyclic graph
- automated reasoning
- general theory
- domain specific
- indirect effects
- prior knowledge