• Publications
  • Influence
Potassco: The Potsdam Answer Set Solving Collection
TLDR
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. Expand
  • 481
  • 67
  • PDF
Conflict-driven answer set solving: From theory to practice
TLDR
We introduce an approach to computing answer sets of logic programs, based on concepts successfully applied in Satisfiability (SAT) checking. Expand
  • 314
  • 58
  • PDF
Answer Set Solving in Practice
TLDR
Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored to modeling problems in the area of Knowledge Representation and Reasoning (KRR). Expand
  • 422
  • 51
  • PDF
Conflict-Driven Answer Set Solving
TLDR
We introduce a new approach to computing answer sets of logic programs, based on concepts from constraint processing (CSP) and satisfiability checking (SAT). Expand
  • 389
  • 48
  • PDF
clasp : A Conflict-Driven Answer Set Solver
TLDR
We describe the conflict-driven answer set solver clasp, which is based on concepts from constraint processing (CSP) and satisfiability checking (SAT). Expand
  • 309
  • 42
  • PDF
Clingo = ASP + Control: Preliminary Report
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 high-level constructsExpand
  • 223
  • 31
  • PDF
GrinGo : A New Grounder for Answer Set Programming
TLDR
We describe a new grounder system for logic programs under answer set semantics, called GrinGo, which combines the two primary grounding approaches of lparse and dlv. Expand
  • 214
  • 30
  • PDF
Advances in gringo Series 3
TLDR
We describe the major new features emerging from a significant redesign of the grounder gringo, building upon a grounding algorithm based on semi-naive database evaluation. Expand
  • 142
  • 27
  • PDF
Constraint Answer Set Solving
TLDR
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Expand
  • 131
  • 26
  • PDF
Progress in clasp Series 3
TLDR
We describe the novel functionalities comprised in clasp’s series 3. Expand
  • 58
  • 12
  • PDF