• Publications
  • Influence
Potassco: The Potsdam Answer Set Solving Collection
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 of Potsdam.
  • 462
  • 65
Conflict-driven answer set solving: From theory to practice
We introduce an approach to computing answer sets of logic programs, based on concepts successfully applied in Satisfiability (SAT) checking. The idea is to view inferences in Answer Set ProgrammingExpand
  • 301
  • 56
Conflict-Driven Answer Set Solving
We introduce a new approach to computing answer sets of logic programs, based on concepts from constraint processing (CSP) and satisfiability checking (SAT). The idea is to view inferences in answerExpand
  • 380
  • 49
Answer Set Solving in Practice
Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored to modeling problems in the area of Knowledge Representation and Reasoning (KRR). More recently, itsExpand
  • 441
  • 47
The variability of root cohesion as an influence on shallow landslide susceptibility in the Oregon Coast Range
Decades of quantitative measurement indicate that roots can mechanically reinforce shallow soils in forested landscapes. Forests, however, have variations in vegetation species and age which canExpand
  • 413
  • 42
clasp : A Conflict-Driven Answer Set Solver
We describe the conflict-driven answer set solver clasp, which is based on concepts from constraint processing (CSP) and satisfiability checking (SAT). We detail its system architecture and majorExpand
  • 301
  • 41
GrinGo : A New Grounder for Answer Set Programming
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approaches of lparse andExpand
  • 209
  • 31
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
  • 210
  • 31
Advances in gringo Series 3
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. Unlike previous versions,Expand
  • 135
  • 27
Constraint Answer Set Solving
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithmic framework forExpand
  • 130
  • 25