Synonymous theories and knowledge representations in answer set programming.
David PearceAgustín ValverdePublished in: J. Comput. Syst. Sci. (2012)
Keyphrases
- answer set programming
- causal theories
- modulo theories
- logic programs
- logic programming
- answer sets
- answer set programs
- satisfiability modulo theories
- constraint logic programming
- reasoning tasks
- meta level reasoning
- haplotype inference
- stable model semantics
- answer set semantics
- artificial intelligence
- disjunctive logic programming
- stable models
- knowledge representation
- theory revision
- knowledge representation and reasoning
- lower bound
- machine learning