Fetching the paper…
Reading the bibliography…
We present the new ASP system clingo 4.
LUPS: A language for updating logic programs
Alferes, J · 2002
Earlier work this paper cites.
Knowledge Representation, Reasoning and Declarative Problem Solving
Baral, C · 2003
Earlier work this paper cites.
An extensible SAT-solver
Eén, N · 2004
Earlier work this paper cites.
The DLV system for knowledge representation and reasoning
Leone, N · 2006
Earlier work this paper cites.
Solving SAT and SAT modulo theories: From an abstract Davis-Putnam-Logemann-Loveland procedure to DPLL(T)
Nieuwenhuis, R · 2006
Earlier work this paper cites.
Modular equivalence for normal logic programs
Oikarinen, E · 2006
Earlier work this paper cites.
Solving logic program conflict through strong and weak forgettings
Zhang, Y · 2006
Earlier work this paper cites.
Z3: An efficient SMT solver
de Moura, L · 2008
Cited alongside, same era.
Engineering an incremental ASP solver
Gebser, M · 2008
Cited alongside, same era.
Proceedings of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’11)
Delgrande, J · 2011
Cited alongside, same era.
Reactive answer set programming
Gebser, M · 2011
Cited alongside, same era.
Advances in gringo series 3
Gebser, M · 2011
Cited alongside, same era.
Unsatisfiability-based optimization in clasp
Andres, B · 2012
Cited alongside, same era.
ASP-Core-2: Input language format
Calimeri, F · 2012
JASP: A framework for integrating answer set programming with Java
Febbraro, O · 2012
Later among the works it cites.
Answer Set Solving in Practice
Gebser, M · 2012
Later among the works it cites.
ASP modulo CSP: The clingcon system
Ostrowski, M · 2012
Later among the works it cites.
A prototype of a knowledge-based programming environment
De Pooter, S · 2013
Later among the works it cites.
ActHEX: Implementing HEX programs with action atoms
Fink, M · 2013
Later among the works it cites.
Predicate logic as a modelling language: The IDP system
De Cat, B · 2014
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Potassco: The Potsdam answer set solving collection
Gebser, M
Cited in the paper.
Domain-specific heuristics in answer set programming
Gebser, M
Cited in the paper.
Advanced conflict-driven disjunctive answer set solving
Gebser, M
Cited in the paper.
http://potassco.sourceforge.net
Potassco
Cited in the paper.
Lparse 1.0 user’s manual
Syrjänen, T
Cited in the paper.
Gebser, M · 2014
Closest in time.