Reasoning about actions and change in argumentation.
Evgenios HadjisoteriouAntonis C. KakasPublished in: Argument Comput. (2015)
Keyphrases
- reasoning about actions and change
- event calculus
- domain description
- situation calculus
- partially ordered
- domain specific knowledge
- deductive databases
- reasoning tasks
- temporal reasoning
- domain independent
- transitive closure
- directed acyclic graph
- domain knowledge
- general purpose
- modal logic
- representation language