{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:15:41Z","timestamp":1725531341515},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642006746"},{"type":"electronic","value":"9783642006753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00675-3_4","type":"book-chapter","created":{"date-parts":[[2009,4,20]],"date-time":"2009-04-20T07:02:24Z","timestamp":1240210944000},"page":"54-68","source":"Crossref","is-referenced-by-count":0,"title":["Encoding of Planning Problems and Their Optimizations in Linear Logic"],"prefix":"10.1007","author":[{"given":"Luk\u00e1\u0161","family":"Chrpa","sequence":"first","affiliation":[]},{"given":"Pavel","family":"Surynek","sequence":"additional","affiliation":[]},{"given":"Ji\u0159\u00ed","family":"Vysko\u010dil","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","first-page":"5","volume":"22","author":"F. Bacchus","year":"1998","unstructured":"Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence\u00a022, 5\u201327 (1998)","journal-title":"Artificial Intelligence"},{"key":"4_CR2","unstructured":"Banbara, M.: Design and Implementation of Linear Logic Programming Languages. Ph.D. Dissertation, The Graduate School of Science and Technology, Kobe University (2002)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Bibel, W., Cerro, L.F., Fronhofer, B., Herzig, A.: Plan Generation by Linear Proofs: On Semantics. In: Proceedings of GWAI, pp. 49\u201362 (1989)","DOI":"10.1007\/978-3-642-75100-4_7"},{"key":"4_CR4","unstructured":"Chrpa, L.: Linear Logic: Foundations, Applications and Implementations. In: Proceedings of workshop CICLOPS, pp. 110\u2013124 (2006)"},{"key":"4_CR5","unstructured":"Chrpa, L.: Linear logic in planning. In: Proceedings of Doctoral Consorcium ICAPS, pp. 26\u201329 (2006)"},{"key":"4_CR6","unstructured":"Chrpa, L., Bartak, R.: Towards getting domain knowledge: Plans analysis through investigation of actions dependencies. In: Proceedings of FLAIRS, pp. 531\u2013536"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/10720246_20","volume-title":"Recent Advances in AI Planning","author":"S. Cresswell","year":"2000","unstructured":"Cresswell, S., Smaill, A., Richardson, J.: Deductive Synthesis of Recursive Plans in Linear Logic. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS, vol.\u00a01809, pp. 252\u2013264. Springer, Heidelberg (2000)"},{"issue":"3","key":"4_CR8","first-page":"95","volume":"22","author":"P. Doherty","year":"2001","unstructured":"Doherty, P., Kvanstrom, J.: TALplanner: A temporal logic based planner. AI Magazine\u00a022(3), 95\u2013102 (2001)","journal-title":"AI Magazine"},{"key":"4_CR9","volume-title":"Automated planning, theory and practice","author":"M. Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated planning, theory and practice. Morgan Kaufmann Publishers, San Francisco (2004)"},{"key":"4_CR10","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\u2013102 (1987)","journal-title":"Theoretical computer science"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Girard, J.-Y.: Linear Logic: Its Syntax and Semantics. Technical report, Cambridge University Press (1995)","DOI":"10.1017\/CBO9780511629150"},{"key":"4_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511550850","volume-title":"Linear Logic in Computer Science","author":"T. Ehrhard","year":"2004","unstructured":"Ehrhard, T., Girard, J.Y., Ruet, P., Scott, P.: Linear Logic in Computer Science. Cambridge University Press, Cambridge (2004)"},{"key":"4_CR13","unstructured":"Hickmott, S., Rintanen, J., Thiebaux, S., White, L.: Planning via Petri Net Unfolding. In: Proceedings of IJCAI, pp. 1904\u20131911 (2007)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Hodas, J.: Logic Programming in Intuitionistic Linear Logic: Theory, Design, and Implementation. Ph.D. Dissertation, University of Pennsylvania, Department of Computer and Information Science (1994)","DOI":"10.1006\/inco.1994.1036"},{"key":"4_CR15","unstructured":"Jacopin, E.: Classical AI Planning as Theorem Proving: The Case of a Fragment of Linear Logic. In: Proccedings of AAAI, pp. 62\u201366 (1993)"},{"key":"4_CR16","unstructured":"Kautz, H.A., Selman, B.: Planning as Satisfiability. In: Proccedings of ECAI, pp. 359\u2013363 (1992)"},{"key":"4_CR17","unstructured":"Kautz, H.A., Selman, B., Hoffmann, J.: SatPlan: Planning as Satisfiability. In: Proccedings of 5th IPC (2006)"},{"issue":"1","key":"4_CR18","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0004-3702(85)90012-8","volume":"26","author":"R. Korf","year":"1985","unstructured":"Korf, R.: Macro-operators: A weak method for learning. Artificial Intelligence\u00a026(1), 35\u201377 (1985)","journal-title":"Artificial Intelligence"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-28645-5_6","volume-title":"Advances in Artificial Intelligence \u2013 SBIA 2004","author":"P. K\u00fcngas","year":"2004","unstructured":"K\u00fcngas, P.: Analysing AI planning problems in linear logic \u2013 A partial deduction approach. In: Bazzan, A.L.C., Labidi, S. (eds.) SBIA 2004. LNCS, vol.\u00a03171, pp. 52\u201361. Springer, Heidelberg (2004)"},{"key":"4_CR20","unstructured":"K\u00fcngas, P.: Linear logic for domain-independent ai planning. In: Proceedings of Doctoral Consorcium ICAPS (2003)"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Lincoln, P.: Linear logic. In: Proceedings of SIGACT (1992)","DOI":"10.1145\/130956.130958"},{"key":"4_CR22","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-ii. Theoretical Computer Science\u00a0113, 349\u2013375 (1993)","journal-title":"Theoretical Computer Science"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"Category Theory and Computer Science","author":"N.M. Oliet","year":"1989","unstructured":"Oliet, N.M., Meseguer, J.: From petri nets to linear logic. In: Dybjer, P., Pitts, A.M., Pitt, D.H., Poign\u00e9, A., Rydeheard, D.E. (eds.) Category Theory and Computer Science. LNCS, vol.\u00a0389. Springer, Heidelberg (1989)"},{"key":"4_CR24","unstructured":"Tamura, N.: User\u2019s guide of a linear logic theorem prover (llprover) Technical report, Kobe University, Japan (1998)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Tanabe, M.: Timed petri nets and temporal linear logic. In: Proceedings of Application and Theory of Petri Nets, pp. 156\u2013174 (1997)","DOI":"10.1007\/3-540-63139-9_35"},{"issue":"4-5","key":"4_CR26","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1017\/S1471068405002358","volume":"5","author":"M. Thielsher","year":"2005","unstructured":"Thielsher, M.: FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Programming\u00a05(4-5), 533\u2013565 (2005)","journal-title":"Theory and Practice of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00675-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:43:20Z","timestamp":1558266200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00675-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642006746","9783642006753"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00675-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}