Potassco: The Potsdam Answer Set Solving Collection

By Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Thomas Lindauer. AI Communications, 2011

594 citations recorded by the source corpus.

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.

Subfields: Artificial Intelligence, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/e70e6c254a57e361047de5030b1502b8ccbe341b

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Computer Networks and Communications

Citations in the corpus

Answer Set Solving in Practice (2012, methodology): “The group’s activity in ASP has led to the open source project Potassco [4], the Potsdam Answer Set Solving Collection, bundling tools for ASP developed at Potsdam, and hosted at potassco.”
Conflict-driven answer set solving: From theory to practice (2012, methodology): “Along with the grounder gringo [51], clasp constitutes a central component of Potassco [44], the Potsdam Answer Set Solving Collection bundling tools for ASP developed at the University of Potsdam.”
Do-calculus when the True Graph Is Unknown (2015, methodology): “…answer set programming (ASP) solver Clingo version 4.4.0, which at its core uses modern SAT solving techniques to perform a complete search for solutions, and at the same time allows for a natural high-level representation of the structural constraints in logical form (Gebser et al., 2011).”
Formalizing Visualization Design Knowledge as Constraints: Actionable and Extensible Models in Draco (2018, methodology): “Draco uses Clingo [17, 19], a state-of-the-art answer set solver.”
Clingo = ASP + Control: Preliminary Report (2014, background): “Although more elaborate reasoning processes are performed by the extended systems iclingo (Gebser et al. 2008) and oclingo (Gebser et al. 2011a) for incremental and reactive reasoning, respectively, they also follow a pre-deﬁned control loop evading any user control.”
Constraint-based Causal Discovery: Conflict Resolution with Answer Set Programming (2014, methodology): “The search procedure implemented within state-of-the-art ASP solvers, such as Clingo (Gebser et al., 2011) used in this paper, is then based on the successful and highly-efficient Boolean satisfiability solver technology (Biere et al.”
Causal Discovery from Subsampled Time Series Data by Constraint Optimization (2016, methodology): “Then one or multiple (optimal, in case of optimization problems) solutions to the original problem can be obtained by invoking an off-theshelf ASP solver, such as the state-of-the-art Clingo system (Gebser et al., 2011) used in this work.”