Modeling Variations of First-Order Horn Abduction in Answer Set Programming.
Peter SchüllerPublished in: Fundam. Informaticae (2016)
Keyphrases
- answer set programming
- logic programming
- meta level reasoning
- answer set programs
- logic programs
- answer sets
- horn clauses
- default reasoning
- reasoning tasks
- constraint logic programming
- higher order
- nonmonotonic reasoning
- causal theories
- stable model semantics
- answer set semantics
- haplotype inference
- first order logic
- knowledge representation
- artificial intelligence
- deductive databases
- np hard
- modulo theories
- disjunctive logic programming
- update semantics
- function symbols
- propositional logic
- constraint programming
- knowledge base