{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:19:59Z","timestamp":1725567599652},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162411"},{"type":"electronic","value":"9783642162428"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16242-8_7","type":"book-chapter","created":{"date-parts":[[2010,10,4]],"date-time":"2010-10-04T12:51:59Z","timestamp":1286196719000},"page":"82-96","source":"Crossref","is-referenced-by-count":7,"title":["Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcel","family":"Lippmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongkai","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"7_CR1","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, Cambridge (2003)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Lippmann, M., Liu, H.: Adding causal relationships to DL-based action formalisms. LTCS-Report 10-01, Chair of Automata Theory, Technische Universit\u00e4t Dresden (2010), http:\/\/lat.inf.tu-dresden.de\/research\/reports.html","DOI":"10.25368\/2022.174"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C., Mili\u010di\u0107, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Proceedings of AAAI-2005 and IAAI-2005, pp. 572\u2013577. AAAI Press\/The MIT Press (2005) Short version of [4]","DOI":"10.25368\/2010.145"},{"key":"7_CR4","unstructured":"Baader, F., Mili\u010di\u0107, M., Lutz, C., Sattler, U., Wolter, F.: Integrating description logics and action formalisms for reasoning about web services. LTCS-Report 05-02, Chair of Automata Theory, Technische Universit\u00e4t Dresden (2005), Long version of [3], http:\/\/lat.inf.tu-dresden.de\/research\/reports.html"},{"key":"7_CR5","unstructured":"De Giacomo, G.: Decidability of Class-Based Knowledge Representation Formalisms. PhD thesis, Universit\u00e0 di Roma \u201cLa Sapienza\u201d (1995)"},{"issue":"7","key":"7_CR6","first-page":"1","volume":"3","author":"M. Denecker","year":"1998","unstructured":"Denecker, M., Theseider-Dupr\u00e9, D., van Belleghem, K.: An inductive definition approach to ramifications. Linkoping Electronic Articles in Computer and Information Science\u00a03(7), 1\u201343 (1998)","journal-title":"Linkoping Electronic Articles in Computer and Information Science"},{"key":"7_CR7","unstructured":"Herzig, A.: The PMA revisited. In: Proceedings of KR-1996, pp. 40\u201350 (1996)"},{"key":"7_CR8","unstructured":"Lin, F.: Embracing causality in specifying the indirect effects of actions. In: Proceedings of IJCAI-1995, pp. 1985\u20131993 (1995)"},{"key":"7_CR9","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)"},{"key":"7_CR10","first-page":"46","volume-title":"Proceedings of KR-2006","author":"H. Liu","year":"2006","unstructured":"Liu, H., Lutz, C., Mili\u010di\u0107, M., Wolter, F.: Updating description logic ABoxes. In: Proceedings of KR-2006, pp. 46\u201356. AAAI Press, Menlo Park (2006)"},{"key":"7_CR11","unstructured":"Liu, Y., Lakemeyer, G.: On first-order definability and computability of progression for local-effect actions and beyond. In: Proceedings of IJCAI-2009, pp. 860\u2013866 (2009)"},{"key":"7_CR12","unstructured":"Liu, Y., Levesque, H.J.: Tractable reasoning in first-order knowledge bases with disjunctive information. In: Proceedings of AAAI-2005 and IAAI-2005, pp. 639\u2013644. AAAI Press\/The MIT Press (2005)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. The MIT Press, Bradford Books (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"issue":"2","key":"7_CR14","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0169-023X(94)90002-7","volume":"13","author":"A. Schaerf","year":"1994","unstructured":"Schaerf, A.: Reasoning with individuals in concept languages. Data Knowledge Engineering\u00a013(2), 141\u2013176 (1994)","journal-title":"Data Knowledge Engineering"},{"issue":"1\u20132","key":"7_CR15","first-page":"317","volume":"89","author":"M. Thielscher","year":"1997","unstructured":"Thielscher, M.: Ramification and causality. AIJ\u00a089(1\u20132), 317\u2013364 (1997)","journal-title":"AIJ"},{"key":"7_CR16","series-title":"Applied Logic Series","volume-title":"Reasoning Robots: The Art and Science of Programming Robotic Agents","author":"M. Thielscher","year":"2005","unstructured":"Thielscher, M.: Reasoning Robots: The Art and Science of Programming Robotic Agents. Applied Logic Series, vol.\u00a033. Springer, Netherlands (2005)"},{"key":"7_CR17","unstructured":"van Belleghem, K., Denecker, M., Theseider-Dupr\u00e9, D.: A constructive approach to the ramification problem. In: Proceedings of ESSLLI-1998, pp. 1\u201317 (1998)"},{"key":"7_CR18","unstructured":"Winslett, M.: Reasoning about action using a possible models approach. In: Proceedings of AAAI-1988, pp. 89\u201393 (1988)"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16242-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T15:53:58Z","timestamp":1685807638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16242-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162411","9783642162428"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16242-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}