Abduction in Logic Programming as Second-Order Quantifier Elimination.
Christoph WernhardPublished in: FroCos (2013)
Keyphrases
- logic programming
- quantifier elimination
- logic programs
- functional programming
- constraint propagation
- first order logic
- knowledge representation
- programming language
- cardinality constraints
- answer set programming
- deductive databases
- constraint databases
- nonmonotonic reasoning
- knowledge base
- answer sets
- default logic
- reasoning tasks
- machine learning
- linear programming
- linear constraints
- stable models
- expert systems
- abductive reasoning
- search algorithm