{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:17:40Z","timestamp":1742998660323,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642207143"},{"type":"electronic","value":"9783642207150"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20715-0_9","type":"book-chapter","created":{"date-parts":[[2011,4,8]],"date-time":"2011-04-08T12:35:27Z","timestamp":1302266127000},"page":"148-166","source":"Crossref","is-referenced-by-count":2,"title":["Distributed Abductive Reasoning with Constraints"],"prefix":"10.1007","author":[{"given":"Jiefei","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krysia","family":"Broda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emil","family":"Lupu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/11558590_14","volume-title":"AI*IA 2005: Advances in Artificial Intelligence","author":"M. Alberti","year":"2005","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The SCIFF abductive proof-procedure. In: Bandini, S., Manzoni, S. (eds.) AI*IA 2005. LNCS (LNAI), vol.\u00a03673, pp. 135\u2013147. Springer, Heidelberg (2005)"},{"issue":"1-2","key":"9_CR2","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1023\/A:1020259411066","volume":"37","author":"A. Ciampolini","year":"2003","unstructured":"Ciampolini, A., Lamma, E., Mello, P., Toni, F., Torroni, P.: Cooperation and competition in ALIAS: A logic framework for agents that negotiate. Annals of Mathematics and Artificial Intelligence\u00a037(1-2), 65\u201391 (2003)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"4","key":"9_CR3","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0096-0551(01)00020-0","volume":"27","author":"A. Ciampolini","year":"2001","unstructured":"Ciampolini, A., Lamma, E., Mello, P., Torroni, P.: LAILA: A language for coordinating abductive reasoning among logic agents. Computer Language\u00a027(4), 137\u2013161 (2001)","journal-title":"Computer Language"},{"doi-asserted-by":"crossref","unstructured":"Clark, K.L.: Negation as failure. In: Logic and Data Bases, pp. 293\u2013322 (1977)","key":"9_CR4","DOI":"10.1007\/978-1-4684-3384-5_11"},{"doi-asserted-by":"crossref","unstructured":"Craven, R., Lobo, J., Ma, J., Russo, A., Lupu, E.C., Bandara, A.K.: Expressive policy analysis with enhanced system dynamicity. In: Proceedings of the ACM Symposium on Information, Computer & Communication Security, pp. 239\u2013250 (2009)","key":"9_CR5","DOI":"10.1145\/1533057.1533091"},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","volume":"34","author":"M. Denecker","year":"1998","unstructured":"Denecker, M., De Schreye, D.: SLDNFA: An abductive procedure for abductive logic programs. Journal of Logic Programming\u00a034(2), 111\u2013167 (1998)","journal-title":"Journal of Logic Programming"},{"key":"9_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-30227-8_6","volume-title":"Logics in Artificial Intelligence","author":"U. Endriss","year":"2004","unstructured":"Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: The CIFF proof procedure for abductive logic programming with constraints. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 31\u201343. Springer, Heidelberg (2004)"},{"issue":"2","key":"9_CR8","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T.H. Fung","year":"1997","unstructured":"Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming\u00a033(2), 151\u2013165 (1997)","journal-title":"Journal of Logic Programming"},{"unstructured":"Kakas, A., Mancarella, P.: Generalised stable models: A semantics for abduction. In: Aiello, L.C. (ed.) Proceedings of the European Conference on Artificial Intelligence, ECAI 1990, Stockholm, Sweden, pp. 385\u2013391. Pitman Publishing (1990)","key":"9_CR9"},{"issue":"6","key":"9_CR10","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1992","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. Journal of Logic and Computation\u00a02(6), 719\u2013770 (1992)","journal-title":"Journal of Logic and Computation"},{"unstructured":"Kakas, A.C., Mancarella, P.: Abductive logic programming. In: Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, pp. 49\u201361 (1990)","key":"9_CR11"},{"issue":"1-3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0743-1066(99)00075-8","volume":"44","author":"A.C. Kakas","year":"2000","unstructured":"Kakas, A.C., Michael, A., Mourlas, C.: ACLP: Abductive constraint logic programming. Journal of Logic Programming\u00a044(1-3), 129\u2013177 (2000)","journal-title":"Journal of Logic Programming"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-14977-1_7","volume-title":"Computational Logic in Multi-Agent Systems","author":"J. Ma","year":"2010","unstructured":"Ma, J., Broda, K., Goebel, R., Hosobe, H., Russo, A., Satoh, K.: Speculative abductive reasoning for hierarchical agent systems. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol.\u00a06245, pp. 49\u201364. Springer, Heidelberg (2010)"},{"issue":"3","key":"9_CR14","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s10458-008-9028-y","volume":"16","author":"J. Ma","year":"2008","unstructured":"Ma, J., Russo, A., Broda, K., Clark, K.: DARE: a system for distributed abductive reasoning. Autonomous Agents and Multi-Agent Systems\u00a016(3), 271\u2013297 (2008)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"unstructured":"Van Nuffelen, B.: Abductive Constraint Logic Programming: Implementation and Applications. PhD thesis, Department of Computer Science, K.U.Leuven (2004)","key":"9_CR15"},{"issue":"1-3","key":"9_CR16","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0743-1066(99)00077-1","volume":"44","author":"M. Shanahan","year":"2000","unstructured":"Shanahan, M.: An abductive event calculus planner. Journal of Logic Programming\u00a044(1-3), 207\u2013240 (2000)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"9_CR17","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1207\/s15516709cog2901_5","volume":"29","author":"M. Shanahan","year":"2005","unstructured":"Shanahan, M.: Perception as abduction: Turning sensor data into meaningful representation. Cognitive Science\u00a029(1), 103\u2013134 (2005)","journal-title":"Cognitive Science"},{"issue":"1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0304-3975(96)00044-8","volume":"165","author":"F. Teusink","year":"1996","unstructured":"Teusink, F.: Three-valued completion for abductive logic programs. Theoretical Computer Science\u00a0165(1), 171\u2013200 (1996)","journal-title":"Theoretical Computer Science"},{"unstructured":"Verbaeten, S.: Termination analysis for abductive general logic programs. In: Proceedings of the International Conference on Logic Programming, pp. 365\u2013379 (1999)","key":"9_CR19"},{"key":"9_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/3-540-45628-7_19","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M. Wallace","year":"2002","unstructured":"Wallace, M.: Constraint logic programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02407, pp. 512\u2013532. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20715-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T18:51:13Z","timestamp":1558551073000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20715-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642207143","9783642207150"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20715-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}