{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:01:23Z","timestamp":1743015683908,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642378898"},{"type":"electronic","value":"9783642378904"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37890-4_4","type":"book-chapter","created":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T01:53:10Z","timestamp":1365990790000},"page":"57-75","source":"Crossref","is-referenced-by-count":0,"title":["Agent Deliberation via Forward and Backward Chaining in Linear Logic"],"prefix":"10.1007","author":[{"given":"Luke","family":"Trodd","sequence":"first","affiliation":[]},{"given":"James","family":"Harland","sequence":"additional","affiliation":[]},{"given":"John","family":"Thangarajah","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Bosser, A.-G., Cavazza, M., Champagnat, R.: Linear logic for non-linear storytelling. In: Proceedings of the European Conference on Artificial Intelligence, Lisbon (August 2010)"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10817-007-9091-0","volume":"40","author":"K. Chaudhuri","year":"2008","unstructured":"Chaudhuri, K., Pfenning, F., Price, G.: A logical characterization of forward and backward chaining in the inverse method. Journal of Automated Reasoning\u00a040, 133\u2013177 (2008)","journal-title":"Journal of Automated Reasoning"},{"key":"4_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45628-7_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M. Denecker","year":"2002","unstructured":"Denecker, M., Kakas, A.C.: Abduction in Logic Programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02407, pp. 402\u2013436. Springer, Heidelberg (2002)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Duff, S., Harland, J., Thangarajah, J.: On proactivity and maintenance goals. In: Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems, Hakodate, pp. 1033\u20131040 (2006)","DOI":"10.1145\/1160633.1160817"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoretical Computer Science\u00a050(1), 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/BFb0014329","volume-title":"Algebraic Methodology and Software Technology","author":"J. Harland","year":"1996","unstructured":"Harland, J., Pym, D., Winikoff, M.: Programming in Lygon: An Overview. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101, pp. 391\u2013405. Springer, Heidelberg (1996)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Harland, J., Pym, D., Winikoff, M.: Forward and backward chaining in linear logic. In: CADE-17 Workshop on Proof-Search in Type-Theoretic Systems, Pittsburgh (June 2000)","DOI":"10.1016\/S1571-0661(05)01136-9"},{"issue":"1","key":"4_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1023\/B:AMAI.0000034526.31830.45","volume":"42","author":"J. Harland","year":"2004","unstructured":"Harland, J., Winikoff, M.: Agents via mixed-mode computation in linear logic. Annals of Mathematics and Artificial Intelligence\u00a042(1), 167\u2013196 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"2","key":"4_CR9","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1006\/inco.1994.1036","volume":"110","author":"J. Hodas","year":"1994","unstructured":"Hodas, J., Miller, D.: Logic programming in a fragment of intuitionistic linear logic. Information and Computation\u00a0110(2), 327\u2013365 (1994)","journal-title":"Information and Computation"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BFb0031739","volume-title":"Logic in Databases","author":"R. Kowalski","year":"1996","unstructured":"Kowalski, R., Sadri, F.: Towards a Unified Agent Architecture that Combines Rationality with Reactivity. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol.\u00a01154, pp. 135\u2013149. Springer, Heidelberg (1996)"},{"issue":"46","key":"4_CR11","doi-asserted-by":"publisher","first-page":"4747","DOI":"10.1016\/j.tcs.2009.07.041","volume":"410","author":"C. Liang","year":"2009","unstructured":"Liang, C., Miller, D.: Focusing and polarization in linear, intuitionistic, and classical logic. Theoretical Computer Science\u00a0410(46), 4747\u20134768 (2009)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/0304-3975(93)90007-G","volume":"113","author":"M. Masseron","year":"1993","unstructured":"Masseron, M., Tollu, C., Vauzeilles, J.: Generating plans in linear logic i: Actions as proofs. Theoretical Computer Science\u00a0113(2), 349\u2013370 (1993)","journal-title":"Theoretical Computer Science"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Polakow, J.: Linear logic programming with an ordered context. In: Principles and Practice of Declarative Programming, Montreal (September 2000)","DOI":"10.1145\/351268.351277"},{"key":"4_CR14","unstructured":"Porello, D., Endriss, U.: Modelling multilateral negotiation in linear logic. In: Proceedings of the European Conference on Artificial Intelligence, Lisbon, p. 939 (August 2010)"},{"key":"4_CR15","unstructured":"Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pp. 439\u2013449 (1992)"},{"key":"4_CR16","unstructured":"Shanahan, M.: Prediction is deduction but explanation is abduction. In: Proceedings of the International Joint Conference on Artificial Intelligence, pp. 1055\u20131060 (1989)"},{"key":"4_CR17","unstructured":"Winikoff, M.: Logic Programming With Linear Logic. PhD Thesis, University of Melbourne (1997)"},{"key":"4_CR18","unstructured":"Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and procedural goals in intelligent agent systems. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, Toulouse (April 2002)"},{"key":"4_CR19","volume-title":"Intelligent Agents","author":"M. Woolridge","year":"1999","unstructured":"Woolridge, M.: Intelligent Agents. MIT Press, Cambridge (1999)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies X"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37890-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,16]],"date-time":"2023-02-16T19:25:13Z","timestamp":1676575513000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-37890-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642378898","9783642378904"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37890-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}