{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:10Z","timestamp":1725663670894},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572879"},{"type":"electronic","value":"9783540480365"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57287-2_36","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:39:12Z","timestamp":1330241952000},"page":"29-44","source":"Crossref","is-referenced-by-count":0,"title":["A logical approach for distributed truth maintenance"],"prefix":"10.1007","author":[{"given":"Thilo C.","family":"Horstmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"volume-title":"EPIA 91: Proc. of the 5th Portuguese Conference on Artificial Intelligence","year":"1991","key":"3_CR1","unstructured":"P. Barahona, L. Moniz Pereira, and A. Porto, editors. EPIA 91: Proc. of the 5th Portuguese Conference on Artificial Intelligence. Springer, Berlin, Heidelberg, 1991."},{"key":"3_CR2","unstructured":"D. M. Bridgeland and M. N. Huhns. Distributed truth maintenance. In Proc. of AAAI-90, pages 72\u201377, Boston, MA, 1990."},{"key":"3_CR3","volume-title":"Technical Report TR 91.55","author":"B. Charron-Bost","year":"1991","unstructured":"B. Charron-Bost, F. Mattern, and G. Tel. Synchronous and asynchronous commu-nication in distributed computations. Technical Report TR 91.55, Institut Blaise Pascal, University Paris, Paris, 1991. (revised version)."},{"key":"3_CR4","first-page":"460","volume-title":"Metalevel representation of analogical infe-rence","author":"S. Costantini","year":"1991","unstructured":"S. Costantini and G. A. Lanzarone. Metalevel representation of analogical infe-rence. In E. Ardizzone, S. Gaglio, and F. Sorbello, editors, Trends in Artificial Intelligence: Proc. of the 2nd Congress of the Italian Association for Artificial Intelligence, AI * IA, pages 460\u2013464. Springer, Berlin, Heidelberg, 1991."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Edmund H. Durfee, Victor R. Lesser, and Daniel D. Corkill. Trends in cooperative distributed problem solving. In Transactions on Knowledge and Data Engineering, 1989.","DOI":"10.1109\/69.43404"},{"key":"3_CR6","first-page":"33","volume-title":"The positive role of conflict in cooperative multi-agent systems","author":"J. R. Galliers","year":"1990","unstructured":"J. R. Galliers. The positive role of conflict in cooperative multi-agent systems. In Y. Demazeau and J.-P. M\u00fcller, editors, Decentralized A.I.: Proc. of the First European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Cambridge, England, pages 33\u201346. North-Holland, Amsterdam, 1990."},{"key":"3_CR7","first-page":"148","volume-title":"Cooperative interaction as strategic belief revision","author":"J. R. Galliers","year":"1991","unstructured":"J. R. Galliers. Cooperative interaction as strategic belief revision. In S. M. Deen, editor, CKBS'90: Proc. of the International Working Conference on Cooperating Knowledge Based Systems, pages 148\u2013163. Springer, Berlin, Heidelberg, 1991."},{"key":"3_CR8","volume-title":"Technical Report D-91-11","author":"T. C. Horstmann","year":"1991","unstructured":"T. C. Horstmann. Distributed truth maintenance. Technical Report D-91-11, German Center for Artificial Intelligence (DFKI), Kaiserslautern, Germany, 1991."},{"key":"3_CR9","unstructured":"John W. Lloyd. Foundations of Logic Programming. Symbolic computation: Artificial Intelligence. Springer, 2nd edition, 1987."},{"key":"3_CR10","first-page":"297","volume-title":"Wissensbasierte unterstuetzung von gruppenarbeit oder: Die emanzipation der maschinellen agenten","author":"D. Mahling","year":"1991","unstructured":"Dirk Mahling, Thilo Horstmann, Astrid Scheller-Houy, Andreas Lux, Donald Steiner, and Hans Haugeneder. Wissensbasierte unterstuetzung von gruppenarbeit oder: Die emanzipation der maschinellen agenten. In J. Friedrich and K. H. Roediger, editors, German Chapter of the ACM: Computergestuetzte Gruppenarbeit (CSCW), volume 34, pages 297\u2013294. B. G. Teubner, Stuttgart, 1991. (in German)."},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/B978-1-55860-092-8.50017-4","volume-title":"Distributed Artificial Intelligence, Volume II","author":"C. L. Mason","year":"1989","unstructured":"Cindy L. Mason and Rowland R. Johnson. DATMS: A Framework for Distributed Assumption-Based Reasoning. In L. Gasser and M. N. Huhns, editors, Distributed Artificial Intelligence, Volume II, pages 293\u2013318. Pitman\/Morgan Kaufmann, London, 1989."},{"key":"3_CR12","first-page":"107","volume-title":"Logic Programming","author":"L. M. Pereira","year":"1982","unstructured":"L. M. Pereira and A. Porto. Selective backtracking. In K. L. Clark and S.-A. T\u00e4rnlund, editors, Logic Programming, pages 107\u2013114. Academic Press, London, 1982."},{"key":"3_CR13","unstructured":"D. Russinoff. An algorithm for truth maintenance. Technical Report AI-062-85, MCC, 1985."},{"key":"3_CR14","volume-title":"Technical report","author":"R. W. Southwick","year":"1990","unstructured":"R. W. Southwick. The lemma generation problem. Technical report, Imperial College, London, 1990."},{"key":"3_CR15","unstructured":"Donald Steiner, Dirk Mahling, and Hans Haugeneder. Human computer cooperative work. In M. Huhns, editor, Proc. of the 10th International Workshop on Distributed Artificial Intelligence, 1990."}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57287-2_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:10:47Z","timestamp":1605629447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57287-2_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572879","9783540480365"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-57287-2_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}