Searching for "SAT-Based Answer Set Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

Sat-based answer set programming
by Enrico Giunchiglia, Yuliya Lierler, Marco Maratea — 2004 — In Proc. AAAI-04
…SAT-Based Answer Set Programming ∗ Enrico Giunchiglia 1 , Yuliya Lierler 2 , and Marco Maratea 1 1…
Cited by 20 (5 self) – Add To MetaCart

Experiments with SAT-based Answer Set Programming
by E. Giunchiglia, Yu. Lierler, M. Maratea, A. Tacchella
…Experiments with SAT-based Answer Set Programming E. Giunchiglia 1 , Yu. Lierler 2 , M. Maratea 1…
Add To MetaCart

Disjunctive Answer Set Programming via Satisfiability
by Yuliya Lierler, Erlangen-nürnberg Universität — 2005 — Logic Programming and Nonmonotonic Reasoning — 8th International Conference, LPNMR’05, Diamante, Italy, September 2005, Proceedings. Volume 3662 of Lecture Notes in Computer Science
… ways of SAT solver invocation used in nondisjunctive answer set programming. The algorithms are based…
Cited by 12 (2 self) – Add To MetaCart

cmodels - sat-based disjunctive answer set solver
by Yuliya Lierler, Erlangen-nürnberg Universität — 2005 — of Lecture Notes in Computer Science
… programs. Here we present the implementation of a SAT-based algorithm for finding answer sets…
Cited by 8 (2 self) – Add To MetaCart

Twelve Definitions of a Stable Model
by Vladimir Lifschitz
… stable models that use SAT solvers for search (“SAT-based answer set programming”). Several systems…
Add To MetaCart

Showing 1 through 5.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB