{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T15:03:37Z","timestamp":1725807817013},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319125671"},{"type":"electronic","value":"9783319125688"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44980-6_18","type":"book-chapter","created":{"date-parts":[[2014,10,13]],"date-time":"2014-10-13T12:11:32Z","timestamp":1413202292000},"page":"161-170","source":"Crossref","is-referenced-by-count":1,"title":["Verification of Branch-Time Property Based on Dynamic Description Logic"],"prefix":"10.1007","author":[{"given":"Yaoguang","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liang","family":"Chang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fengying","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tianlong","family":"Gu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)","key":"18_CR1"},{"key":"18_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action: logical foundations for describingand implementing dynamical systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in action: logical foundations for describingand implementing dynamical systems. MIT Press, Cambridge (2001)"},{"unstructured":"Giacomo, G.D., Ternovskaia, E., Reiter, R.: Non-terminating processes in the situation calculus. In: Proceedings of the AAAI 1997 Workshop on Robots, Softwoods, Immobots: Theories of Action, Planning and Control (1997)","key":"18_CR3"},{"unstructured":"Cla\u03b2en, J., Lakemeyer, G.: A Logic for non-terminating Golog programs. In: Proceedings KR 2008, pp. 589\u2013599. AAAI Press (2008)","key":"18_CR4"},{"unstructured":"Baader, F., Liu, H.K.: ul Mehdi, A.: Verifying properties of infinite sequences of description logic actions. In: Proceedings of ECAI 2010 (2010)","key":"18_CR5"},{"key":"18_CR6","first-page":"684","volume-title":"Proceedings of KR 2008","author":"F. Baader","year":"2008","unstructured":"Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. In: Proceedings of KR 2008, pp. 684\u2013694. AAAI Press, Cambridge (2008)"},{"doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Proceedings AAAI 2005 (2005)","key":"18_CR7","DOI":"10.25368\/2010.145"},{"issue":"1","key":"18_CR8","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s10817-010-9210-1","volume":"49","author":"L. Chang","year":"2012","unstructured":"Chang, L., Shi, Z.Z., Gu, T.L., Zhao, L.: A family of dynamic description logics for representing and reasoning about actions. Journal of Automated Reasoning\u00a049(1), 19\u201370 (2012)","journal-title":"Journal of Automated Reasoning"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-04222-5_9","volume-title":"Frontiers of Combining Systems","author":"F. Baader","year":"2009","unstructured":"Baader, F., Bauer, A., Lippmann, M.: Runtime verification using a temporal description logic. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS, vol.\u00a05749, pp. 149\u2013164. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Baader, F., Liu, H.K.: Intergrate Action Formalisms into Linear Temporal Description Logic. LTCS-Report 09-03, TU Dresden, Germany (2009)","key":"18_CR10","DOI":"10.25368\/2022.172"}],"container-title":["Lecture Notes in Computer Science","Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44980-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T06:44:00Z","timestamp":1689576240000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44980-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319125671","9783319125688"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44980-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}