FIDO: Finite Domain Consistency Techniques in Logic Programming.
Manfred MeyerHans-Günther HeinJörg P. MüllerPublished in: RCLP (1991)
Keyphrases
- logic programming
- finite domain
- constraint logic programming
- answer set programming
- logic programs
- logic programming language
- constraint satisfaction problems
- constraint programming
- deductive databases
- constraint propagation
- knowledge representation
- programming language
- answer sets
- knowledge base
- constraint solver
- constraint solving
- path consistency
- constraint networks
- satisfiability problem
- default logic
- global constraints
- stable models
- bounded treewidth
- databases
- artificial intelligence
- machine learning
- combinatorial problems
- database
- inductive logic programming
- search strategies
- multi agent systems
- constraint satisfaction
- special case
- general purpose