{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:34:25Z","timestamp":1725536065271},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642028458"},{"type":"electronic","value":"9783642028465"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02846-5_12","type":"book-chapter","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T10:44:16Z","timestamp":1248086656000},"page":"84-98","source":"Crossref","is-referenced-by-count":0,"title":["Stabilization of Information Sharing for Queries Answering in Multiagent Systems"],"prefix":"10.1007","author":[{"given":"Phan Minh","family":"Dung","sequence":"first","affiliation":[]},{"given":"Do Duc","family":"Hanh","sequence":"additional","affiliation":[]},{"given":"Phan Minh","family":"Thang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45628-7_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M. Denecker","year":"2002","unstructured":"Denecker, M., Kakas, A.C.: Abduction in logic programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS, vol.\u00a02407, pp. 402\u2013436. Springer, Heidelberg (2002)"},{"issue":"11","key":"12_CR2","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E.W. Dijkstra","year":"1974","unstructured":"Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Commun. ACM\u00a017(11), 643\u2013644 (1974)","journal-title":"Commun. ACM"},{"issue":"2","key":"12_CR3","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0743-1066(95)94697-X","volume":"22","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: An argumentation-theoretic foundations for logic programming. Journal of Logic Programming\u00a022(2), 151\u2013171 (1995)","journal-title":"Journal of Logic Programming"},{"issue":"1-2","key":"12_CR4","first-page":"1","volume":"6","author":"P.M. Dung","year":"2006","unstructured":"Dung, P.M., Hanh, D.D., Thang, P.M.: Stabilization of cooperative information agents in unpredictable environment: a logic programming approach. TPLP\u00a06(1-2), 1\u201322 (2006)","journal-title":"TPLP"},{"key":"12_CR5","unstructured":"Eshghi, K., Kowalski, R.A.: Abduction compared with negation by failure. In: ICLP, pp. 234\u2013254 (1989)"},{"key":"12_CR6","first-page":"100","volume-title":"Readings in Distributed Computer Systems","author":"M. Flatebo","year":"1994","unstructured":"Flatebo, M., Datta, A.K.: Self-stabilization in distributed systems. In: Flatebo, M., Datta, A.K. (eds.) Readings in Distributed Computer Systems, ch.\u00a02, pp. 100\u2013114. IEEE Computer Society Press, Los Alamitos (1994)"},{"issue":"2","key":"12_CR7","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T. Fung","year":"1997","unstructured":"Fung, T., 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"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-30200-1_3","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Gavanelli","year":"2004","unstructured":"Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: An abductive framework for information exchange in multi-agent systems. In: Dix, J., Leite, J. (eds.) CLIMA 2004. LNCS, vol.\u00a03259, pp. 34\u201352. Springer, Heidelberg (2004)"},{"key":"12_CR9","unstructured":"Gelfond, M., Vladimir Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, pp. 1070\u20131080 (1988)"},{"key":"12_CR10","first-page":"235","volume":"5","author":"A.C. Kakas","year":"1998","unstructured":"Kakas, A.C., Robert, A., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. Handbook of Logic in AI and Logic Programming, OUP\u00a05, 235\u2013324 (1998)","journal-title":"Handbook of Logic in AI and Logic Programming, OUP"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Satoh, K., Yamamoto, K.: Speculative computation with multi-agent belief revision. In: AAMAS, pp. 897\u2013904 (2002)","DOI":"10.1145\/544862.544950"},{"issue":"1","key":"12_CR12","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/151254.151256","volume":"25","author":"M.. Schneider","year":"1993","unstructured":"Schneider, M.: Self-stabilization. ACM Computing Survey\u00a025(1), 45\u201367 (1993)","journal-title":"ACM Computing Survey"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02846-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T06:50:02Z","timestamp":1552114202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02846-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642028458","9783642028465"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02846-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}