Platypus: A Platform for Distributed Answer Set Solving

  • Jean Gressmann
  • Tomi Janhunen
  • Robert E. Mercer
  • Torsten Schaub
  • Sven Thiele
  • Richard Tichy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3662)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138, 181–234 (2002)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Leone, N., Faber, W., Pfeifer, G., Eiter, T., Gottlob, G., Koch, C., Mateis, C., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic (2005) (to appear)Google Scholar
  3. 3.
    Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. Communications of the ACM 5, 394–397 (1962)MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Fitting, M.: Fixpoint semantics for logic programming: A survey. Theoretical Computer Science 278, 25–51 (2002)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. Journal of the ACM 38, 620–650 (1991)MATHGoogle Scholar
  6. 6.
    Finkel, R., Marek, V., Moore, N., Truszczynski, M.: Computing stable models in parallel. In: Provetti, A., Son, T. (eds.) Proceedings of AAAI Spring Symposium on Answer Set Programming, pp. 72–75. AAAI/MIT Press (2001)Google Scholar
  7. 7.
    Hirsimäki, T.: Distributing backtracking search trees. Technical report, Helsinki University of Technology (2001)Google Scholar
  8. 8.
    Pontelli, E., Balduccini, M., Bermudez, F.: Non-monotonic reasoning on beowulf platforms. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol. 2562, pp. 37–57. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  9. 9.
    Finkel, R., Manber, U.: DIB — a distributed implementation of backtracking. ACM Transactions on Programming Languages and Systems 9, 235–256 (1987)CrossRefGoogle Scholar
  10. 10.
    Gupta, G., Pontelli, E., Ali, K., Carlsson, M., Hermenegildo, M.: Parallel execution of prolog programs: a survey. ACM Transactions on Programming Languages and Systems 23, 472–602 (2001)CrossRefGoogle Scholar
  11. 11.
    Chassin de Kergommeaux, J., Codognet, P.: Parallel logic programming systems. ACM Computing Surveys 26, 295–336 (1994)CrossRefGoogle Scholar
  12. 12.
    Zhang, H., Bonacina, M., Hsiang, J.: PSATO: a distributed propositional prover and its application to quasigroup problems. Journal of Logic and Computation 21, 543–560 (1996)MATHMathSciNetGoogle Scholar
  13. 13.
    Blochinger, W., Sinz, C., Küchlin, W.: Parallel propositional satisfiability checking with distributed dynamic learning. Parallel Computing 29, 969–994 (2003)CrossRefGoogle Scholar
  14. 14.
    Inoue, K., Koshimura, M., Hasegawa, R.: Embedding negation as failure into a model generation theorem prover. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607, pp. 400–415. Springer, Heidelberg (1992)Google Scholar
  15. 15.
    Gropp, W., Lusk, E., Thakur, R.: Using MPI-2: Advanced Features of the Message-Passing Interface. The MIT Press, Cambridge (1999)Google Scholar
  16. 16.
  17. 17.
  18. 18.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Jean Gressmann
    • 1
  • Tomi Janhunen
    • 2
  • Robert E. Mercer
    • 3
  • Torsten Schaub
    • 1
  • Sven Thiele
    • 1
  • Richard Tichy
    • 1
    • 3
  1. 1.Institut für InformatikUniversität PotsdamPotsdamGermany
  2. 2.Department of Computer Science and Engineering,Laboratory for Theoretical Computer ScienceHelsinki University of Technology, TKKFinland
  3. 3.Computer Science Department, Middlesex CollegeThe University of Western OntarioLondonCanada

Personalised recommendations