{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,15]],"date-time":"2024-06-15T13:19:07Z","timestamp":1718457547627},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T00:00:00Z","timestamp":1122422400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[2005,8]]},"DOI":"10.1007\/s00200-005-0172-1","type":"journal-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T15:35:37Z","timestamp":1122478537000},"page":"77-111","source":"Crossref","is-referenced-by-count":3,"title":["Algebraic specification of agent computation"],"prefix":"10.1007","volume":"16","author":[{"given":"David","family":"Kinny","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,27]]},"reference":[{"key":"172_CR1","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"Berry","year":"1","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. Theor. Comput. Sci. 96(1), 217\u2013248 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"172_CR2","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1145\/200836.200876","volume":"43","author":"Bloom","year":"1995","unstructured":"Bloom, B., Istrail, S., Meyer, A.R.: Bisimulation can\u2019t be traced. J. ACM 43, 232\u2013268 (1995)","journal-title":"J. ACM"},{"key":"172_CR3","unstructured":"Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press (1987)"},{"key":"172_CR4","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"Bratman","year":"4","unstructured":"Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and resource-bounded practical reasoning. Comput. Intel. 4(4), 349\u2013355 (1988)","journal-title":"Comput. Intel."},{"key":"172_CR5","doi-asserted-by":"crossref","unstructured":"Clark, K.L., McCabe, F.G.: Go! for multi-threaded deliberative agents. In: Proceedings of the AAMAS\u201903 Workshop on Declarative Agent Languages and Technologies, Melbourne, Australia (2003)","DOI":"10.1145\/860575.860747"},{"key":"172_CR6","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"Simone","year":"1985","unstructured":"de Simone, R.: Higher-level synchronising devices in Meije-SCCS. Theor. Comput. Sci. 37, 245\u2013267 (1985)","journal-title":"Theor. Comput. Sci."},{"key":"172_CR7","doi-asserted-by":"crossref","unstructured":"Dennett, D.C.: The intentional stance. MIT Press (1987)","DOI":"10.1017\/S0140525X00058611"},{"key":"172_CR8","doi-asserted-by":"crossref","unstructured":"Dershowitz, N., Jouannaud, J.-P.: Rewrite systems. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science vol. B, pp. 243\u2013320, MIT Press\/Elsevier (1990)","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"172_CR9","unstructured":"d\u2019Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In: Proceedings of ATAL-97, Intelligent Agents IV, Providence, RI, 1997. Springer LNAI 1365"},{"key":"172_CR10","unstructured":"Georgeff, M.P., Ingrand, F.: Decision-making in an embedded reasoning system. In: Proceedings of IJCAI-89, pp. 972\u2013978, Detroit, MI (1989)"},{"key":"172_CR11","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"Gerlenter","year":"1","unstructured":"Gerlenter, D.: Generative communication in linda. ACM Trans. Prog. Lang. Syst. 7(1), 80\u2013112 (1985)","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"172_CR12","doi-asserted-by":"crossref","unstructured":"Harel, D., Kahana, C.: On statecharts with overlapping. ACM Trans. Software Eng. Math. 1(4) (1992)","DOI":"10.1145\/136586.136589"},{"key":"172_CR13","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.Ch.: Control structures of rule-based agent languages. In: Proceedings of ATAL-98, Intelligent Agents V, pp. 381\u2013396, Paris, 1998. Springer LNAI 1555"},{"key":"172_CR14","unstructured":"Kinny, D.: The Distributed Multi-Agent Reasoning System Architecture and Language Specification. Australian Artificial Intelligence Institute, Melbourne, Australia (1993)"},{"key":"172_CR15","unstructured":"Kinny, D.: A framework for multi-agent systems development. In: Proceedings of Intelligent Agent Technology: Systems, Methodologies and Tools, pp. 18\u201327, Hong Kong (1999)"},{"key":"172_CR16","unstructured":"Kinny, D.: Fundamentals of agent computation theory: semantics. PhD thesis, Department of Computer Science, University of Melbourne, Australia (2001)"},{"key":"172_CR17","doi-asserted-by":"crossref","unstructured":"Kinny, D.: Reliable agent computation: an algebraic perspective. In: Proceedings of the 4th Pacific Rim Workshop on MultiAgent Systems, Taipei, Taiwan, Springer (2001)","DOI":"10.1007\/3-540-44637-0_3"},{"key":"172_CR18","doi-asserted-by":"crossref","unstructured":"Kinny, D.: ViP: A visual programming language for plan execution systems. In: Proceedings of the First International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-02), Bologna, Italy, ACM Press (2002)","DOI":"10.1145\/544862.544914"},{"key":"172_CR19","unstructured":"Lesperance, Y., Levesque, H.J., Lin, F., Marcu, D., Reiter, R., Scherl, R.B.: Foundations of a logical approach to agent programming. In: Proceedings of ATAL-95, Intelligent Agents II, pp. 331\u2013346, Montr\u00e9al, 1995. Springer LNAI 1037"},{"key":"172_CR20","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer (1992)","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"172_CR21","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"Meseguer","year":"1","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"172_CR22","unstructured":"Milner, R.: The polyadic \u03c0-calculus: A tutorial. Technical Report LFCS report 91-180, University of Edinburgh, Edinburgh (1991)"},{"key":"172_CR23","unstructured":"M\u00fcller, J.P.: The right agent (architecture) to do the right thing. In: Proceedings of ATAL-98, Intelligent Agents V, pp. 211\u2013225, Paris, 1998. Springer LNAI 1555"},{"key":"172_CR24","unstructured":"Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University (1981)"},{"key":"172_CR25","doi-asserted-by":"crossref","unstructured":"Prasad, K.V.S.: A calculus of broadcasting systems. Sci. Comput. Prog. 25, (1995)","DOI":"10.1016\/0167-6423(95)00017-8"},{"key":"172_CR26","doi-asserted-by":"crossref","unstructured":"Rao, A.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Proceedings of MAAMAW \u201896, Agents Breaking Away, Eindhoven, The Netherlands, 1996. Springer LNAI 1038","DOI":"10.1007\/BFb0031845"},{"key":"172_CR27","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR \u201891, pp. 473\u2013484, Cambridge, MA (1991)"},{"key":"172_CR28","unstructured":"van Glabbeek, R.J.: The meaning of negative premises in transition system specifications II. An extended abstract also appears in the Proceedings of the 23rd International Colloquium on Automata, Languages, and Programming, ICALP\u201996 (LNCS 1099), Technical Report 95\u201316, Department of Computer Science, Stanford University (1996)"},{"key":"172_CR29","first-page":"274","volume":"2","author":"Verhoef","year":"1995","unstructured":"Verhoef, C.: A congruence theorem of structured operational semantics with predicates and negative premises. Nordic J. Comput. 2, 274\u2013302 (1995)","journal-title":"Nordic J. Comput."},{"key":"172_CR30","doi-asserted-by":"crossref","unstructured":"Wagner, G.: A logical and operational model of scalable knowledge- and perception-based agents. In: Proceedings of MAAMAW \u201896, Agents Breaking Away, pp. 26\u201341, Eindhoven, The Netherlands, 1996. Springer LNAI 1038","DOI":"10.1007\/BFb0031844"},{"key":"172_CR31","unstructured":"Widom, J., Ceri, S.: Active Database Systems. Morgan Kaufmann (1996)"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-005-0172-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00200-005-0172-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-005-0172-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T11:09:42Z","timestamp":1586344182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00200-005-0172-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,27]]},"references-count":31,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["172"],"URL":"https:\/\/doi.org\/10.1007\/s00200-005-0172-1","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7,27]]}}}