Enhancing DLV instantiator by backjumping techniques.
Simona PerriFrancesco ScarcelloGelsomina CatalanoNicola LeonePublished in: Ann. Math. Artif. Intell. (2007)
Keyphrases
- answer set programming
- constraint satisfaction problems
- disjunctive logic programming
- answer sets
- quantified boolean formulas
- evolutionary algorithm
- software engineering
- state space
- logic programming
- logic programs
- programming language
- database
- knowledge representation
- probability distribution
- special case
- database systems
- learning algorithm
- information retrieval
- databases