Integrating Answer Set Programming with Object-Oriented Languages.
Jakob RathChristoph RedlPublished in: PADL (2017)
Keyphrases
- answer set programming
- object oriented languages
- logic programs
- object oriented
- logic programming
- answer sets
- object oriented programming
- causal theories
- object oriented databases
- constraint logic programming
- answer set programs
- stable model semantics
- stable models
- general purpose
- knowledge representation
- expert systems
- update semantics
- conceptual model
- search space
- programming language
- haplotype inference
- data mining
- databases