Potassco: The Potsdam Answer Set Solving Collection

Authors:
Martin Gebser;Benjamin Kaufmann;Roland Kaminski;Max Ostrowski;Torsten Schaub;Marius Schneider
Affiliations:
-;-;-;-;(Correspd.) E-mail: torsten@cs.uni-potsdam.de;Universität Potsdam, Potsdam, Germany. E-mails: {gebser, kaufmann, kaminski, ostrowsk, torsten, manju}@cs.uni-potsdam.de
Venue:
AI Communications - Answer Set Programming
Year:
2011

Citing 73
Cited 26

Towards a theory of declarative knowledge

Foundations of deductive databases and logic programming
The computational complexity of propositional STRIPS planning

Artificial Intelligence
The expressive powers of the logic programming semantics

Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Improvements to propositional satisfiability search algorithms

Improvements to propositional satisfiability search algorithms
PSATO: a distributed propositional prover and its application to quasigroup problems

Journal of Symbolic Computation - Special issue on parallel symbolic computation
Chaff: engineering an efficient SAT solver

Proceedings of the 38th annual Design Automation Conference
Complexity and expressive power of logic programming

ACM Computing Surveys (CSUR)
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
Using MPI-2: Advanced Features of the Message Passing Interface

Using MPI-2: Advanced Features of the Message Passing Interface
Answer set programming and plan generation

Artificial Intelligence
Extending and implementing the stable model semantics

Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Developing a Declarative Rule Language for Applications in Product Configuration

PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
An A-Prolog Decision Support System for the Space Shuttle

PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Non-monotonic Reasoning on Beowulf Platforms

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Representing Transition Systems by Logic Programs

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Constraint Processing

Constraint Processing
BerkMin: A Fast and Robust Sat-Solver

Proceedings of the conference on Design, automation and test in Europe
Bounded LTL model checking with stable models

Theory and Practice of Logic Programming
Nonmonotonic causal theories

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
ASSAT: computing answer sets of a logic program by SAT solvers

Artificial Intelligence - Special issue on nonmonotonic reasoning
Why are there so many loop formulas?

ACM Transactions on Computational Logic (TOCL)
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
Issues in parallel execution of non-monotonic reasoning systems

Parallel Computing
Domain-dependent knowledge in answer set planning

ACM Transactions on Computational Logic (TOCL)
Answer Set Programming Based on Propositional Satisfiability

Journal of Automated Reasoning
Programming in Lua, Second Edition

Programming in Lua, Second Edition
Handbook of Constraint Programming (Foundations of Artificial Intelligence)

Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)

Journal of the ACM (JACM)
Modeling Biological Networks by Action Languages via Answer Set Programming

Constraints
The System BioC for Reasoning about Biological Models in Action Language C

ICTAI '08 Proceedings of the 2008 20th IEEE International Conference on Tools with Artificial Intelligence - Volume 01
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Engineering an Incremental ASP Solver

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Integrating answer set programming and constraint logic programming

Annals of Mathematics and Artificial Intelligence
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications

Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
Handbook of Knowledge Representation

Handbook of Knowledge Representation
Solution Enumeration for Projected Boolean Search Problems

CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
On Probing and Multi-Threading in PLATYPUS

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Advanced Preprocessing for Answer Set Solving

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Proceedings of the 25th International Conference on Logic Programming

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Constraint Answer Set Solving

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A Simple Distributed Conflict-Driven Answer Set Solver

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Input Language of ASP Grounder Gringo

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
The Conflict-Driven Answer Set Solver clasp: Progress Report

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Experiences Running a Parallel Answer Set Solver on Blue Gene

Proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Efficient haplotype inference with answer set programming

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
SATzilla: portfolio-based algorithm selection for SAT

Journal of Artificial Intelligence Research
Conflict-driven answer set solving

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Answer set versus integer linear programming for automatic synthesis of multiprocessor systems from real-time parallel programs

International Journal of Reconfigurable Computing - Special issue on selected papers from ReConFig 2008
Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Conflict-driven answer set enumeration

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Clasp: a conflict-driven answer set solver

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
GrinGo: a new grounder for answer set programming

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
A lightweight component caching scheme for satisfiability solvers

SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
Integrating answer set reasoning with constraint solving techniques

FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Local restarts

SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
A translational approach to constraint answer set solving

Theory and Practice of Logic Programming
Proceedings of the 12th European conference on Logics in artificial intelligence

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
An incremental answer set programming based system for finite model computation

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Coala: a compiler from action languages to ASP

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Detecting inconsistencies in large biological networks with answer set programming

Theory and Practice of Logic Programming
Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Reactive answer set programming

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Advances in gringo series 3

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
A portfolio solver for answer set programming: preliminary report

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Cluster-based ASP solving with claspar

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Towards an integration of answer set and constraint solving

ICLP'05 Proceedings of the 21st international conference on Logic Programming
PLATYPUS: a platform for distributed answer set solving

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
An ASP-based system for team-building in the gioia-tauro seaport

PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Effective preprocessing in SAT through variable and clause elimination

SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing

Special issue on answer set programming

AI Communications - Answer Set Programming
Logic programming and uncertainty

SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Automated verification of state sequence invariants in general game playing

Artificial Intelligence
Conflict-driven answer set solving: From theory to practice

Artificial Intelligence
Uniform evaluation of nonmonotonic DL-Programs

FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Enfragmo: a system for modelling and solving search problems with logic

LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Automatic inference of regulatory and dynamical properties from incomplete gene interaction and expression data

IPCAT'12 Proceedings of the 9th international conference on Information Processing in Cells and Tissues
A case study of expressively constrainable level design automation tools for a puzzle game

Proceedings of the International Conference on the Foundations of Digital Games
Reasoning about the intentions of agents

Logic Programs, Norms and Action
Armin: Automatic Trance Music Composition using Answer Set Programming

Fundamenta Informaticae - Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR)
Inductive logic programming in answer set programming

ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Integrating relational reinforcement learning with reasoning about actions and change

ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Applications of action languages in cognitive robotics

Correct Reasoning
Declarative distributed computing

Correct Reasoning
Processing incomplete temporal information in controlled natural language

PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Reasoning over biological networks using maximum satisfiability

CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Inconsistency management for traffic regulations: formalization and complexity results

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A system for the use of answer set programming in reinforcement learning

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
D-flat: Declarative problem solving using tree decompositions and answer-set programming

Theory and Practice of Logic Programming
Multi-threaded asp solving with clasp

Theory and Practice of Logic Programming
Conflict-driven asp solving with external sources

Theory and Practice of Logic Programming
A lifetime aware buffer assignment method for streaming applications on DRAM/PRAM hybrid memory

ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
Reformulation based MaxSAT robustness

Constraints
A mixed-initiative tool for designing level progressions in games

Proceedings of the 26th annual ACM symposium on User interface software and technology
A model-based approach to the automatic revision of secondary legislation

Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Semantics for possibilistic answer set programs: Uncertain rules versus rules with uncertain conclusions

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.