Switch to: Citations

References in:

Design and results of the Fifth Answer Set Programming Competition

Francesco Calimeri, Martin Gebser, Marco Maratea & Francesco Ricca

Artificial Intelligence 231 (C):151-181 (2016)

Add references

You must login to add references.

Semantics and complexity of recursive aggregates in answer set programming.Wolfgang Faber, Gerald Pfeifer & Nicola Leone - 2011 - Artificial Intelligence 175 (1):278-298.details Download Export citation Bookmark 18 citations
Conflict-driven answer set solving: From theory to practice.Martin Gebser, Benjamin Kaufmann & Torsten Schaub - 2012 - Artificial Intelligence 187-188 (C):52-89.details Download Export citation Bookmark 14 citations
ASSAT: computing answer sets of a logic program by SAT solvers.Fangzhen Lin & Yuting Zhao - 2004 - Artificial Intelligence 157 (1-2):115-137.details Download Export citation Bookmark 19 citations
(1 other version)Logic programming and knowledge representation—The A-Prolog perspective.Michael Gelfond & Nicola Leone - 2002 - Artificial Intelligence 138 (1-2):3-38.details Download Export citation Bookmark 11 citations
Extending and implementing the stable model semantics.Patrik Simons, Ilkka Niemelä & Timo Soininen - 2002 - Artificial Intelligence 138 (1-2):181-234.details Download Export citation Bookmark 37 citations
Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners.Alfonso E. Gerevini, Patrik Haslum, Derek Long, Alessandro Saetti & Yannis Dimopoulos - 2009 - Artificial Intelligence 173 (5-6):619-668.details Download Export citation Bookmark 15 citations
Answer set programming and plan generation.Vladimir Lifschitz - 2002 - Artificial Intelligence 138 (1-2):39-54.details Download Export citation Bookmark 20 citations

1