Publications by Benjamin Kaufmann
Multi-shot {ASP} solving with clingo
Article in Journal, in Theory and Practice of Logic Programming 1, pp. 27-82 (2019)
Article in Journal, in Theory and Practice of Logic Programming 4, pp. 408-461 (2017)
Answer Set Solving with Generalized Learned Constraints
Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP'16) (2016)
Theory Solving Made Easy with Clingo 5
Thirty-second International Conference on Logic Programming (ICLP'16) (2016)
ASP for Anytime Dynamic Programming on Tree Decompositions
Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16) (2016)
Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)
Answer Set Programming modulo Acyclicity
the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)
Answer Set Programming Modulo Acyclicity
Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'15) (2015)
Clingo = ASP + Control: Preliminary Report
Technical Communications of the Twenty-ninth International Conference on Logic Programming (ICLP'14) (2014)
Domain-specific Heuristics in Answer Set Programming
Proceedings of the Twenty-Seventh National Conference on Artificial Intelligence (AAAI'13) (2013)