Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects.
Jakob SuchanMehul BhattPrzemyslaw Andrzej WalegaCarl P. L. SchultzPublished in: AAAI (2018)
Keyphrases
- answer set programming
- logic programming
- high level
- abductive reasoning
- moving objects
- meta level reasoning
- logic programs
- low level
- reasoning tasks
- answer sets
- programming language
- constraint logic programming
- causal theories
- video sequences
- stable model semantics
- nonmonotonic reasoning
- stable models
- answer set programs
- image sequences
- knowledge representation
- probabilistic reasoning
- deductive databases
- qualitative spatial and temporal reasoning
- answer set semantics
- update semantics
- background knowledge
- default reasoning
- default logic
- formal theory
- constraint programming
- action language
- disjunctive logic programming
- natural language
- modulo theories