{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:10:52Z","timestamp":1761610252351,"version":"build-2065373602"},"reference-count":35,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3954,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,10]]},"DOI":"10.1016\/s1571-0661(04)80590-5","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"89-107","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"title":["Language Design Issues for Agents based on Linear Logic (Extended Abstract)"],"prefix":"10.1016","volume":"70","author":[{"given":"James","family":"Harland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Winikoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB1","unstructured":"JACK Intelligent Agents User Guide, Agent Oriented Software (AOS), Carlton, 2000."},{"issue":"1","key":"10.1016\/S1571-0661(04)80590-5_NEWBIB2","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1093\/jigpal\/2.1.77","article-title":"Applications of Linear Logic to Computation: An Overview","volume":"2","author":"Alexiev","year":"1994","journal-title":"Bulletin of the IGPL"},{"issue":"1","key":"10.1016\/S1571-0661(04)80590-5_NEWBIB3","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/S0168-0072(00)00032-4","article-title":"Focussing and Proof Construction","volume":"107","author":"Andreoli","year":"2001","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB4","unstructured":"J.-M. Andreoli and R. Pareschi, Linear Objects: Logical Processes with Built-in Inheritance, Proceedings of the International Conference on Logic Programming 496-510, Jerusalem, June, 1990."},{"year":"1987","series-title":"Intentions, Plans, and Practical Reason","author":"Michael Bratman","key":"10.1016\/S1571-0661(04)80590-5_NEWBIB5"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB6","doi-asserted-by":"crossref","unstructured":"The dMARS V1.6.11 System Overview, Technical Report, Australian Artificial Intelligence Institute (AAII), 1996.","DOI":"10.1109\/MEX.1996.546590"},{"issue":"4","key":"10.1016\/S1571-0661(04)80590-5_NEWBIB7","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The Semantics of Predicate Logic as a Programming Language","volume":"23","author":"van Emden","year":"1976","journal-title":"Journal of the Association for Computing Machinery"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Stan Franklin and Art Graesser, Is it an Agent or just a Program?: A Taxonomy for Intelligent Agents, Proceedings of the Third International Workshop on Agent Theories, Architectures and Languages, Springer, 1996.","DOI":"10.1007\/BFb0013570"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB9","doi-asserted-by":"crossref","unstructured":"M. Georgeff and A. Rao. Rational Software Agents: From Theory to Practice. In Agent Technology: Foundations, Applications, and Markets, 139-160, Nick Jennings and Michael Wooldridge (eds.) Springer, 1998.","DOI":"10.1007\/978-3-662-03678-5_8"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear Logic","volume":"50","author":"Girard","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB11","unstructured":"J-Y. Girard, Y. L and L. Regnier, Advances in Linear Logic, London Mathematical Society Lecture Note Series 222, Cambridge University Press, 1995."},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB12","doi-asserted-by":"crossref","unstructured":"J. Harland, D. Pym and M. Winikoff, Programming in Lygon: An Overview, Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology 391-405, Munich, July, 1996.","DOI":"10.1007\/BFb0014329"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB13","unstructured":"J. Harland, D. Pym and M. Winikoff, Forward and Backward Chaining in Linear Logic, Proceedings of the CADE-17 Workshop on Proof-Search in Type-Theoretic Systems, Pittsburgh, June, 200."},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB14","unstructured":"J. Harland and M. Winikoff, Agents via Mixed-mode Computation in Linear Logic: A Proposal, Proceedings of the ICLP'01 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01), Paphos, December, 2001."},{"issue":"2","key":"10.1016\/S1571-0661(04)80590-5_NEWBIB15","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1006\/inco.1994.1036","article-title":"Logic Programming in a Fragment of Intuitionistic Linear Logic","volume":"110","author":"Hodas","year":"1994","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB16","unstructured":"J. Hodas, K. Watkins, N. Tamura and K-S. Kang, Efficient Implementation of a Linear Logic Programming Language, Proceedings of the Joint International Conference and Symposium on Logic Programming 145\u2013159, June, Manchester, 1998."},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB17","doi-asserted-by":"crossref","unstructured":"Marcus Huber, JAM: A BDI-theoretic Mobile Agent Architecture, Proceedings of the Third International Conference on Autonomous Agents (Agents'99) 236\u2013243, Seattle, May, 1999.","DOI":"10.1145\/301136.301202"},{"issue":"4","key":"10.1016\/S1571-0661(04)80590-5_NEWBIB18","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/367211.367250","article-title":"An agent-based approach for building complex software systems","volume":"44","author":"Jennings","year":"2001","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB19","doi-asserted-by":"crossref","unstructured":"Nick Jennings and Michael Wooldridge, Applications of Intelligent Agents, in Agent Technology: Foundations, Applications, and Markets 3-28, Nick Jennings and Michael Wooldridge (eds.) Springer, 1998.","DOI":"10.1007\/978-3-662-03678-5_1"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB20","unstructured":"R. Kowalski, Predicate Logic as a Programming Language, Information Processing 74, North-Holland, Amsterdam, 1974."},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB21","doi-asserted-by":"crossref","unstructured":"R. Kowalski and F. Sadri, From Logic Programming towards Multi-agent Systems, Annals of Mathematics and Artificial Intelligence, 1999.","DOI":"10.1023\/A:1018934223383"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB22","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/0304-3975(93)90007-G","article-title":"Generating Plans in Linear Logic I: Actions as proofs","volume":"113","author":"Masseron","year":"1993","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB23","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/0304-3975(93)90008-H","article-title":"Generating Plans in Linear Logic II: A geometry of conjunctive actions","volume":"113","author":"Masseron","year":"1993","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB24","doi-asserted-by":"crossref","unstructured":"D.A. Miller, A Multiple-Conclusioned Meta-Logic, Proceedings of the Symposium on Logic in Computer Science 272\u2013281, Paris, June, 1994.","DOI":"10.1109\/LICS.1994.316062"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB25","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","article-title":"Uniform Proofs as a Foundation for Logic Programming","volume":"51","author":"Miller","year":"1991","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB26","unstructured":"G. Plotkin. Structural Operational Semantics (lecture notes). Technical Report DAIMI FN-19, Aarhus University, 1981 (reprinted 1991)."},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB27","doi-asserted-by":"crossref","unstructured":"D. Pym and J. Harland, A Uniform Proof-Theoretic Investigation of Linear Logic Programming, Journal of Logic and Computation 4:2, April, 1994.","DOI":"10.1093\/logcom\/4.2.175"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB28","unstructured":"Anand Rao and Michael Georgeff, Modelling Rational Agents within a BDI-Architecture, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning 473-484, J. Allen, R. Fikes and E. Sandewall (eds.), Cambridge (USA), 1991."},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB29","unstructured":"Anand Rao and Michael Georgeff, An Abstract architecture for Rational Agents, Proceedings of the third International Conference on Principles of Knowledge Representation and Reasoning 439-449, C. Rich, W. Swartout and B. Nebel (eds.), Boston, 1992."},{"issue":"3","key":"10.1016\/S1571-0661(04)80590-5_NEWBIB30","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1093\/logcom\/8.3.293","article-title":"Decision Procedures for BDI Logics","volume":"8","author":"Rao","year":"1998","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB31","doi-asserted-by":"crossref","unstructured":"A. Scedrov, A Brief Guide to Linear Logic, in Current Trends in Theoretical Computer Science, G. Rozenberg and A. Salolmaa (eds.), World Scientific, 1993.","DOI":"10.1142\/9789812794499_0027"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB32","doi-asserted-by":"crossref","unstructured":"Stein, L. A., Challenging the Computational Metaphor: Implications for How We Think, Cybernetics and Systems, 30(6), September 1999. Available fromhttp:\/\/www.ai.mit.edu\/people\/las\/papers\/.","DOI":"10.1080\/019697299125073"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB33","doi-asserted-by":"crossref","unstructured":"M. Winikoff, L. Padgham, and J. Harland. Simplifying the development of intelligent agents. In Stumptner, M., Corbett, D., and Brooks, M., editors, AI2001: Advances in Artificial Intelligence. 14th Australian Joint Conference on Artificial Intelligence, pages 555\u2013568. Springer, LNAI 2256.","DOI":"10.1007\/3-540-45656-2_48"},{"key":"10.1016\/S1571-0661(04)80590-5_NEWBIB34","unstructured":"M. Winikoff, L. Padgham, J. Harland, and J. Thangarajah, \u201cDeclarative & procedural goals in intelligent agent systems\u201d, in Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France, April, 2002."},{"year":"2000","series-title":"Reasoning about Rational Agents","author":"Wooldridge","key":"10.1016\/S1571-0661(04)80590-5_NEWBIB35"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805905?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805905?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:05:58Z","timestamp":1761609958000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104805905"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":35,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["S1571066104805905"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80590-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Language Design Issues for Agents based on Linear Logic (Extended Abstract)","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)80590-5","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}