135 citations · 329 across the 25 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.AI2014★ 10 cited
The Design of the Fifth Answer Set Programming Competition
Francesco Calimeri, Martin Gebser, Marco Maratea +1
Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and nonmonotonic reasoning. Advance…
cs.PL2014
Clingo = ASP + Control: Preliminary Report
Martin Gebser, Roland Kaminski, Benjamin Kaufmann +1
We present the new ASP system clingo 4. Unlike its predecessors, being mere monolithic combinations of the grounder gringo with the solver clasp, the new clingo 4 series offers hig…