Answer Set Programming Based on Propositional Satisfiability.
Enrico GiunchigliaYuliya LierlerMarco MarateaPublished in: J. Autom. Reason. (2006)
Keyphrases
- answer set programming
- propositional satisfiability
- sat solvers
- answer sets
- propositional logic
- constraint programming
- industrial applications
- logic programming
- logic programs
- automated reasoning
- sat problem
- answer set programs
- knowledge representation
- max sat
- sat instances
- orders of magnitude
- propositional formulas
- constraint satisfaction problems
- constraint satisfaction
- conjunctive normal form
- search space
- search strategies
- stochastic local search
- bayesian networks
- objective function
- computational properties
- expert systems
- combinatorial problems
- information retrieval systems
- np complete