{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:34:03Z","timestamp":1762101243863},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,11,26]],"date-time":"2011-11-26T00:00:00Z","timestamp":1322265600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1007\/s13218-011-0155-2","type":"journal-article","created":{"date-parts":[[2011,11,25]],"date-time":"2011-11-25T10:31:19Z","timestamp":1322217079000},"page":"61-67","source":"Crossref","is-referenced-by-count":8,"title":["Platas\u2014Integrating Planning and the Action Language Golog"],"prefix":"10.1007","volume":"26","author":[{"given":"Jens","family":"Cla\u00dfen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"R\u00f6ger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Lakemeyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Nebel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,26]]},"reference":[{"key":"155_CR1","first-page":"27","volume-title":"Proc Commonsense","author":"J Cla\u00dfen","year":"2009","unstructured":"Cla\u00dfen J, Lakemeyer G (2009) Tractable first-order Golog with disjunctive knowledge bases. In: Proc Commonsense. UTSePress, Broadway, pp 27\u201333"},{"key":"155_CR2","first-page":"1846","volume-title":"Proc IJCAI 2007","author":"J Cla\u00dfen","year":"2007","unstructured":"Cla\u00dfen J, Eyerich P, Lakemeyer G, Nebel B (2007) Towards an integration of Golog and planning. In: Proc IJCAI 2007. AAAI Press, Menlo Park, pp 1846\u20131851"},{"key":"155_CR3","first-page":"956","volume-title":"Proc AAAI 2007","author":"J Cla\u00dfen","year":"2007","unstructured":"Cla\u00dfen J, Hu Y, Lakemeyer G (2007) A situation-calculus semantics for an expressive fragment of PDDL. In: Proc AAAI 2007. AAAI Press, Menlo Park, pp 956\u2013961"},{"key":"155_CR4","first-page":"10","volume-title":"Proc NMR 2008","author":"J Cla\u00dfen","year":"2008","unstructured":"Cla\u00dfen J, Engelmann V, Lakemeyer G, R\u00f6ger G (2008) Integrating Golog and planning: An empirical evaluation. In: Proc NMR 2008, pp 10\u201318"},{"issue":"1\u20132","key":"155_CR5","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G Giacomo De","year":"2000","unstructured":"De Giacomo G, Lesp\u00e9rance Y, Levesque HJ (2000) ConGolog, a concurrent programming language based on the situation calculus. Artif Intell 121(1\u20132):109\u2013169","journal-title":"Artif Intell"},{"issue":"4","key":"155_CR6","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1145\/383779.383782","volume":"2","author":"G Giacomo De","year":"2001","unstructured":"De Giacomo G, Levesque HJ, Sardi\u00f1a S (2001) Incremental execution of guarded theories. ACM Trans Comput Log 2(4):495\u2013525","journal-title":"ACM Trans Comput Log"},{"key":"155_CR7","first-page":"93","volume-title":"Proc PCAR 2006","author":"P Eyerich","year":"2006","unstructured":"Eyerich P, Nebel B, Lakemeyer G, Cla\u00dfen J (2006) Golog and PDDL: What is the relative expressiveness. In: Proc PCAR 2006. University of Western Australia Press, Nedlands, pp 93\u2013104"},{"issue":"3\/4","key":"155_CR8","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R Fikes","year":"1971","unstructured":"Fikes R, Nilsson NJ (1971) STRIPS: A new approach to the application of theorem proving to problem solving. Artif Intell 2(3\/4):189\u2013208","journal-title":"Artif Intell"},{"key":"155_CR9","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M Fox","year":"2003","unstructured":"Fox M, Long D (2003) PDDL2.1: An extension to PDDL for expressing temporal planning domains. J Artif Intell Res 20:61\u2013124","journal-title":"J Artif Intell Res"},{"key":"155_CR10","unstructured":"Gerevini A, Long D (2005) Plan constraints and preferences in PDDL3. Tech Rep RT 2005-08-47, Dipartimento di Elettronica per l\u2019Automazione, Universit\u00e0 degli Studi di Brescia"},{"key":"155_CR11","unstructured":"Han J (2009) A declarative semantics of a subset of PDDL with constraints and preferences. Diploma thesis, Department of Computer Science, RWTH Aachen University, Aachen, Germany"},{"key":"155_CR12","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/s10462-007-9049-y","volume":"26","author":"M Helmert","year":"2006","unstructured":"Helmert M (2006) The Fast Downward planning system. J Artif Intell Res 26:191\u2013246","journal-title":"J Artif Intell Res"},{"key":"155_CR13","first-page":"162","volume-title":"Proc ICAPS 2009","author":"M Helmert","year":"2009","unstructured":"Helmert M, Domshlak C (2009) Landmarks, critical paths and abstractions: What\u2019s the difference anyway? In: Proc ICAPS 2009, pp 162\u2013169"},{"issue":"1\u20133","key":"155_CR14","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"HJ Levesque","year":"1997","unstructured":"Levesque HJ, Reiter R, Lesp\u00e9rance Y, Lin F, Scherl RB (1997) GOLOG: A logic programming language for dynamic domains. J\u00a0Log Program 31(1\u20133):59\u201383","journal-title":"J\u00a0Log Program"},{"key":"155_CR15","first-page":"1","volume-title":"Reasoning about actions and plans: proceedings of the 1986 workshop","author":"V Lifschitz","year":"1987","unstructured":"Lifschitz V (1987) On the semantics of STRIPS. In: Reasoning about actions and plans: proceedings of the 1986 workshop. Morgan Kaufmann, San Mateo, pp 1\u20139"},{"issue":"1\u20132","key":"155_CR16","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/S0004-3702(96)00044-6","volume":"92","author":"F Lin","year":"1997","unstructured":"Lin F, Reiter R (1997) How to progress a database. Artif Intell 92(1\u20132):131\u2013167","journal-title":"Artif Intell"},{"key":"155_CR17","first-page":"463","volume-title":"Machine intelligence","author":"J McCarthy","year":"1969","unstructured":"McCarthy J, Hayes P (1969) Some philosophical problems from the standpoint of artificial intelligence. In: Machine intelligence, vol\u00a04. American Elsevier, New York, pp 463\u2013502"},{"issue":"2","key":"155_CR18","first-page":"35","volume":"21","author":"DV McDermott","year":"2000","unstructured":"McDermott DV (2000) The 1998 AI planning systems competition. AI Mag 21(2):35\u201355","journal-title":"AI Mag"},{"key":"155_CR19","unstructured":"McDermott D, Ghallab M, Howe A, Knoblock C, Ram A, Veloso M, Weld D, Wilkins D (1998) PDDL\u2014The planning domain definition language\u2014Version\u00a01.2. Tech Rep CVC TR-98-003, Yale Center for Computational Vision and Control"},{"key":"155_CR20","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1613\/jair.735","volume":"12","author":"B Nebel","year":"2000","unstructured":"Nebel B (2000) On the compilability and expressive power of propositional planning formalisms. J Artif Intell Res 12:271\u2013315","journal-title":"J Artif Intell Res"},{"key":"155_CR21","first-page":"324","volume-title":"Proc KR 1989","author":"EPD Pednault","year":"1989","unstructured":"Pednault EPD (1989) ADL: Exploring the middle ground between STRIPS and the situation calculus. In: Proc KR 1989. Morgan Kaufmann, San Mateo, pp 324\u2013332"},{"key":"155_CR22","unstructured":"Pinto J (1994) Temporal reasoning in the situation calculus. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Canada"},{"key":"155_CR23","first-page":"547","volume-title":"Proc KR 1998","author":"R Reiter","year":"1998","unstructured":"Reiter R (1998) Sequential, temporal GOLOG. In: Proc KR 1998. Morgan Kaufmann, San Mateo, pp 547\u2013556"},{"key":"155_CR24","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action: logical foundations for specifying and implementing dynamical systems","author":"R Reiter","year":"2001","unstructured":"Reiter R (2001) Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press, Cambridge"},{"key":"155_CR25","first-page":"1051","volume-title":"Proc AAAI 2007","author":"G R\u00f6ger","year":"2007","unstructured":"R\u00f6ger G, Nebel B (2007) Expressiveness of ADL and Golog: Functions make a difference. In: Proc AAAI 2007. AAAI Press, Menlo Park, pp 1051\u20131056"},{"key":"155_CR26","first-page":"544","volume-title":"Proc KR 2008","author":"G R\u00f6ger","year":"2008","unstructured":"R\u00f6ger G, Helmert M, Nebel B (2008) On the relative expressiveness of ADL and Golog: The last piece in the puzzle. In: Proc KR 2008. AAAI Press, Menlo Park, pp 544\u2013550"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-011-0155-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-011-0155-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-011-0155-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T22:22:42Z","timestamp":1560982962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-011-0155-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,26]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["155"],"URL":"https:\/\/doi.org\/10.1007\/s13218-011-0155-2","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,26]]}}}