Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Benjamin Kaufmann

Multi-shot ASP solving with clingo


Mar 20, 2018
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

* Under consideration for publication in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Clingcon: The Next Generation


May 12, 2017
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub

* Under consideration in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Multi-threaded ASP Solving with clasp


Oct 11, 2012
Martin Gebser, Benjamin Kaufmann, Torsten Schaub

* 19 pages, 5 figures, to appear in Theory and Practice of Logic Programming 

  Access Paper or Ask Questions

Heuristics in Conflict Resolution


May 11, 2010
Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub

* Proceedings of the Twelfth International Workshop on Nonmonotonic Reasoning (2008) 141-149 

  Access Paper or Ask Questions