Synonymus Theories in Answer Set Programming and Equilibrium Logic.
David PearceAgustín ValverdePublished in: ECAI (2004)
Keyphrases
- answer set programming
- causal theories
- modulo theories
- answer sets
- logic programming
- logic programs
- satisfiability modulo theories
- answer set programs
- reasoning tasks
- constraint logic programming
- stable model semantics
- meta level reasoning
- answer set semantics
- stable models
- haplotype inference
- default theories
- machine learning
- database
- general purpose
- knowledge representation
- search algorithm
- declarative programming
- genetic algorithm