PLATYPUS: A platform for distributed answer set solving. 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.
Keywords for this software
References in zbMATH (referenced in 7 articles , 1 standard article )
Showing results 1 to 7 of 7.
- Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius: Potassco: the Potsdam answer set solving collection (2011)
- Brain, Martin; De Vos, Marina: The significance of memory costs in answer set solver implementation (2009)
- Grossi, Giuliano; Marchi, Massimo; Pontelli, Enrico; Provetti, Alessandro: Experimental analysis of graph-based answer set computation over parallel and distributed architectures (2009)
- Calimeri, F.; Perri, S.; Ricca, F.: Experimenting with parallelism for the instantiation of ASP programs (2008)
- Perri, Simona; Ricca, Francesco; Vescio, Saverio: Efficient parallel ASP instantiation via dynamic rewriting (2008)
- Cliffe, Owen; De Vos, Marina; Padget, Julian: Answer set programming for representing and reasoning about virtual institutions (2007)
- Gressmann, Jean; Janhunen, Tomi; Mercer, Robert E.; Schaub, Torsten; Thiele, Sven; Tichy, Richard: PLATYPUS: A platform for distributed answer set solving (2005)