- Record: found
- Abstract: not found
- Article: not found
Answer Set Programming Based on Propositional Satisfiability
September 29 2006
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
Related collections
Most cited references22
- Record: found
- Abstract: not found
- Article: not found
A machine program for theorem-proving
Martin Davis, George Logemann, Donald Loveland (1962)
- Record: found
- Abstract: not found
- Article: not found
Classical negation in logic programs and disjunctive databases
Michael Gelfond, Vladimir Lifschitz (1991)