{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T19:54:09Z","timestamp":1770753249259,"version":"3.50.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642408847","type":"print"},{"value":"9783642408854","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40885-4_12","type":"book-chapter","created":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T11:20:19Z","timestamp":1378898419000},"page":"181-196","source":"Crossref","is-referenced-by-count":10,"title":["Verification of Golog Programs over Description Logic Actions"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Zarrie\u00df","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Proc. AAAI 2005 (2005)","DOI":"10.25368\/2010.145"},{"key":"12_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. ACM Trans. Comput. Log.\u00a013(3) (2012)","DOI":"10.1145\/2287718.2287721"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-16242-8_7","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"F. Baader","year":"2010","unstructured":"Baader, F., Lippmann, M., Liu, H.: Using causal relationships to deal with the ramification problem in action formalisms based on description logics. In: Ferm\u00fcller, C.G., Voronkov, A. (eds.) LPAR-17. LNCS, vol.\u00a06397, pp. 82\u201396. Springer, Heidelberg (2010)"},{"key":"12_CR5","unstructured":"Baader, F., Liu, H., ul\u00a0Mehdi, A.: Verifying properties of infinite sequences of description logic actions. In: Proc. ECAI 2010 (2010)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Baader, F., Zarrie\u00df, B.: Verification of golog programs over description logic actions. LTCS-Report 13-08, Chair of Automata Theory, TU Dresden, Dresden, Germany (2013), http:\/\/lat.inf.tu-dresden.de\/research\/reports.html","DOI":"10.1007\/978-3-642-40885-4_12"},{"key":"12_CR7","unstructured":"Cla\u00dfen, J., Lakemeyer, G.: A logic for non-terminating golog programs. In: Proc. KR 2008 (2008)"},{"issue":"1-2","key":"12_CR8","doi-asserted-by":"publisher","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, H.J.: Congolog, a concurrent programming language based on the situation calculus. Artif. Intell.\u00a0121(1-2), 109\u2013169 (2000)","journal-title":"Artif. Intell."},{"key":"12_CR9","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Patrizi, F.: Bounded situation calculus action theories and decidable verification. In: Proc. KR 2012 (2012)"},{"key":"12_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11853886_23","volume-title":"Logics in Artificial Intelligence","author":"H. Liu","year":"2006","unstructured":"Liu, H., Lutz, C., Mili\u010di\u0107, M., Wolter, F.: Reasoning about actions using description logics with general TBoxes. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, pp. 266\u2013279. Springer, Heidelberg (2006)"},{"issue":"1-3","key":"12_CR11","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: Golog: A logic programming language for dynamic domains. J. Log. Program.\u00a031(1-3), 59\u201383 (1997)","journal-title":"J. Log. Program."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proc. FOCS 1977 (1977)","DOI":"10.1109\/SFCS.1977.32"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40885-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T13:46:12Z","timestamp":1688478372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40885-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642408847","9783642408854"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40885-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}