PLATYPUS: a platform for distributed answer set solving

Authors:
Jean Gressmann;Tomi Janhunen;Robert E. Mercer;Torsten Schaub;Sven Thiele;Richard Tichy
Affiliations:
Institut für Informatik, Universität Potsdam, Potsdam, Germany;Department of Computer Science and Engineering,Laboratory for Theoretical Computer Science, Helsinki University of Technology, TKK, Finland;Computer Science Department, Middlesex College, The University of Western Ontario, London, Ontario, Canada;Institut für Informatik, Universität Potsdam, Potsdam, Germany;Institut für Informatik, Universität Potsdam, Potsdam, Germany;Institut für Informatik, Universität Potsdam, Potsdam, Germany
Venue:
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Year:
2005

Citing 13
Cited 11

DIB—a distributed implementation of backtracking

ACM Transactions on Programming Languages and Systems (TOPLAS)
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Parallel logic programming systems

ACM Computing Surveys (CSUR)
PSATO: a distributed propositional prover and its application to quasigroup problems

Journal of Symbolic Computation - Special issue on parallel symbolic computation
A machine program for theorem-proving

Communications of the ACM
Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)
Using MPI-2: Advanced Features of the Message Passing Interface

Using MPI-2: Advanced Features of the Message Passing Interface
Fixpoint semantics for logic programming a survey

Theoretical Computer Science
Extending and implementing the stable model semantics

Artificial Intelligence
Non-monotonic Reasoning on Beowulf Platforms

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Embedding Negation as Failure into a Model Generation Theorem Prover

CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Parallel propositional satisfiability checking with distributed dynamic learning

Parallel Computing
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)

Experimenting with parallelism for the instantiation of ASP programs

Journal of Algorithms
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
Approximating Extended Answer Sets

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A Simple Distributed Conflict-Driven Answer Set Solver

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
ASP: The Future Is Bright

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling

Computer Languages, Systems and Structures
A parallel ASP instantiator based on DLV

Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Answer set programming for representing and reasoning about virtual institutions

CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Potassco: The Potsdam Answer Set Solving Collection

AI Communications - Answer Set Programming
Automatic music composition using answer set programming

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

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a model to manage the distributed computation of answer sets within a general framework. This design incorporates a variety of software and hardware architectures and allows its easy use with a diverse cadre of computational elements. Starting from a generic algorithmic scheme, we develop a platform for distributed answer set computation, describe its current state of implementation, and give some experimental results.