{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:22:59Z","timestamp":1725484979070},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434726"},{"type":"electronic","value":"9783540460145"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46014-4_8","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T02:48:17Z","timestamp":1180579697000},"page":"72-84","source":"Crossref","is-referenced-by-count":2,"title":["Cspcons: A Communicating Sequential Prolog with Constraints"],"prefix":"10.1007","author":[{"given":"Ioannis P.","family":"Vlahavas","sequence":"first","affiliation":[]},{"given":"Ilias","family":"Sakellariou","sequence":"additional","affiliation":[]},{"given":"Ivan","family":"Futo","sequence":"additional","affiliation":[]},{"given":"Zoltan","family":"Pasztor","sequence":"additional","affiliation":[]},{"given":"Janos","family":"Szeredi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,19]]},"reference":[{"unstructured":"D. Cabeza and M. Hermenegildo. Distributed Concurrent Constraint Execution in the CIAO System. In Proceedings of the 1995 COMPULOG-NET Workshop on Parallelism and Implementation Technologies, U. Utrecht \/ T.U. Madrid, September 1995.","key":"8_CR1"},{"unstructured":"Ivan Futo. Prolog with Communicating Processes: From T-Prolog to CSR-Prolog. In D.S. Warren, editor, Proceedings of the 10th International Conference on Logic Programming, pages 3\u201317. The MIT Press, 1993.","key":"8_CR2"},{"unstructured":"Ivan Futo. A Distributed Network Prolog System. In Proceedings of the 20th International Conference on Information Technology Interfaces, ITI 99, pages 613\u2013618, 1998.","key":"8_CR3"},{"unstructured":"Y. Hamadi, C. Bessi\u00e8re, and J. Quinqueton. Backtracking in Distributed Constraint Networks. In Henri Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pages 219\u2013223, Chichester, August 23\u201328 1998. John Wiley & Sons.","key":"8_CR4"},{"unstructured":"M. Hermenegildo, F. Bueno, D. Cabeza, M. Garcia de la Banda, P. Lopez, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. pages 65\u201385, April 1999.","key":"8_CR5"},{"doi-asserted-by":"crossref","unstructured":"M. Hermenegildo, D. Cabeza, and M. Carro. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. In Leon Sterling, editor, Proceedings of the 12th International Conference on Logic Programming, pages 631\u2013646, Cambridge, June 13\u201318 1995. MIT Press.","key":"8_CR6","DOI":"10.7551\/mitpress\/4298.003.0062"},{"issue":"8","key":"8_CR7","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Communications of the ACM, 21(8):666\u2013677, August 1978.","journal-title":"Communications of the ACM"},{"issue":"1","key":"8_CR8","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. K. Mackworth","year":"1977","unstructured":"Alan K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8(1):99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/S0167-6423(97)00012-9","volume":"30","author":"T. Nguyen","year":"1998","unstructured":"T. Nguyen and Y. Deville. A distributed arc-consistency algorithm. Science of Computer Programming, 30(1\u20132):227\u2013250, January 1998. Concurrent constraint programming (Venice, 1995).","journal-title":"Science of Computer Programming"},{"unstructured":"Marius Calin Silaghi, Djamila Sam-Haroud, and Boi Faltings. Asynchronous Search with Aggregations. In Proceedings of the 7th Conference on Artificial Intelligence (AAAI-00) and of the 12th Conference on Innovative Applications of Artificial Intelligence (IAAI-00), pages 917\u2013922, Menlo Park, CA, July 30-3 2000. AAAI Press.","key":"8_CR10"},{"unstructured":"M.C. Silaghi, D. Sam-Haroud, and B.V. Faltings. Maintaining hierachical distributed consistency. In EPFL, editor, Proceedings of the CP2000 Workshop on Distributed Constraint Satisfaction, Tech. Report # 00\/338, 2000.","key":"8_CR11"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/S0743-1066(97)10003-6","volume":"35","author":"B.-M. Tong","year":"1998","unstructured":"Bo-Ming Tong and Ho-Fung Leung. Data-parallel concurrent constraint programming. The Journal of Logic Programming, 35:103\u2013150, 1998.","journal-title":"The Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"I. Vlahavas, N. Bassiliades, I. Sakellariou, M. Molina, S. Ossowski, I. Futo, Z. Pasztor, J. Szeredi, I. Velbitskiy, S. Yershov, S. Golub, and I. Netesin. System Architecture of a Distributed Expert System for the Management of a National Data Network. In Fausto Giunchiglia, editor, Proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems, and Applications (AIMSA-98), volume 1480 of LNAI, pages 438\u2013451, Berlin, September 21-23 1998. Springer.","key":"8_CR13","DOI":"10.1007\/BFb0057465"},{"issue":"5","key":"8_CR14","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1109\/69.729707","volume":"10","author":"M. Yokoo","year":"1998","unstructured":"Makoto Yokoo, Edmund H. Durfee, Toru Ishida, and Kazuhiro Kuwabara. The Distributed Constraint Satisfaction Problem: Formalization and Algorithms. IEEE Trans. on Knowledge and Data Engineering, 10(5):673\u2013685, 1998.","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"issue":"2","key":"8_CR15","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1023\/A:1010078712316","volume":"3","author":"M. Yokoo","year":"2000","unstructured":"Makoto Yokoo and Katsutoshi Hirayama. Algorithms for Distributed ConstraintSatisfaction: A Review. Autonomous Agents and Multi-Agent Systems, 3(2):185\u2013207, June 2000.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"unstructured":"Ying Zhang and Alan K. Mackworth. Parallel and Distributed Finite Constraint Satisfaction: Complexity, Algorithms and Experiments. Technical Report TR-92-30, Department of Computer Science, University of British Columbia, November 1992.","key":"8_CR16"}],"container-title":["Lecture Notes in Computer Science","Methods and Applications of Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46014-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T17:21:53Z","timestamp":1707931313000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46014-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434726","9783540460145"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-46014-4_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}