Publications by Benjamin Kaufmann

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Multi-shot {ASP} solving with clingo

Article in Journal, in Theory and Practice of Logic Programming 1, pp. 27-82 (2019)

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub

Clingcon: The Next Generation

Article in Journal, in Theory and Practice of Logic Programming 4, pp. 408-461 (2017)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne , Torsten Schaub

Answer Set Solving with Generalized Learned Constraints

Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP'16) (2016)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Philipp Wanko

Theory Solving Made Easy with Clingo 5

Thirty-second International Conference on Logic Programming (ICLP'16) (2016)

Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran

ASP for Anytime Dynamic Programming on Tree Decompositions

Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16) (2016)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub

Progress in clasp Series 3

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub

Answer Set Programming modulo Acyclicity

the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub

Answer Set Programming Modulo Acyclicity

Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'15) (2015)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Clingo = ASP + Control: Preliminary Report

Technical Communications of the Twenty-ninth International Conference on Logic Programming (ICLP'14) (2014)

Martin Gebser, Benjamin Kaufmann, Ramón Otero, Javier Romero, Torsten Schaub, Philipp Wanko

Domain-specific Heuristics in Answer Set Programming

Proceedings of the Twenty-Seventh National Conference on Artificial Intelligence (AAAI'13) (2013)