FIDO: Exploring Finite Domain Consistency Techniques in Logic Programming.
Manfred MeyerJörg P. MüllerStefan SchrödlPublished in: PDK (1991)
Keyphrases
- logic programming
- finite domain
- constraint logic programming
- answer set programming
- logic programs
- logic programming language
- constraint programming
- constraint propagation
- constraint satisfaction problems
- answer sets
- global constraints
- deductive databases
- path consistency
- knowledge representation
- constraint solving
- knowledge base
- programming language
- default logic
- satisfiability problem
- inductive logic programming
- constraint satisfaction
- stable models
- bounded treewidth
- state variables
- fixpoint
- constraint solver
- constraint networks
- orders of magnitude
- special case