{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:16:49Z","timestamp":1742937409497,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319015705"},{"type":"electronic","value":"9783319015712"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-01571-2_13","type":"book-chapter","created":{"date-parts":[[2013,8,1]],"date-time":"2013-08-01T11:21:05Z","timestamp":1375356065000},"page":"103-108","source":"Crossref","is-referenced-by-count":0,"title":["Somewhere2 \u2013 A Robust Package for Collaborative Decentralized Consequence-Finding"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Chatalic","sequence":"first","affiliation":[]},{"given":"Andre","family":"de Amorim Fonseca","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Adjiman, P., Chatalic, P., Goasdou\u00e9, F., Rousset, M.-C., Simon, L.: Distributed reasoning in a peer-to-peer setting: Application to the semantic web. JAIR, 25 (January 2006)","DOI":"10.1613\/jair.1785"},{"key":"13_CR2","unstructured":"Amir, E., McIlraith, S.: Partition-based logical reasoning. In: KR, pp. 389\u2013400 (2000)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Bourgne, G., Inoue, K.: Partition-based consequence finding. In: ICTAI, pp. 641\u2013648 (2011)","DOI":"10.1109\/ICTAI.2011.102"},{"key":"13_CR4","unstructured":"Chatalic, P., Nguyen, G.H., Rousset, M.C.: Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems. In: ECAI, pp. 352\u2013357 (August 2006)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Halevy, A.Y., Ives, Z., Tatarinov, I., Mork, P.: Piazza: data management infrastructure for semantic web applications, pp. 556\u2013567. ACM Press (2003)","DOI":"10.1145\/775152.775231"},{"key":"13_CR6","unstructured":"Shoal \u2013 a dynamic clustering framework, \n                    http:\/\/shoal.java.net"},{"key":"13_CR7","unstructured":"Jgroups - a toolkit for reliable multicast communication, \n                    http:\/\/www.jgroups.org"},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0747-7171(08)80029-6","volume":"9","author":"A. Kean","year":"1990","unstructured":"Kean, A., Tsiknis, G.K.: An incremental method for generating prime implicants\/impicates. J. Symb. Comput.\u00a09(2), 185\u2013206 (1990)","journal-title":"J. Symb. Comput."},{"key":"13_CR9","unstructured":"Lee, C.T.: A completeness theorem and a computer program for finding theorems derivable from given axioms. PhD thesis, Univ. of California, Berkeley, CA (1967)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Marquis, P.: Consequence Finding Algorithms. In: Handbook on Defeasible Reasoning and Uncertainty Management Systems, vol.\u00a05, pp. 41\u2013145. Kluwer Academic (2000)","DOI":"10.1007\/978-94-017-1737-3_3"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Nejdl, W., Wolf, B., Qu, C., Decker, S., Sintek, M., et al.: Edutella: a p2p networking infrastructure based on rdf, pp. 604\u2013615. ACM (May 2002)","DOI":"10.1145\/511446.511525"},{"key":"13_CR12","unstructured":"Siegel, P.: Repr\u00e9sentation et utilisation de la connaissance en calcul propositionnel. PhD thesis, Universit\u00e9 d\u2019Aix-Marseille II (1987)"},{"key":"13_CR13","unstructured":"Jxta: A language and platform independent protocol for p2p networking, \n                    http:\/\/jxta.kenai.com"}],"container-title":["Studies in Computational Intelligence","Intelligent Distributed Computing VII"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-01571-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T15:25:05Z","timestamp":1676820305000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-01571-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319015705","9783319015712"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-01571-2_13","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2014]]}}}