Explaining Object Motion Using Answer Set Programming.
Franz WotawaLorenz KlampflPublished in: ISMIS (2020)
Keyphrases
- object motion
- answer set programming
- logic programs
- logic programming
- moving objects
- answer sets
- image sequences
- multiple cameras
- answer set programs
- constraint logic programming
- camera motion
- motion blur
- causal theories
- stable model semantics
- knowledge representation
- haplotype inference
- stable models
- high quality
- computer vision
- disjunctive logic programming
- update semantics
- input image
- reinforcement learning
- artificial intelligence
- declarative programming