Constraint Solving in Logic Programming and in Automated Deduction: A Comparison.
Alessandro ArmandoErica MelisSilvio RanisePublished in: AIMSA (1998)
Keyphrases
- automated deduction
- logic programming
- constraint solving
- constraint logic programming
- logic programs
- deductive databases
- answer set programming
- constraint propagation
- logic programming language
- nonmonotonic reasoning
- answer sets
- programming language
- constraint satisfaction problems
- knowledge representation
- constraint satisfaction
- inductive logic programming
- computational logic
- knowledge base
- theorem proving
- stable models
- constraint programming
- defeasible argumentation
- databases
- theorem prover
- inference rules
- background knowledge
- special case