TY  - JOUR
A1  - Gebser, Martin
A1  - Kaufmann, Benjamin
A1  - Kaminski, Roland
A1  - Ostrowski, Max
A1  - Schaub, Torsten H.
A1  - Schneider, Marius
T1  - Potassco the Potsdam answer set solving collection
JF  - AI communications : AICOM ; the European journal on artificial intelligence
N2  - This paper gives an overview of the open source project Potassco, the Potsdam Answer Set Solving Collection, bundling tools for Answer Set Programming developed at the University of Potsdam.
KW  - Answer set programming
KW  - declarative problem solving
Y1  - 2011
U6  - https://doi.org/10.3233/AIC-2011-0491
SN  - 0921-7126
VL  - 24
IS  - 2
SP  - 107
EP  - 124
PB  - IOS Press
CY  - Amsterdam
ER  - 
TY  - JOUR
A1  - Gebser, Martin
A1  - Kaufmann, Benjamin
A1  - Neumann, André
A1  - Schaub, Torsten H.
T1  - Conflict-driven answer set enumeration
Y1  - 2007
SN  - 978-3-540- 72199-4
ER  - 
TY  - JOUR
A1  - Gebser, Martin
A1  - Kaufmann, Benjamin
A1  - Neumann, André
A1  - Schaub, Torsten H.
T1  - Conflict-driven answer set solving
Y1  - 2007
SN  - 978-1-57735-323-2
ER  - 
TY  - JOUR
A1  - Gebser, Martin
A1  - Kaufmann, Benjamin
A1  - Neumann, André
A1  - Schaub, Torsten H.
T1  - Clasp : a conflict-driven answer set solver
Y1  - 2007
SN  - 978-3-540- 72199-4
ER  - 
TY  - JOUR
A1  - Gebser, Martin
A1  - Kaufmann, Benjamin
A1  - Schaub, Torsten H.
T1  - Conflict-driven answer set solving: From theory to practice
JF  - Artificial intelligence
N2  - We introduce an approach to computing answer sets of logic programs, based on concepts successfully applied in Satisfiability (SAT) checking. The idea is to view inferences in Answer Set Programming (ASP) as unit propagation on nogoods. This provides us with a uniform constraint-based framework capturing diverse inferences encountered in ASP solving. Moreover, our approach allows us to apply advanced solving techniques from the area of SAT. As a result, we present the first full-fledged algorithmic framework for native conflict-driven ASP solving. Our approach is implemented in the ASP solver clasp that has demonstrated its competitiveness and versatility by winning first places at various solver contests.
KW  - Answer set programming
KW  - Logic programming
KW  - Nonmonotonic reasoning
Y1  - 2012
U6  - https://doi.org/10.1016/j.artint.2012.04.001
SN  - 0004-3702
VL  - 187
IS  - 8
SP  - 52
EP  - 89
PB  - Elsevier
CY  - Amsterdam
ER  - 
TY  - JOUR
A1  - Gebser, Martin
A1  - Kaufmann, Benjamin
A1  - Schaub, Torsten H.
T1  - Multi-threaded ASP solving with clasp
JF  - Theory and practice of logic programming
N2  - We present the new multi-threaded version of the state-of-the-art answer set solver clasp. We detail its component and communication architecture and illustrate how they support the principal functionalities of clasp. Also, we provide some insights into the data representation used for different constraint types handled by clasp. All this is accompanied by an extensive experimental analysis of the major features related to multi-threading in clasp.
Y1  - 2012
U6  - https://doi.org/10.1017/S1471068412000166
SN  - 1471-0684
VL  - 12
IS  - 8
SP  - 525
EP  - 545
PB  - Cambridge Univ. Press
CY  - New York
ER  - 
TY  - JOUR
A1  - Gebser, Martin
A1  - Lee, Joohyung
A1  - Lierler, Yuliya
T1  - Head-elementary-set-free logic programs
Y1  - 2007
SN  - 978-3-540- 72199-4
ER  - 
TY  - JOUR
A1  - Gebser, Martin
A1  - Lee, Joohyung
A1  - Lierler, Yuliya
T1  - On elementary loops of logic programs
JF  - Theory and practice of logic programming
N2  - Using the notion of an elementary loop, Gebser and Schaub (2005. Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05), 53-65) refined the theorem on loop formulas attributable to Lin and Zhao (2004) by considering loop formulas of elementary loops only. In this paper, we reformulate the definition of an elementary loop, extend it to disjunctive programs, and study several properties of elementary loops, including how maximal elementary loops are related to minimal unfounded sets. The results provide useful insights into the stable model semantics in terms of elementary loops. For a nondisjunctive program, using a graph-theoretic characterization of an elementary loop, we show that the problem of recognizing an elementary loop is tractable. On the other hand, we also show that the corresponding problem is coNP-complete for a disjunctive program. Based on the notion of an elementary loop, we present the class of Head-Elementary-loop-Free (HEF) programs, which strictly generalizes the class of Head-Cycle-Free (HCF) programs attributable to Ben-Eliyahu and Dechter (1994. Annals of Mathematics and Artificial Intelligence 12, 53-87). Like an Ha: program, an HEF program can be turned into an equivalent nondisjunctive program in polynomial time by shifting head atoms into the body.
KW  - stable model semantics
KW  - loop formulas
KW  - unfounded sets
Y1  - 2011
U6  - https://doi.org/10.1017/S1471068411000019
SN  - 1471-0684
VL  - 11
IS  - 2
SP  - 953
EP  - 988
PB  - Cambridge Univ. Press
CY  - New York
ER  - 
TY  - JOUR
A1  - Gebser, Martin
A1  - Liu, Lengning
A1  - Namasivayam, Gayathri
A1  - Neumann, André
A1  - Schaub, Torsten H.
A1  - Truszczynski, Miroslaw
T1  - The first answer set programming system competition
Y1  - 2007
SN  - 978-3-540- 72199-4
ER  - 
TY  - JOUR
A1  - Gebser, Martin
A1  - Maratea, Marco
A1  - Ricca, Francesco
T1  - The Seventh Answer Set Programming Competition
BT  - design and results
JF  - Theory and practice of logic programming
N2  - Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized in order to furnish challenging benchmark collections and assess the advancement of the state of the art in ASP solving. In this paper, we report on the design and results of the Seventh ASP Competition, jointly organized by the University of Calabria (Italy), the University of Genova (Italy), and the University of Potsdam (Germany), in affiliation with the 14th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2017).
KW  - Answer Set Programming
KW  - competition
Y1  - 2019
U6  - https://doi.org/10.1017/S1471068419000061
SN  - 1471-0684
SN  - 1475-3081
VL  - 20
IS  - 2
SP  - 176
EP  - 204
PB  - Cambridge Univ. Press
CY  - Cambridge [u.a.]
ER  -