{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:27:18Z","timestamp":1725550038120},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540285380"},{"type":"electronic","value":"9783540318279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11546207_18","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T10:41:23Z","timestamp":1127817683000},"page":"227-239","source":"Crossref","is-referenced-by-count":10,"title":["Platypus: A Platform for Distributed Answer Set Solving"],"prefix":"10.1007","author":[{"given":"Jean","family":"Gressmann","sequence":"first","affiliation":[]},{"given":"Tomi","family":"Janhunen","sequence":"additional","affiliation":[]},{"given":"Robert E.","family":"Mercer","sequence":"additional","affiliation":[]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[]},{"given":"Sven","family":"Thiele","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Tichy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence\u00a0138, 181\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/1149114.1149117"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. Communications of the ACM\u00a05, 394\u2013397 (1962)","journal-title":"Communications of the ACM"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0304-3975(00)00330-3","volume":"278","author":"M. Fitting","year":"2002","unstructured":"Fitting, M.: Fixpoint semantics for logic programming: A survey. Theoretical Computer Science\u00a0278, 25\u201351 (2002)","journal-title":"Theoretical Computer Science"},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038, 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"18_CR6","unstructured":"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\u201375. AAAI\/MIT Press (2001)"},{"key":"18_CR7","unstructured":"Hirsim\u00e4ki, T.: Distributing backtracking search trees. Technical report, Helsinki University of Technology (2001)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-36388-2_5","volume-title":"Practical Aspects of Declarative Languages","author":"E. Pontelli","year":"2002","unstructured":"Pontelli, E., Balduccini, M., Bermudez, F.: Non-monotonic reasoning on beowulf platforms. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 37\u201357. Springer, Heidelberg (2002)"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/22719.24067","volume":"9","author":"R. Finkel","year":"1987","unstructured":"Finkel, R., Manber, U.: DIB \u2014 a distributed implementation of backtracking. ACM Transactions on Programming Languages and Systems\u00a09, 235\u2013256 (1987)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1145\/504083.504085","volume":"23","author":"G. Gupta","year":"2001","unstructured":"Gupta, G., Pontelli, E., Ali, K., Carlsson, M., Hermenegildo, M.: Parallel execution of prolog programs: a survey. ACM Transactions on Programming Languages and Systems\u00a023, 472\u2013602 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1145\/185403.185453","volume":"26","author":"J. Chassin de Kergommeaux","year":"1994","unstructured":"Chassin de Kergommeaux, J., Codognet, P.: Parallel logic programming systems. ACM Computing Surveys\u00a026, 295\u2013336 (1994)","journal-title":"ACM Computing Surveys"},{"key":"18_CR12","first-page":"543","volume":"21","author":"H. Zhang","year":"1996","unstructured":"Zhang, H., Bonacina, M., Hsiang, J.: PSATO: a distributed propositional prover and its application to quasigroup problems. Journal of Logic and Computation\u00a021, 543\u2013560 (1996)","journal-title":"Journal of Logic and Computation"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1016\/S0167-8191(03)00068-1","volume":"29","author":"W. Blochinger","year":"2003","unstructured":"Blochinger, W., Sinz, C., K\u00fcchlin, W.: Parallel propositional satisfiability checking with distributed dynamic learning. Parallel Computing\u00a029, 969\u2013994 (2003)","journal-title":"Parallel Computing"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"400","DOI":"10.1007\/3-540-55602-8_180","volume-title":"Automated Deduction - CADE-11","author":"K. Inoue","year":"1992","unstructured":"Inoue, K., Koshimura, M., Hasegawa, R.: Embedding negation as failure into a model generation theorem prover. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607, pp. 400\u2013415. Springer, Heidelberg (1992)"},{"key":"18_CR15","volume-title":"Using MPI-2: Advanced Features of the Message-Passing Interface","author":"W. Gropp","year":"1999","unstructured":"Gropp, W., Lusk, E., Thakur, R.: Using MPI-2: Advanced Features of the Message-Passing Interface. The MIT Press, Cambridge (1999)"},{"key":"18_CR16","unstructured":"http:\/\/www.cs.uni-potsdam.de\/nomore"},{"key":"18_CR17","unstructured":"http:\/\/asparagus.cs.uni-potsdam.de"},{"key":"18_CR18","unstructured":"http:\/\/www.cs.uni-potsdam.de\/platypus"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11546207_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:18:46Z","timestamp":1605626326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11546207_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540285380","9783540318279"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11546207_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}