Answer Set Programming Modulo 'Space-Time'.
Carl P. L. SchultzMehul BhattJakob SuchanPrzemyslaw Andrzej WalegaPublished in: RuleML+RR (2018)
Keyphrases
- space time
- answer set programming
- logic programming
- logic programs
- spatio temporal
- answer sets
- spatial and temporal
- constraint logic programming
- video sequences
- dynamic scenes
- answer set programs
- causal theories
- stable model semantics
- stable models
- video representation
- update semantics
- scan statistic
- knowledge representation
- super resolution reconstruction
- haplotype inference
- artificial intelligence
- modulo theories
- disjunctive logic programming
- high resolution
- computer vision