{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:25:15Z","timestamp":1761596715296},"reference-count":56,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1998,10,1]],"date-time":"1998-10-01T00:00:00Z","timestamp":907200000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":5411,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1998,10]]},"DOI":"10.1016\/s0004-3702(98)00080-0","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:24:09Z","timestamp":1027657449000},"page":"1-45","source":"Crossref","is-referenced-by-count":14,"title":["Concurrency and knowledge-level communication in agent languages"],"prefix":"10.1016","volume":"105","author":[{"given":"Mauro","family":"Gaspari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(98)00080-0_BIB1","series-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"Agha","year":"1986"},{"issue":"9","key":"10.1016\/S0004-3702(98)00080-0_BIB2","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/83880.84528","article-title":"Concurrent object-oriented programming","volume":"33","author":"Agha","year":"1990","journal-title":"Comm. ACM"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB3","series-title":"Proceedings ACM Symp. on Principles and Practice of Parallel Programming (PPOPP)","first-page":"23","article-title":"ActorSpace: an open distributed programming paradigm","volume":"28","author":"Agha","year":"1993"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB4","series-title":"Proceedings CONCUR-92","first-page":"564","article-title":"Towards a theory of actor computation","volume":"Vol. 630","author":"Agha","year":"1992"},{"issue":"1","key":"10.1016\/S0004-3702(98)00080-0_BIB5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S095679689700261X","article-title":"A foundation for actor computation","volume":"7","author":"Agha","year":"1997","journal-title":"J. Functional Programming"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB6","series-title":"Proceedings CONCUR-96","first-page":"147","article-title":"On bisimulations for the asynchronous \u03c0 -calculus","volume":"Vol. 1119","author":"Amadio","year":"1996"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB7","series-title":"Concurrent Programming Principles and Practice","author":"Andrews","year":"1991"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB8","series-title":"Proceedings ACM SIGOPS European Workshop","first-page":"62","article-title":"On group communication in large-scale distributed systems","volume":"29","author":"Babaoglu","year":"1995"},{"issue":"3","key":"10.1016\/S0004-3702(98)00080-0_BIB9","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1145\/72551.72552","article-title":"Programming languages for distributed computing systems","volume":"21","author":"Bal","year":"1989","journal-title":"ACM Computer Surveys"},{"issue":"12","key":"10.1016\/S0004-3702(98)00080-0_BIB10","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/163298.163303","article-title":"The process group approach to reliable distributed computing","volume":"36","author":"Birman","year":"1993","journal-title":"Comm. ACM"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB11","series-title":"Special Issue on Economic Principles of Multi-Agent Systems","first-page":"1","volume":"94","year":"1994"},{"issue":"1\u20133","key":"10.1016\/S0004-3702(98)00080-0_BIB12","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0004-3702(91)90053-M","article-title":"Intelligence without representation","volume":"47","author":"Brooks","year":"1991","journal-title":"Artificial Intelligence"},{"issue":"2","key":"10.1016\/S0004-3702(98)00080-0_BIB13","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/129630.129635","article-title":"Coordination languages and their significance","volume":"35","author":"Carriero","year":"1992","journal-title":"Comm. ACM"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB14","series-title":"Proceedings 28th Annual Meeting of the Association for Computational Linguistics","first-page":"79","article-title":"Performatives in a rationally based speech act theory","author":"Cohen","year":"1990"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB15","series-title":"Proceedings International Conference on Multi-Agent Systems","first-page":"65","article-title":"Communicative actions for artificial agents","author":"Cohen","year":"1995"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB16","series-title":"Proceedings 7th Annual IEEE Symposium on Logic in Computer Science","first-page":"137","article-title":"Asynchronous communication in process algebra","author":"Deboer","year":"1992"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB17","series-title":"Software Agents","article-title":"KQML as an agent communication language","author":"Finin","year":"1997"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB18","article-title":"Specification of the KQML agent communication language","author":"Finin","year":"1993"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB19","series-title":"11th European Conference on Artificial Intelligence, ECAI-94","first-page":"364","article-title":"Symbol-level requirements for agent-level programming","author":"Gaspari","year":"1994"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB20","series-title":"Advances in Artificial Intelligence","first-page":"142","article-title":"Inferring in Legoland: an architecture for the integration of heterogeneous inference modules","volume":"Vol. 728","author":"Gaspari","year":"1993"},{"issue":"3","key":"10.1016\/S0004-3702(98)00080-0_BIB21","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/64.393143","article-title":"An open framework for cooperative problem solving","volume":"10","author":"Gaspari","year":"1995","journal-title":"IEEE Expert"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB22","article-title":"An algebra of actors","author":"Gaspari","year":"1997"},{"issue":"7","key":"10.1016\/S0004-3702(98)00080-0_BIB23","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/176789.176794","article-title":"Software agents","volume":"37","author":"Genesereth","year":"1994","journal-title":"Comm. ACM"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB24","series-title":"Logical Foundations of Artificial Intelligence","author":"Genesereth","year":"1986"},{"issue":"2","key":"10.1016\/S0004-3702(98)00080-0_BIB25","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1016\/0004-3702(94)90071-X","article-title":"An empirical analysis of terminological representation systems","volume":"68","author":"Heinsohn","year":"1994","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S0004-3702(98)00080-0_BIB26","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","article-title":"Viewing control structures as patterns of passing messages","volume":"8","author":"Hewitt","year":"1997","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB27","series-title":"5th European Conference on Object-Oriented Programming","first-page":"141","article-title":"An object calculus for asynchronous communication","volume":"Vol. 512","author":"Honda","year":"1991"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB28","series-title":"Proceedings OOPSLA-86","first-page":"406","article-title":"Object identity","author":"Khoshafian","year":"1986"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB29","article-title":"Semantics for an agent communication language","author":"Labrou","year":"1996"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB30","series-title":"Proceedings International Conference on Information and Knowledge Management","article-title":"A semantic approach for KQML\u2014a general purpose communication language for software agents","author":"Labrou","year":"1994"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB31","article-title":"A proposal for a new KQML specification","author":"Labrou","year":"1997"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB32","series-title":"Intelligent Agents II: Agent Theories, Architectures and Languages","article-title":"Evaluation of KQML as an agent communication language","volume":"Vol. 1037","author":"Mayfield","year":"1996"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB33","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"issue":"2","key":"10.1016\/S0004-3702(98)00080-0_BIB34","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0960129500001407","article-title":"Functions as processes","volume":"2","author":"Milner","year":"1992","journal-title":"Math. Structures Comput. Sci."},{"issue":"1","key":"10.1016\/S0004-3702(98)00080-0_BIB35","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1145\/151233.151240","article-title":"Elements of interaction","volume":"36","author":"Milner","year":"1993","journal-title":"Comm. ACM"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB36","series-title":"Intelligent Agents III: Theories, Architectures, and Languages","volume":"Vol. 1193","year":"1997"},{"issue":"3","key":"10.1016\/S0004-3702(98)00080-0_BIB37","first-page":"1","article-title":"Software agents: an overview","volume":"11","author":"Nawana","year":"1996","journal-title":"Knowledge Engineering Review"},{"issue":"3","key":"10.1016\/S0004-3702(98)00080-0_BIB38","first-page":"37","article-title":"Enabling technology for knowledge sharing","volume":"12","author":"Neches","year":"1991","journal-title":"AI Magazine"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB39","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0004-3702(93)90166-9","article-title":"Reflections on the knowledge level","volume":"59","author":"Newell","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB40","article-title":"A structural approach to operational semantics","author":"Plotkin","year":"1981"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB41","series-title":"Special Issue on Intelligent Agents","first-page":"18","volume":"37","year":"1994"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB42","first-page":"29","article-title":"Designing conventions for automated negotiation","volume":"15","author":"Rosenschein","year":"1994","journal-title":"AI Magazine"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB43","series-title":"Rules of Encounter: Designing Conventions for Automated Negotiation among Computers","author":"Rosenschein","year":"1994"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB44","series-title":"Speech Acts","author":"Searle","year":"1969"},{"issue":"1","key":"10.1016\/S0004-3702(98)00080-0_BIB45","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","article-title":"Agent-oriented programming","volume":"60","author":"Shoham","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB46","series-title":"Proceedings Chalmers Workshop on Concurrency","first-page":"457","article-title":"An actor formalism for open concurrent systems","author":"Shyamasundar","year":"1992"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB47","unstructured":"TR PMG-R63, Chalmers University of Technology."},{"issue":"4","key":"10.1016\/S0004-3702(98)00080-0_BIB48","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1142\/S0218843095000159","article-title":"A distributed and anonymous knowledge sharing approach to software interoperation","volume":"4","author":"Singh","year":"1995","journal-title":"Internat. J. Cooperative Information Systems"},{"issue":"11","key":"10.1016\/S0004-3702(98)00080-0_BIB49","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/2.43525","article-title":"Deadlock detection in distributed systems","volume":"22","author":"Singhal","year":"1989","journal-title":"IEEE Computer"},{"issue":"12","key":"10.1016\/S0004-3702(98)00080-0_BIB50","doi-asserted-by":"crossref","first-page":"1104","DOI":"10.1109\/TC.1980.1675516","article-title":"The contract net protocol: high-level communication and control in a distributed problem solver","volume":"29","author":"Smith","year":"1980","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0004-3702(98)00080-0_BIB51","series-title":"Technical Report CMU-CS-97-193","article-title":"Multiagent systems: a survey from a machine learning perspective","author":"Stone","year":"1997"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB52","series-title":"Proceedings FMOODS-96","first-page":"154","article-title":"Interaction semantics for components of distributed systems","author":"Talcott","year":"1996"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB53","series-title":"Proceedings Theoretical Aspects of Computer Software","article-title":"\u03c0-calculus semantics of object-oriented programming languages","volume":"Vol. 526","author":"Walker","year":"1991"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB54","series-title":"Intelligent Agents: Theories, Architectures, and Languages","volume":"Vol. 890","year":"1995"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB55","series-title":"Intelligent Agents II: Theories, Architectures, and Languages","volume":"Vol. 1037","year":"1996"},{"key":"10.1016\/S0004-3702(98)00080-0_BIB56","article-title":"Object Oriented Concurrent Programming","author":"Yonezawa","year":"1987"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000800?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000800?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T10:50:43Z","timestamp":1555066243000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370298000800"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,10]]},"references-count":56,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,10]]}},"alternative-id":["S0004370298000800"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(98)00080-0","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1998,10]]}}}