Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects.
Jakob SuchanMehul BhattPrzemyslaw Andrzej WalegaCarl P. L. SchultzPublished in: CoRR (2017)
Keyphrases
- answer set programming
- logic programming
- high level
- abductive reasoning
- meta level reasoning
- logic programs
- moving objects
- low level
- reasoning tasks
- answer sets
- programming language
- constraint logic programming
- answer set programs
- stable model semantics
- causal theories
- image sequences
- background knowledge
- default reasoning
- knowledge representation
- stable models
- disjunctive logic programming
- qualitative spatial and temporal reasoning
- knowledge base
- haplotype inference
- nonmonotonic reasoning
- deductive databases
- fixpoint
- object level
- video sequences
- constraint programming
- formal theory
- meta level
- update semantics
- default logic
- predicate invention
- relational databases