{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T14:52:51Z","timestamp":1673621571956},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,1,22]],"date-time":"2009-01-22T00:00:00Z","timestamp":1232582400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1007\/s10849-008-9079-0","type":"journal-article","created":{"date-parts":[[2009,1,21]],"date-time":"2009-01-21T21:24:39Z","timestamp":1232573079000},"page":"251-289","source":"Crossref","is-referenced-by-count":9,"title":["Plans, Actions and Dialogues Using Linear Logic"],"prefix":"10.1007","volume":"18","author":[{"given":"Lucas","family":"Dixon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Smaill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tracy","family":"Tsang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,1,22]]},"reference":[{"issue":"1\u20132","key":"9079_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S. Abramsky","year":"1993","unstructured":"Abramsky S. (1993) Computational interpretations of Linear Logic. Theoretical Computer Science 111(1\u20132): 3\u201357","journal-title":"Theoretical Computer Science"},{"key":"9079_CR2","unstructured":"Alice. (2007). The Alice manual, 1.4 edn. Programming System Lab, Saarland University. http:\/\/www.ps.uni-sb.de\/alice\/manual ."},{"key":"9079_CR3","volume-title":"How to do things with words","author":"J.A. Austin","year":"1962","unstructured":"Austin J.A. (1962) How to do things with words. Oxford University Press, London"},{"key":"9079_CR4","unstructured":"Barber, A. (1997). Linear type theories, semantics and action calculi. Ph.D. thesis, University of Edinburgh."},{"key":"9079_CR5","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., & Lassila, O. (2001). The semantic web. Scientific American.","DOI":"10.1038\/scientificamerican0501-34"},{"issue":"1\u20132","key":"9079_CR6","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0304-3975(99)00173-5","volume":"232","author":"I. Cervesato","year":"2000","unstructured":"Cervesato I., Hodas J.S., Pfenning F. (2000) Efficient resource management for Linear Logic proof search. Theoretical Computer Science 232(1\u20132): 133\u2013163","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"9079_CR7","first-page":"355","volume":"24","author":"J. Chu-Carroll","year":"1998","unstructured":"Chu-Carroll J., Carberry S. (1998) Collaborative response generation in planning dialogues. Computational Linguistics 24(3): 355\u2013400","journal-title":"Computational Linguistics"},{"issue":"6","key":"9079_CR8","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1006\/ijhc.2000.0427","volume":"53","author":"J. Chu-Carroll","year":"2000","unstructured":"Chu-Carroll J., Carberry S. (2000) Conflict resolution in collaborative planning dialogs. International Journal of Human-Computer Studies 53(6): 969\u20131015","journal-title":"International Journal of Human-Computer Studies"},{"key":"9079_CR9","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1207\/s15516709cog0303_1","volume":"3","author":"P.R. Cohen","year":"1979","unstructured":"Cohen P.R., Perrault C.R. (1979) Elements of a plan-based theory of speech acts. Cognitive Science 3: 177\u2013212","journal-title":"Cognitive Science"},{"key":"9079_CR10","unstructured":"Cresswell, S. (2001). Deductive synthesis of recursive plans in Linear Logic. Ph.D. thesis, University of Edinburgh."},{"key":"9079_CR11","unstructured":"Cresswell, S., Smaill, A., & Richardson, J. D. C. (1999). Deductive synthesis of recursive plans in Linear Logic. In Proceedings of the 5th European Conference on Planning, Durham, UK, LNAI, Vol. 1809."},{"issue":"1","key":"9079_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.websem.2003.09.002","volume":"1","author":"S. Decker","year":"2003","unstructured":"Decker S., Goble C.A., Hendler J.A., Ishida T., Studer R. (2003) A new journal for a new era of the World Wide Web. Journal of Web Semantics 1(1): 1\u20135","journal-title":"Journal of Web Semantics"},{"key":"9079_CR13","unstructured":"Dixon, L., Bundy, A., & Smaill, A. (2006). Planning as deductive synthesis in intuitionistic Linear Logic. Technical Report EDI-INF-RR-0786, School of Informatics, University of Edinburgh."},{"issue":"2","key":"9079_CR14","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/s10849-006-9032-z","volume":"16","author":"R. Fern\u00e1ndez","year":"2007","unstructured":"Fern\u00e1ndez R., Endriss U. (2007) Abstract models for dialogue protocols. Journal of Logic, Language and Information 16(2): 121\u2013140","journal-title":"Journal of Logic, Language and Information"},{"key":"9079_CR15","doi-asserted-by":"crossref","unstructured":"Foster, M. E., By, T., Rickert, M., & Knoll, A. (2006). Human-robot dialogue for joint construction tasks. In ICMI \u201906: Proceedings of the 8th International Conference on Multimodal interfaces, Banff, Alberta, pp. 68\u201371.","DOI":"10.1145\/1180995.1181009"},{"key":"9079_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard J.-Y. (1987) Linear Logic. Theoretical Computer Science 50: 1\u2013102","journal-title":"Theoretical Computer Science"},{"key":"9079_CR17","doi-asserted-by":"crossref","unstructured":"Girard, J.-Y. (1995). Linear Logic: Its syntax and semantics. In J.-Y. Girard, Y. Lafont & L. Regnier (Eds.), Advances in Linear Logic, No. 222 in London Mathematical Society Lecture Notes Series. Cambridge: Cambridge University Press.","DOI":"10.1017\/CBO9780511629150"},{"issue":"4","key":"9079_CR18","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1017\/S0140525X00071235","volume":"14","author":"P.M. Greenfield","year":"1991","unstructured":"Greenfield P.M. (1991) Language, tools, and brain: The ontogeny and phylogeny of hierarchically organized sequential behavior. Behavioral and Brain Sciences 14(4): 531\u2013551","journal-title":"Behavioral and Brain Sciences"},{"issue":"1","key":"9079_CR19","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/601775.601778","volume":"4","author":"J. Harland","year":"2003","unstructured":"Harland J., Pym D.J. (2003) Resource-distribution via Boolean constraints. ACM Transactions on Computatonal Logic 4(1): 56\u201390","journal-title":"ACM Transactions on Computatonal Logic"},{"issue":"1\u20133","key":"9079_CR20","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1023\/B:AMAI.0000034526.31830.45","volume":"42","author":"J. Harland","year":"2004","unstructured":"Harland J., Winikoff M. (2004) Agents via mixed-mode computation in Linear Logic. Annals of Mathematics and Artificial Intelligence 42(1\u20133): 167\u2013196","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9079_CR21","doi-asserted-by":"crossref","unstructured":"Hodas, J. S., & Miller, D. (1991). Logic programming in a fragment of intuitionistic Linear Logic. In Proceedings 6th IEEE Annual Symposium on Logic in Computer Science, Amsterdam, The Netherlands, 15\u201318 July 1991. New York: IEEE Computer Society Press, pp. 32\u201342.","DOI":"10.1109\/LICS.1991.151628"},{"key":"9079_CR22","unstructured":"Horrocks, I., & Sattler, U. (2005). A tableaux decision procedure for SHOIQ. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 448\u2013453."},{"key":"9079_CR23","doi-asserted-by":"crossref","unstructured":"Kopylov, A. P. (1995). Decidability of linear affine logic. In D. Kozen (Ed.), Tenth Annual IEEE Symposium on Logic in Computer Science, San Diego, California, pp. 496\u2013504.","DOI":"10.1109\/LICS.1995.523283"},{"key":"9079_CR24","unstructured":"Kraft, D., Ba\u015feski, E., Popovi\u0107, M., Batog, A., Kj\u00e6r-Nielsen, A., Kr\u00fcger, N., et\u00a0al. (2008). Exploration and planning in a three-level cognitive architecture. In Proceedings of the International Conference on Cognitive Systems (CogSys 2008)."},{"key":"9079_CR25","doi-asserted-by":"crossref","unstructured":"K\u00fcngas, P., & Matskin, M. (2004). Symbolic negotiation with Linear Logic. In J. Dix & J. A. Leite (Eds.), CLIMA IV, Lecture Notes in Computer Science, Vol. 3259, pp. 71\u201388.","DOI":"10.1007\/978-3-540-30200-1_5"},{"key":"9079_CR26","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1017\/S1351324900002539","volume":"6","author":"D. Larsson","year":"2000","unstructured":"Larsson D., Traum D.R. (2000) Information state and dialogue management in the TRINDI dialogue move engine toolkit. Natural Language Engineering 6: 323\u2013340","journal-title":"Natural Language Engineering"},{"key":"9079_CR27","unstructured":"L\u00f3pez, P., & Polakow, J. (2004). Implementing efficient resource management for Linear Logic Programming. In F. Baader & A. Voronkov (Eds.), LPAR, Lecture Notes in Computer Science, Vol. 3452, pp. 528\u2013543."},{"key":"9079_CR28","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/0304-3975(93)90008-H","volume":"113","author":"M. Masseron","year":"1993","unstructured":"Masseron M. (1993) Generating plans in linear logic II: A geometry of conjunctive actions. Theoretical Computer Science 113: 371\u2013375","journal-title":"Theoretical Computer Science"},{"key":"9079_CR29","volume-title":"Machine Intelligence (Vol. 4)","author":"J. McCarthy","year":"1969","unstructured":"McCarthy J., Hayes P. (1969) Some philsophical problems from the standpoint of artificial intelligence. In: Meltzer B., Michie D.(eds) Machine Intelligence (Vol. 4). Edinburgh University Press, Edinburgh"},{"key":"9079_CR30","doi-asserted-by":"crossref","unstructured":"McGinnis, J., Robertson, D., & Walton, C. (2005). Protocol synthesis with dialogue structure theory. In AAMAS \u201905: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, New York, NY, USA, pp. 1329\u20131330.","DOI":"10.1145\/1082473.1082757"},{"issue":"3","key":"9079_CR31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jswis.2007070101","volume":"3","author":"F. McNeill","year":"2007","unstructured":"McNeill F., Bundy A. (2007) Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution. International Journal on Semantic Web and information systems 3(3): 1\u201335 (Special issue on ontology matching)","journal-title":"International Journal on Semantic Web and information systems"},{"key":"9079_CR32","unstructured":"Osman, N., & Robertson, D. (2007). Dynamic verification of trust in distributed open systems. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI\u201907), pp. 1440\u20131445."},{"key":"9079_CR33","unstructured":"Petrick, R. P. A., & Bacchus, F. (2002). A knowledge-based approach to planning with incomplete information and sensing. In M. Ghallab, J. Hertzberg, & P. Traverso (Eds.), Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS-2002), Menlo Park, CA, pp. 212\u2013221."},{"key":"9079_CR34","unstructured":"Petrick, R. P. A., & Bacchus, F. (2004). Extending the knowledge-based approach to planning with incomplete information and sensing. In S. Zilberstein, J. Koehler, & S. Koenig (Eds.), Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS-04), Menlo Park, CA, pp. 2\u201311."},{"key":"9079_CR35","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1515\/ling.1979.17.1-2.107","volume":"17","author":"R. Power","year":"1979","unstructured":"Power R. (1979) The organization of purposeful dialogs. Linguistics 17: 105\u2013152","journal-title":"Linguistics"},{"key":"9079_CR36","unstructured":"Rao, A. S., & Georgeff, M. P. (1995). BDI-agents: From theory to practice. In Proceedings of the First International Conference on Multiagent Systems, San Francisco."},{"key":"9079_CR37","unstructured":"Robertson, D. (2004). A lightweight coordination calculus for agent systems. In J. A. Leite, A. Omicini, P. Torroni & P. Yolum (Eds.), DALT, Lecture Notes in Computer Science, Vol. 3476, pp. 183\u2013197."},{"key":"9079_CR38","volume-title":"Artificial intelligence: A modern approach (2nd ed)","author":"S. Russell","year":"2002","unstructured":"Russell S., Norvig P. (2002) Artificial intelligence: A modern approach (2nd ed). Prentice-Hall International, London"},{"issue":"4","key":"9079_CR39","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1515\/semi.1973.8.4.289","volume":"8","author":"E.A. Schegloff","year":"1973","unstructured":"Schegloff E.A., Sacks H. (1973) Opening up closings. Semiotica 8(4): 289\u2013327","journal-title":"Semiotica"},{"key":"9079_CR40","doi-asserted-by":"crossref","first-page":"895","DOI":"10.1016\/B978-044481714-3\/50021-7","volume-title":"Handbook of logic and language","author":"M. Steedman","year":"1997","unstructured":"Steedman M. (1997) Temporality. In: Benthem J.F.A.K., ter Meulen G.B.A.(eds) Handbook of logic and language. Elsevier, NorthHolland, pp 895\u2013935"},{"issue":"5\u20136","key":"9079_CR41","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1023\/A:1020820000972","volume":"25","author":"M. Steedman","year":"2002","unstructured":"Steedman M. (2002) Plans, affordances, and combinatory grammar. Linguistics and Philosophy 25(5\u20136): 723\u2013753","journal-title":"Linguistics and Philosophy"},{"key":"9079_CR42","unstructured":"Steedman, M., & Petrick, R. (2007). Planning dialog actions. In Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue (SIGdial 2007), pp. 265\u2013272."},{"issue":"1\u20132","key":"9079_CR43","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/j.tcs.2006.08.042","volume":"367","author":"G. Steel","year":"2006","unstructured":"Steel G. (2006) Formal analysis of PIN block attacks. Theoretical Computer Science 367(1\u20132): 257\u2013270 (Special issue on automated reasoning for security protocol analysis)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"9079_CR44","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/309844.309895","volume":"28","author":"K. Sycara","year":"1999","unstructured":"Sycara K., Klusch M., Widoff S., Lu J. (1999) Dynamic service matchmaking among agents in open information environments. SIGMOD Record 28(1): 47\u201353","journal-title":"SIGMOD Record"},{"issue":"4","key":"9079_CR45","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/BF03037289","volume":"22","author":"H. Takeda","year":"2004","unstructured":"Takeda H. (2004) Semantic web: A road to the knowledge infrastructure on the internet. New Generation Computing 22(4): 395\u2013413","journal-title":"New Generation Computing"},{"key":"9079_CR46","doi-asserted-by":"crossref","unstructured":"Traum, D. R., & Allen, J. F. (1994). Discourse obligations in dialogue processing. In J. Pustejovsky (Ed.), Proceedings of the Thirty-Second Meeting of the Association for Computational Linguistics, San Francisco, pp. 1\u20138.","DOI":"10.3115\/981732.981733"},{"key":"9079_CR47","doi-asserted-by":"crossref","unstructured":"Willmott, S., Pena, F. O. F., Merida-Campos, C., Constantinescu, I., Dale, J., & Cabanillas, D. (2005). Adapting agent communication languages for semantic web service inter-communication. In WI \u201905: Proceedings of the 2005 IEEE\/WIC\/ACM International Conference on Web Intelligence, Washington, DC, USA, pp. 405\u2013408.","DOI":"10.1109\/WI.2005.20"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-008-9079-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-008-9079-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-008-9079-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:31:02Z","timestamp":1559269862000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-008-9079-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,22]]},"references-count":47,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,4]]}},"alternative-id":["9079"],"URL":"https:\/\/doi.org\/10.1007\/s10849-008-9079-0","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1,22]]}}}