{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T21:44:15Z","timestamp":1771105455697,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642149764","type":"print"},{"value":"9783642149771","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14977-1_7","type":"book-chapter","created":{"date-parts":[[2010,8,11]],"date-time":"2010-08-11T10:23:30Z","timestamp":1281522210000},"page":"49-64","source":"Crossref","is-referenced-by-count":7,"title":["Speculative Abductive Reasoning for Hierarchical Agent Systems"],"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":"Randy","family":"Goebel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroshi","family":"Hosobe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Satoh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"12","key":"7_CR1","doi-asserted-by":"crossref","first-page":"1190","DOI":"10.1109\/TC.1985.6312218","volume":"34","author":"F.W. Burton","year":"1985","unstructured":"Burton, F.W.: Speculative computation, parallelism, and functional programming. IEEE Trans. Computers\u00a034(12), 1190\u20131193 (1985)","journal-title":"IEEE Trans. Computers"},{"key":"7_CR2","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":"7_CR3","doi-asserted-by":"crossref","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 Math. and AI, 65\u201391 (2003)","DOI":"10.1023\/A:1020259411066"},{"key":"7_CR4","first-page":"370","volume-title":"ILPS 1993: Proceedings of the 1993 International Symposium on Logic Programming","author":"S. Gregory","year":"1993","unstructured":"Gregory, S.: Experiments with speculative parallelism in parlog. In: ILPS 1993: Proceedings of the 1993 International Symposium on Logic Programming, pp. 370\u2013387. MIT Press, Cambridge (1993)"},{"key":"7_CR5","unstructured":"Hayashi, H.: Replanning in robotics by dynamic SLDNF. In: Proc. Workshop on Scheduling and Planning meet Real-time Monitoring in a Dynamic and Uncertain World (1999)"},{"key":"7_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/11691792_11","volume-title":"Declarative Agent Languages and Technologies III","author":"H. Hayashi","year":"2006","unstructured":"Hayashi, H., Tokura, S., Hasegawa, T., Ozaki, F.: Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 171\u2013187. Springer, Heidelberg (2006)"},{"key":"7_CR7","unstructured":"Hosobe, H., Satoh, K., Ma, J., Russo, A., Broda, K.: Speculative constraint processing for hierarchical agents. In: Proc. of 7th European Workshop on MAS, EUMAS 2009 (2009)"},{"key":"7_CR8","unstructured":"Jaffar, J., Maher, M.J., Marriott, K., Stuckey, P.J.: The semantics of constraint logic programs. J. Log. Prog., 1\u201346 (1998)"},{"issue":"6","key":"7_CR9","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 Comp.\u00a02(6), 719\u2013770 (1992)","journal-title":"Journal of Logic and Comp."},{"key":"7_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of logic programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of logic programming, 2nd extended edn. Springer, New York (1987)","edition":"2"},{"issue":"3","key":"7_CR11","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"},{"key":"7_CR12","first-page":"726","volume-title":"Proc. of the 15th Australian Joint Conf. on AI","author":"H. Nabeshima","year":"2002","unstructured":"Nabeshima, H., Iwanuma, K., Inoue, K.: Effective sat planning by speculative computation. In: Proc. of the 15th Australian Joint Conf. on AI, pp. 726\u2013728. Springer, London (2002)"},{"issue":"9","key":"7_CR13","doi-asserted-by":"publisher","first-page":"2031","DOI":"10.1093\/ietisy\/e88-d.9.2031","volume":"88-D","author":"K. Satoh","year":"2005","unstructured":"Satoh, K.: Speculative computation and abduction for an autonomous agent. IEICE Transactions\u00a088-D(9), 2031\u20132038 (2005)","journal-title":"IEICE Transactions"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Satoh, K., Inoue, K., Iwanuma, K., Sakama, C.: Speculative computation by abduction under incomplete communication environments. In: ICMAS, pp. 263\u2013270 (2000)","DOI":"10.1109\/ICMAS.2000.858462"},{"key":"7_CR15","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"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Shanahan, M.: Reinventing shakey. In: Logic-based artificial intelligence, pp. 233\u2013253 (2000)","DOI":"10.1007\/978-1-4615-1567-8_11"},{"key":"7_CR17","first-page":"171","volume-title":"Proc. of the 4th Int. Conf. on Algebraic and Logic Programming","author":"F. Teusink","year":"1996","unstructured":"Teusink, F.: Three-valued completion for abductive logic programs. In: Proc. of the 4th Int. Conf. on Algebraic and Logic Programming, pp. 171\u2013200. Elsevier Science Inc., New York (1996)"},{"key":"7_CR18","unstructured":"Van Nuffelen, B.: Abductive constraint logic programming: implementation and applications, Phd, Department of Computer Science, K.U.Leuven, Belgium (June 2004)"},{"key":"7_CR19","unstructured":"Wallace, M.: Negation by constraints: A sound and efficient implementation of negation in deductive databases. In: SLP, pp. 253\u2013263 (1987)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Clark, K.: 1Negation as failure. In: Logic and Data Bases, pp. 293\u2013322 (1978)","DOI":"10.1007\/978-1-4684-3384-5_11"}],"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-14977-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:59:54Z","timestamp":1606186794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14977-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642149764","9783642149771"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14977-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}