{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:25Z","timestamp":1725490225116},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540745648"},{"type":"electronic","value":"9783540745655"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74565-5_8","type":"book-chapter","created":{"date-parts":[[2007,8,25]],"date-time":"2007-08-25T06:01:04Z","timestamp":1188021664000},"page":"68-83","source":"Crossref","is-referenced-by-count":11,"title":["Integrating Action Calculi and Description Logics"],"prefix":"10.1007","author":[{"given":"Conrad","family":"Drescher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Thielscher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Situations, actions, and causal laws. Technical Report AIM-2, AI Project, Stanford University (1963)","DOI":"10.21236\/AD0785031"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1017\/S1471068405002358","volume":"5","author":"M. Thielscher","year":"2005","unstructured":"Thielscher, M.: FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Programming\u00a05, 533\u2013565 (2005)","journal-title":"Theory and Practice of Logic Programming"},{"key":"8_CR3","unstructured":"Lesp\u00e9rance, Y., Levesque, H.J., Lin, F.D., Marcu, R.R., Scherl, R.B.: A logical approach to high-level robot programming\u2014A progress report. In: Papers from the 1994 AAAI Fall Symposium, AAAI (1994)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"8_CR4","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic ABoxes. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR, pp. 46\u201356. AAAI Press (2006)","DOI":"10.25368\/2022.153"},{"key":"8_CR6","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. Kluwer Academic Publishers, Dordrecht (2005)"},{"key":"8_CR7","unstructured":"Sirin, E., Parsia, B.: Pellet: An OWL DL reasoner. In: DL2004. Proceedings of the 2004 International Workshop on Description Logics (2004)"},{"key":"8_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D. Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: System description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 292\u2013297. Springer, Heidelberg (2006)"},{"key":"8_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: Racer system description. In: Gor\u00e9, R., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 701\u2013705. Springer, Heidelberg (2001)"},{"key":"8_CR10","volume-title":"A Mathematical Introduction to Logic","author":"H.B. Enderton","year":"1972","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, London (1972)"},{"key":"8_CR11","unstructured":"Winslett, M.: Reasoning about action using a possible models approach. In: aaai88, pp. 89\u201393 (1988)"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10849-005-5791-1","volume":"14","author":"I. Pratt-Hartmann","year":"2005","unstructured":"Pratt-Hartmann, I.: Complexity of the two-variable fragment with counting quantifiers. Journal of Logic, Language, and Information\u00a014, 369\u2013395 (2005)","journal-title":"Journal of Logic, Language, and Information"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(88)90020-3","volume":"35","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg, M.L., Smith, D.E.: Reasoning about action II: the qualification problem. Artificial Intelligence\u00a035, 311 (1988)","journal-title":"Artificial Intelligence"},{"key":"8_CR14","first-page":"1985","volume-title":"IJCAI 1995","author":"F. Lin","year":"1995","unstructured":"Lin, F.: Embracing causality in specifying the indirect effects of actions. In: Mellish, C.S. (ed.) IJCAI 1995. Proceedings of the International Joint Conference on Artificial Intelligence, Montreal, Canada, pp. 1985\u20131991. Morgan Kaufmann, San Francisco (1995)"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"M. Thielscher","year":"1997","unstructured":"Thielscher, M.: Ramification and causality. Artificial Intelligence Journal\u00a089, 317\u2013364 (1997)","journal-title":"Artificial Intelligence Journal"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence\u00a0153, 49\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"key":"8_CR17","unstructured":"Giacomo, G.D., Lenzerini, M., Poggi, A., Rosati, R.: On the update of description logic ontologies at the instance level. In: AAAI\u00a02006. Proceedings of the Twenty-first National Conference on Artificial Intelligence (2006)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Liu, H., Lutz, C., Milicic, M., Wolter, F.: Description logic actions with general TBoxes: a pragmatic approach. In: DL 2006. Proceedings of the 2006 International Workshop on Description Logics (2006)","DOI":"10.25368\/2022.156"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Proceedings of AAAI-05 (2005)","DOI":"10.25368\/2010.145"},{"key":"8_CR20","unstructured":"Gu, Y., Soutchanski, M.: A logic for decidable reasoning about services. In: ECAI 2006. Proceedings of the 4th International Workshop on AI for Service Composition (2006)"},{"key":"8_CR21","unstructured":"Gu, Y., Soutchanski, M.: Decidable reasoning in a modified situation calculus. In: IJCAI 2007. Proceedings of International Joint Conference on AI (2007)"},{"key":"8_CR22","unstructured":"Schiffel, S., Thielscher, M.: Reconciling situation calculus and fluent calculus. In: Proceedings of AAAI-06, Boston, MA, pp. 287\u2013292. AAAI Press (2006)"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Halaschek-Wiener, C., Parsia, B., Sirin, E., Kalyanpur, A.: Description logic reasoning for dynamic aboxes. In: DL 2006. Proceedings of the 2006 International Workshop on Description Logics (2006)","DOI":"10.21236\/ADA455672"}],"container-title":["Lecture Notes in Computer Science","KI 2007: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74565-5_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T22:36:13Z","timestamp":1684017373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74565-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540745648","9783540745655"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74565-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}