On Probing and Multi-Threading in PLATYPUS

Authors:
J. Gressmann;T. Janhunen;R. Mercer;T. Schaub;S. Thiele;R. Tichy
Affiliations:
Universität Potsdam, Postfach 900327, D-14439 Potsdam, Germany;Helsinki University of Technology, P.O. Box 5400, FI-02015 TKK, Finland;University of Western Ontario, London, Ontario, Canada N6A 5B7;Universität Potsdam, Postfach 900327, D-14439 Potsdam, Germany and Affiliated with Simon Fraser University, Burnaby, Canada;Universität Potsdam, Postfach 900327, D-14439 Potsdam, Germany;Universität Potsdam, Postfach 900327, D-14439 Potsdam, Germany
Venue:
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Year:
2006

Citing 8
Cited 5

Boosting combinatorial search through randomization

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Modern Operating Systems

Modern Operating Systems
Using MPI-2: Advanced Features of the Message Passing Interface

Using MPI-2: Advanced Features of the Message Passing Interface
Extending and implementing the stable model semantics

Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Non-monotonic Reasoning on Beowulf Platforms

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
PLATYPUS: a platform for distributed answer set solving

LPNMR'05 Proceedings of the 8th 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
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
An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling

Computer Languages, Systems and Structures
Potassco: The Potsdam Answer Set Solving Collection

AI Communications - Answer Set Programming
Multi-threaded asp solving with clasp

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

The PLATYPUS approach offers a generic platform for distributed answer set solving, accommodating a variety of different architectures for distributing the search for answer sets across different processes and different search modes for modifying search behaviour. We describe two major extensions of PLATYPUS. First, we present its probing mode which provides a controlled non-linear traversal of the search space. Second, we present its new multi-threading architecture allowing for intra-process distribution. Both contributions are underpinned by experimental results illustrating their computational impact.