135 citations · 373 across the 42 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2015
Interactive Answer Set Programming - Preliminary Report
Martin Gebser, Phillip Obermeier, Torsten Schaub
Traditional Answer Set Programming (ASP) rests upon one-shot solving. A logic program is fed into an ASP system and its stable models are computed. The high practical relevance of…
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…