{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:22:45Z","timestamp":1725560565256},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221241"},{"type":"electronic","value":"9783540259329"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25932-9_4","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T20:16:46Z","timestamp":1280261806000},"page":"54-75","source":"Crossref","is-referenced-by-count":7,"title":["Go! for Multi-threaded Deliberative Agents"],"prefix":"10.1007","author":[{"given":"Keith L.","family":"Clark","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank G.","family":"McCabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/3-540-58855-8_21","volume-title":"Intelligent Agents","author":"F. McCabe","year":"1995","unstructured":"McCabe, F., Clark, K.: April - Agent PRocess Interaction Language. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS (LNAI), vol.\u00a0890, pp. 324\u2013340. Springer, Heidelberg (1995)"},{"key":"4_CR2","unstructured":"Chu, D., Clark, K.L.: IC-Prolog II: a multi-threaded Prolog system. In: Succi, G., Colla, G. (eds.) Proceedings of the ICLP 1993 Workshop on Concurrent & Parallel Implementations of Logic Programming Systems, pp. 115\u2013141 (1993)"},{"key":"4_CR3","volume-title":"L&O: Logic and Objects","author":"F. McCabe","year":"1992","unstructured":"McCabe, F.: L&O: Logic and Objects. Prentice-Hall International, Englewood Cliffs (1992)"},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-3-662-03678-5_10","volume-title":"Agent Technology","author":"H. Haugeneder","year":"1998","unstructured":"Haugeneder, H., Steiner, D.: Co-operative agents: Concepts and applications. In: Jennings, N.R., Wooldridge, M.J. (eds.) Agent Technology, pp. 175\u2013202. Springer, Heidelberg (1998)"},{"key":"4_CR5","unstructured":"Willmott, S.N., Dale, J., Burg, B., Charlton, C., O\u2019Brien, P.: Agentcities: A Worldwide Open Agent Network. Agentlink News, 13\u201315 (2001)"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. Computer and System Sciences\u00a017, 348\u2013375 (1978)","journal-title":"Computer and System Sciences"},{"key":"4_CR7","first-page":"211","volume-title":"Psychology of Computer Vision","author":"M. Minsky","year":"1975","unstructured":"Minsky, M.: A framework for representing knowledge. In: Winston, P. (ed.) Psychology of Computer Vision, pp. 211\u2013277. MIT Press, Cambridge (1975)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Clark, K., McCabe, F.: Go! \u2013 a multi-paradigm programming language for implementing multi-threaded agents. Annals of Mathematics and Artificial Intelligence (2004) (to appear)","DOI":"10.1023\/B:AMAI.0000031195.87297.d9"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"M.E. Bratman","year":"1988","unstructured":"Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and resource bounded practical reasoning. Computational Intelligence\u00a04, 349\u2013355 (1988)","journal-title":"Computational Intelligence"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in context. Communications of the ACM\u00a032, 444\u2013458 (1989)","journal-title":"Communications of the ACM"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1023\/A:1010060322135","volume":"2","author":"A. Omicini","year":"1999","unstructured":"Omicini, A., Zambonelli, F.: Coordination for internet application development. Autonomous Agents and Multi-agent systems\u00a02, 251\u2013269 (1999)","journal-title":"Autonomous Agents and Multi-agent systems"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Finin, T., Fritzson, R., McKay, D., McEntire, R.: KQML as an agent communication language. In: Proceedings 3rd International Conference on Information and Knowledge Management (1994)","DOI":"10.1145\/191246.191322"},{"key":"4_CR13","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1993","unstructured":"Armstrong, J., Virding, R., Williams, M.: Concurrent Programming in Erlang. Prentice-Hall International, Englewood Cliffs (1993)"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F. Pereira","year":"1980","unstructured":"Pereira, F., Warren, D.H.: Definite clause grammars compared with augmented transition network. Artificial Intelligence\u00a013, 231\u2013278 (1980)","journal-title":"Artificial Intelligence"},{"key":"4_CR15","unstructured":"Clark, K., McCabe, F.: Ontology representation and inference in Go! Technical report, Dept. of Computing, Imperial College, London (2003)"},{"key":"4_CR16","unstructured":"Roa, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proceedings of Knowledge Representation and Reasoning (KR&R 1992), pp. 349\u2013349 (1992)"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1017\/S147106840100120X","volume":"1","author":"K.L. Clark","year":"2001","unstructured":"Clark, K.L., Robinson, P.J., Hagen, R.: Multi-threading and message communication in Qu-Prolog. Theory and Practice of Logic Programming\u00a01, 283\u2013301 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"key":"4_CR18","unstructured":"Tarau, P., Dahl, V.: Mobile Threads through First Order Continuations. In: Proceedings of APPAI-GULP-PRODE 1998, Coruna, Spain (1998)"},{"key":"4_CR19","first-page":"320","volume-title":"Proceedings of ICLP 1999","author":"M. Carro","year":"1999","unstructured":"Carro, M., Hermenegildo, M.: Concurrency in Prolog using Threads and a Shared Database. In: Schreye, D.D. (ed.) Proceedings of ICLP 1999, pp. 320\u2013334. MIT Press, Cambridge (1999)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/BFb0056606","volume-title":"Principles of Declarative Programming","author":"J. Eskilson","year":"1998","unstructured":"Eskilson, J., Carlsson, M.: Sicstus MT - a multithreaded execution environment for SICStus Prolog. In: Palamidessi, C., Meinke, K., Glaser, H. (eds.) ALP 1998 and PLILP 1998. LNCS, vol.\u00a01490, pp. 36\u201353. Springer, Heidelberg (1998)"},{"key":"#cr-split#-4_CR21.1","unstructured":"Van Roy, P., Haridi, S.: Mozart: A programming system for agent applications. In: International Workshop on Distributed and Internet Programming with Logic and Constraint Languages (1999), http:\/\/www.mozart-oz.org\/papers\/abstracts\/diplcl99.html;"},{"key":"#cr-split#-4_CR21.2","unstructured":"Part of International Conference on Logic Programming (ICLP 1999)"},{"key":"4_CR22","unstructured":"Zoltan Somogyi, F.H., Conway, T.: Mercury: an efficient purely declarative logic programming language. In: Proceedings of the Australian Computer Science Conference, pp. 499\u2013512 (1995)"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"LLoyd, J.W.: Programming in an integrated functional and logic programming language. Journal of Functional and Logic Programming, 1\u201349 (1999)","DOI":"10.1007\/10705424_1"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Hanus, M.: A unified computation model for functional and logic programming. In: Proc. 24st ACM Symposium on Principles of Programming Languages (POPL 1997), pp. 80\u201393 (1997)","DOI":"10.1145\/263699.263710"},{"key":"4_CR25","unstructured":"Lloyd, J.: Interaction and concurrency in a declarative programming language. Unpublished report, Dept. of Computer Science, Bristol University, London (1988)"},{"key":"4_CR26","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/BFb0014005","volume-title":"Temporal Logic","author":"M. Fisher","year":"1994","unstructured":"Fisher, M.: A survey of concurrent MetateM- the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS (LNAI), vol.\u00a0827, pp. 480\u2013505. Springer, Heidelberg (1994)"},{"key":"4_CR27","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45757-7_1","volume-title":"Logics in Artificial Intelligence","author":"S. Constantini","year":"2002","unstructured":"Constantini, S., Tocchio, A.: A logic programming language for multi-agent systems. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 1\u201313. Springer, Heidelberg (2002)"},{"key":"4_CR28","first-page":"721","volume-title":"1st International Joint Conf. Autonomous Agents and Multi-agent Systems","author":"D. Kinny","year":"2002","unstructured":"Kinny, D.: VIP:A visual programming language for plan execution systems. In: 1st International Joint Conf. Autonomous Agents and Multi-agent Systems, pp. 721\u2013728. ACM Press, New York (2002)"},{"key":"4_CR29","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Roa","year":"1996","unstructured":"Roa, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"4_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BFb0026761","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"K.V. Hindriks","year":"1998","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.J.C.: Formal semantics for an abstract agent programming language. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol.\u00a01365, pp. 215\u2013230. Springer, Heidelberg (1998)"},{"key":"4_CR31","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-45448-9_11","volume-title":"Intelligent Agents VIII","author":"J.A. Leite","year":"2002","unstructured":"Leite, J.A., Alferes, J.J., Pereira, L.M.: Minerva-A dynamic logic prorgamming agent architecture. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 141\u2013157. Springer, Heidelberg (2002)"},{"key":"4_CR32","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"1-2","author":"G. Giacomo De","year":"2000","unstructured":"De Giacomo, G., Lesperance, Y., Levesque, H.: Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence\u00a01-2, 109\u2013169 (2000)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25932-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T15:32:53Z","timestamp":1559316773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25932-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221241","9783540259329"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25932-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}