{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,19]],"date-time":"2026-09-19T23:22:37Z","timestamp":1789860157642,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642328961","type":"print"},{"value":"9783642328978","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32897-8_5","type":"book-chapter","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T12:51:25Z","timestamp":1344862285000},"page":"43-60","source":"Crossref","is-referenced-by-count":4,"title":["Distributed Defeasible Speculative Reasoning in Ambient Environment"],"prefix":"10.1007","author":[{"given":"Ho-Pun","family":"Lam","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ken","family":"Satoh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hiroshi","family":"Hosobe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-642-04238-6_6","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"A. Bikakis","year":"2009","unstructured":"Bikakis, A., Antoniou, G.: Contextual Argumentation in Ambient Intelligence. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 30\u201343. Springer, Heidelberg (2009)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Bikakis, A., Patkos, T., Antoniou, G., Plexousakis, D.: A Survey of Semantics-Based Approaches for Context Reasoning in Ambient Intelligence. In: Constructing Ambient Intelligence - AmI 2007 Workshops, CCIS 11, pp. 14\u201323. Springer (2008)","DOI":"10.1007\/978-3-540-85379-4_3"},{"issue":"2","key":"5_CR3","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini, C., Giunchiglia, F.: Local Models Semantics, or contextual reasoning=locality+compatibility. Artificial Intelligence\u00a0127(2), 221\u2013259 (2001)","journal-title":"Artificial Intelligence"},{"key":"5_CR4","unstructured":"Giunchiglia, F., Weyhrauch, R.: A Multi-Context Monotonic Axiomatizations of Inessential Non-Monotonicity. In: Nardi, D., Maes, P. (eds.) Meta-level Architectures and Reflection. North-Holland (1988)"},{"issue":"1","key":"5_CR5","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage Hierarchical Logics, or: How we can do without modal logics. Articical Intelligence\u00a065(1), 29\u201370 (1994)","journal-title":"Articical Intelligence"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1145\/91556.91644","volume-title":"Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990","author":"R.B. Osborne","year":"1990","unstructured":"Osborne, R.B.: Speculative Computation in Multilisp. In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, pp. 198\u2013208. ACM, New York (1990)"},{"key":"5_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-36524-9_13","volume-title":"Web Knowledge Management and Decision Support","author":"D. Nute","year":"2003","unstructured":"Nute, D.: Defeasible Iogic: Theory, Implementation and Applications. In: Bartenstein, O., Geske, U., Hannebauer, M., Yoshie, O. (eds.) INAP 2001. LNCS (LNAI), vol.\u00a02543, pp. 151\u2013169. Springer, Heidelberg (2003)"},{"key":"5_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-24674-9_33","volume-title":"Methods and Applications of Artificial Intelligence","author":"G. Antoniou","year":"2004","unstructured":"Antoniou, G.: A Discussion of Some Intuitions of Defeasible Reasoning. In: Vouros, G.A., Panayiotopoulos, T. (eds.) SETN 2004. LNCS (LNAI), vol.\u00a03025, pp. 311\u2013320. Springer, Heidelberg (2004)"},{"key":"5_CR9","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M., Rock, A.: A Family of Defeasible Reasoning Logics and its Implementation. In: Proceedings of the European Conference on Artifical Intelligence, ECAI 2000, pp. 459\u2013463 (2000)"},{"issue":"5","key":"5_CR10","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1093\/logcom\/14.5.675","volume":"14","author":"G. Governatori","year":"2004","unstructured":"Governatori, G., Maher, M.J., Antoniou, G., Billington, D.: Argumentation Semantics for Defeasible Logics. Journal of Logic and Computation\u00a014(5), 675\u2013702 (2004)","journal-title":"Journal of Logic and Computation"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-642-11957-6_10","volume-title":"Programming Languages and Systems","author":"G. Boudol","year":"2010","unstructured":"Boudol, G., Petri, G.: A Theory of Speculative Computation. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol.\u00a06012, pp. 165\u2013184. Springer, Heidelberg (2010)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1145\/544862.544950","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: Part 2, AAMAS 2002","author":"K. Satoh","year":"2002","unstructured":"Satoh, K., Yamamoto, K.: Speculative Computation with Multi-agent Belief Revision. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: Part 2, AAMAS 2002, pp. 897\u2013904. ACM, New York (2002)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Satoh, K., Inoue, K., Iwanuma, K., Sakama, C.: Speculative Computation by Abduction under Incomplete Communication Environments. In: Proceedings of the Fourth International Conference on Multi-Agent Systems, pp. 263\u2013270 (2000)","DOI":"10.1109\/ICMAS.2000.858462"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1023\/B:AMAI.0000034529.83643.ce","volume":"42","author":"K. Inoue","year":"2004","unstructured":"Inoue, K., Iwanuma, K.: Speculative Computation Through Consequence-Finding in Multi-Agent Environments. Annals of Mathematics and Artificial Intelligence\u00a042, 255\u2013291 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"5_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/11750734_19","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Ceberio","year":"2006","unstructured":"Ceberio, M., Hosobe, H., Satoh, K.: Speculative Constraint Processing with Iterative Revision for Disjunctive Answers. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol.\u00a03900, pp. 340\u2013357. Springer, Heidelberg (2006)"},{"key":"5_CR16","doi-asserted-by":"crossref","first-page":"373","DOI":"10.3233\/AIC-2010-0480","volume":"23","author":"H. Hosobe","year":"2010","unstructured":"Hosobe, H., Satoh, K., Ma, J., Russo, A., Broda, K.: Speculative constraint processing for hierarchical agents. AI Commun.\u00a023, 373\u2013388 (2010)","journal-title":"AI Commun."},{"key":"5_CR17","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":"4","key":"5_CR18","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1109\/TSMCA.2011.2132715","volume":"41","author":"A. Bikakis","year":"2011","unstructured":"Bikakis, A., Antoniou, G.: Contextual Defeasible Logic and Its Application to Ambient Intelligence. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans\u00a041(4), 705\u2013716 (2011)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"issue":"2","key":"5_CR19","first-page":"157","volume":"83","author":"H.A. Simon","year":"1993","unstructured":"Simon, H.A.: Altruism and Economics. American Economic Review\u00a083(2), 157\u2013161 (1993)","journal-title":"American Economic Review"},{"issue":"2","key":"5_CR20","first-page":"146","volume":"7","author":"D. Secchi","year":"2007","unstructured":"Secchi, D.: A Theory of Docile Society: The Role of Altruism in Human Behavior. Journal of Academy of Business and Economics\u00a07(2), 146\u2013160 (2007)","journal-title":"Journal of Academy of Business and Economics"},{"key":"5_CR21","unstructured":"Pusey, B., Maitland, C., Tapia, A., Yen, J.: A Survey of Trust Models in Agent Applications. In: Proceedings of the North American Association for Computational Social and Organizational Sciences (NAACSOS), Atlanta, Georgia, June 7-9 (2007)"},{"issue":"2","key":"5_CR22","first-page":"118","volume":"3","author":"Y. Wang","year":"2007","unstructured":"Wang, Y., Vassileva, J.: Toward trust and reputation based web service selection: A survey. International Transactions on Systems Science and Applications\u00a03(2), 118\u2013132 (2007)","journal-title":"International Transactions on Systems Science and Applications"},{"issue":"4","key":"5_CR23","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1016\/j.comnet.2005.07.012","volume":"50","author":"R. Sherwood","year":"2006","unstructured":"Sherwood, R., Lee, S., Bhattacharjee, B.: Cooperative peer groups in NICE. Computer Networks\u00a050(4), 523\u2013544 (2006); Management in Peer-to-Peer Systems","journal-title":"Computer Networks"},{"key":"5_CR24","unstructured":"Xiong, L., Liu, L.: Building Trust in Decentralized Peer-to-Peer Electronic Communities. In: Proc. 5th Int\u2019l Conf. Electronic Commerce Research, ICECR-5 (2002)"},{"key":"5_CR25","doi-asserted-by":"crossref","first-page":"203","DOI":"10.3233\/FI-1998-34301","volume":"34","author":"R.A. Kowalski","year":"1998","unstructured":"Kowalski, R.A., Toni, F., Wetzel, G.: Executing suspended logic programs. Fundamenta Informaticae - Special issue on Foundations of Constraint Programming\u00a034, 203\u2013224 (1998)","journal-title":"Fundamenta Informaticae - Special issue on Foundations of Constraint Programming"},{"key":"5_CR26","unstructured":"JADE: Java Agent Development Framework (2003), http:\/\/jade.tilab.com\/"},{"key":"5_CR27","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1613\/jair.1785","volume":"25","author":"P. Adjiman","year":"2006","unstructured":"Adjiman, P., Chatalic, P., Goasdou\u00e8, F., Rousset, M.C., Simon, L.: Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web. Journal of Artificial Intelligence Research\u00a025, 269\u2013314 (2006)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"5_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/11805816_17","volume-title":"Advances in Case-Based Reasoning","author":"A. Kofod-Petersen","year":"2006","unstructured":"Kofod-Petersen, A., Aamodt, A.: Contextualised Ambient Intelligence Through Case-Based Reasoning. In: Roth-Berghofer, T.R., G\u00f6ker, M.H., G\u00fcvenir, H.A. (eds.) ECCBR 2006. LNCS (LNAI), vol.\u00a04106, pp. 211\u2013225. Springer, Heidelberg (2006)"},{"key":"5_CR29","unstructured":"Kofod-Petersen, A.: Challenges in case-based reasoning for context awareness in ambient intelligent systems. In: Minor, M. (ed.) 8th European Conference on Case-Based Reasoning, Workshop Proceedings, pp. 287\u2013299 (2006)"},{"key":"5_CR30","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/IAT.2004.1342969","volume-title":"Proceedings of the IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology, IAT 2004","author":"L. Wang","year":"2004","unstructured":"Wang, L., Huang, H., Chai, Y.: Speculative Computation with Deadline and Its Resource Negotiation under Time Constraints. In: Proceedings of the IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology, IAT 2004, pp. 353\u2013356. IEEE Computer Society, Washington, DC (2004)"},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1018934223383","volume":"25","author":"R. Kowalski","year":"1999","unstructured":"Kowalski, R., Sadri, F.: From logic programming towards multiagent systems. Annals of Mathematics and Artificial Intelligence\u00a025, 391\u2013419 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"5_CR32","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-49545-2_2","volume-title":"Logics in Artificial Intelligence","author":"P. Dell\u2019Acqua","year":"1998","unstructured":"Dell\u2019Acqua, P., Sadri, F., Toni, F.: Combining Introspection and Communication with Rationality and Reactivity in Agents. In: Dix, J., Fari\u00f1as del Cerro, L., Furbach, U. (eds.) JELIA 1998. LNCS (LNAI), vol.\u00a01489, pp. 17\u201332. Springer, Heidelberg (1998)"},{"key":"5_CR33","series-title":"Lecture Notes in Artificial Intelligence","first-page":"183","volume-title":"Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving","author":"P. Dell\u2019Acqua","year":"2001","unstructured":"Dell\u2019Acqua, P., Moniz Pereira, L.: Enabling Agents to Update their Knowledge and to Prefer. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS (LNAI), vol.\u00a02258, pp. 183\u2013190. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32897-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T21:01:43Z","timestamp":1743973303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32897-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328961","9783642328978"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32897-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}