Special Issue on Answer Set Programming.
Torsten SchaubStefan WoltranPublished in: Künstliche Intell. (2018)
Keyphrases
- special issue
- answer set programming
- logic programming
- answer sets
- logic programs
- international journal
- reasoning tasks
- constraint logic programming
- ecml pkdd
- ai edam
- causal theories
- answer set programs
- stable model semantics
- haplotype inference
- applied intelligence
- knowledge representation
- update semantics
- modulo theories
- stable models
- databases
- fixpoint
- general purpose
- search algorithm