Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers.
Lengning LiuMiroslaw TruszczynskiPublished in: LPNMR (2005)
Keyphrases
- stable models
- logic programs
- normal logic programs
- logic programming
- solving hard
- fixpoint
- stable model semantics
- answer set programming
- search problems
- deductive databases
- satisfiability problem
- propositional logic
- semantics for logic programs
- artificial intelligence
- stochastic local search
- computational properties
- answer sets
- sat solvers
- general purpose