Platypus: A platform for distributed answer set solving (2005)
| Venue: | in Proc. of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning |
| Citations: | 7 - 2 self |
BibTeX
@INPROCEEDINGS{Gressmann05platypus:a,
author = {Jean Gressmann and Tomi Janhunen and Robert E. Mercer and Torsten Schaub and Sven Thiele and Richard Tichy},
title = {Platypus: A platform for distributed answer set solving},
booktitle = {in Proc. of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning},
year = {2005},
pages = {227--239},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 1
