B
Benjamin Kaufmann
Researcher at University of Potsdam
Publications - 40
Citations - 4084
Benjamin Kaufmann is an academic researcher from University of Potsdam. The author has contributed to research in topics: Answer set programming & Solver. The author has an hindex of 26, co-authored 40 publications receiving 3690 citations.
Papers
More filters
Journal ArticleDOI
Potassco: The Potsdam Answer Set Solving Collection
Martin Gebser,Benjamin Kaufmann,Roland Kaminski,Max Ostrowski,Torsten Schaub,Marius Schneider +5 more
TL;DR: This paper gives an overview of the open source project Potassco, the Potsdam Answer Set Solving Collection, bundling tools for Answer Set Programming developed at the University ofPotsdam.
Book
Answer Set Solving in Practice
TL;DR: This book presents a practical introduction to ASP, aiming at using ASP languages and systems for solving application problems, and introduces ASP's solving technology, modeling language and methodology.
Proceedings Article
Conflict-driven answer set solving
TL;DR: A new approach to computing answer sets of logic programs, based on concepts from constraint processing (CSP) and satisfiability checking (SAT), to view inferences in answer set programming (ASP) as unit propagation on no-goods to provide a uniform constraint-based framework for the different kinds of inferences.
Journal ArticleDOI
Conflict-driven answer set solving: From theory to practice
TL;DR: An approach to computing answer sets of logic programs, based on concepts successfully applied in Satisfiability (SAT) checking, to view inferences in Answer Set Programming (ASP) as unit propagation on nogoods, and presents the first full-fledged algorithmic framework for native conflict-driven ASP solving.
Book ChapterDOI
Clasp: a conflict-driven answer set solver
TL;DR: The conflict-driven answer set solver clasp is described, which is based on concepts from constraint processing (CSP) and satisfiability checking (SAT) and provides a systematic empirical evaluation of its features.