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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Gressmann, J., Janhunen, T., Mercer, R. E., Schaub, T., Thiele, S., & Tichy, R. (2005). PLATYPUS: A platform for distributed answer set solving. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3662 LNAI, pp. 227–239). https://doi.org/10.1007/11546207_18
Mendeley helps you to discover research relevant for your work.