{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T22:41:59Z","timestamp":1649198519580},"reference-count":33,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2011,5,25]],"date-time":"2011-05-25T00:00:00Z","timestamp":1306281600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2012,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Nonmonotonic causal logic, introduced by McCain and Turner (McCain, N. and Turner, H. 1997. Causal theories of action and change. In <jats:italic>Proceedings of National Conference on Artificial Intelligence (AAAI)<\/jats:italic>, Stanford, CA, 460\u2013465) became the basis for the semantics of several expressive action languages. McCain's embedding of definite propositional causal theories into logic programming paved the way to the use of answer set solvers for answering queries about actions described in such languages. In this paper we extend this embedding to nondefinite theories and to the first-order causal logic.<\/jats:p>","DOI":"10.1017\/s1471068411000081","type":"journal-article","created":{"date-parts":[[2011,5,25]],"date-time":"2011-05-25T10:02:00Z","timestamp":1306317720000},"page":"383-412","source":"Crossref","is-referenced-by-count":4,"title":["Representing first-order causal theories by logic programs"],"prefix":"10.1017","volume":"12","author":[{"given":"PAOLO","family":"FERRARIS","sequence":"first","affiliation":[]},{"given":"JOOHYUNG","family":"LEE","sequence":"additional","affiliation":[]},{"given":"YULIYA","family":"LIERLER","sequence":"additional","affiliation":[]},{"given":"VLADIMIR","family":"LIFSCHITZ","sequence":"additional","affiliation":[]},{"given":"FANGKAI","family":"YANG","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2011,5,25]]},"reference":[{"key":"S1471068411000081_ref33","volume-title":"Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia","author":"Shanahan","year":"1997"},{"key":"S1471068411000081_ref32","unstructured":"Ren W. 2009. A modular language for describing actions,23 PhD thesis, University of Texas at Austin, Austin, TX."},{"key":"S1471068411000081_ref28","first-page":"460","volume-title":"Proceedings of National Conference on Artificial Intelligence (AAAI)","author":"McCain","year":"1997"},{"key":"S1471068411000081_ref27","unstructured":"McCain N. 1997. Causality in commonsense reasoning about actions 22, PhD thesis, University of Texas at Austin, Austin, TX."},{"key":"S1471068411000081_ref24","first-page":"1025","volume-title":"Proceedings of National Conference on Artificial Intelligence (AAAI)","author":"Lifschitz","year":"2007"},{"key":"S1471068411000081_ref23","first-page":"853","volume-title":"Proceedings of National Conference on Artificial Intelligence (AAAI)","author":"Lifschitz","year":"2006"},{"key":"S1471068411000081_ref20","first-page":"298","volume-title":"Handbook of Logic in AI and Logic Programming","author":"Lifschitz","year":"1994"},{"key":"S1471068411000081_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04238-6_51"},{"key":"S1471068411000081_ref17","volume-title":"Proceedings of International Workshop on Nonmonotonic Reasoning (NMR)","author":"Lee","year":"2010"},{"key":"S1471068411000081_ref16","first-page":"183","article-title":"Sur quelques points de la logique de M. Brouwer","volume":"15","author":"Glivenko","year":"1929","journal-title":"Acad\u00e9mie Royale de Belgique. Bulletins de la Classe des Sciences, se'rie 5"},{"key":"S1471068411000081_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S1471068411000081_ref8","unstructured":"Ferraris P. 2007. A logic program characterization of causal theories. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 366\u2013371."},{"key":"S1471068411000081_ref7","first-page":"35","volume-title":"Proceedings of Workshop on Logic Programming (WLP)","author":"Ferraris","year":"2006"},{"key":"S1471068411000081_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"S1471068411000081_ref2","volume-title":"Proceedings of the 6th International Conference on Trust, Privacy and Security in Digital Business (TrustBus'09)","author":"Armando","year":"2009"},{"key":"S1471068411000081_ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2003.08.002"},{"key":"S1471068411000081_ref10","unstructured":"Ferraris P. , Lee J. , Lifschitz V. and Palla R. 2009. Symmetric splitting in the general theory of stable models. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 797\u2013803."},{"key":"S1471068411000081_ref22","first-page":"1594","volume-title":"Proceedings of the AAAI Conference on Artificial Intelligence","author":"Lifschitz","year":"2008"},{"key":"S1471068411000081_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"S1471068411000081_ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00057-X"},{"key":"S1471068411000081_ref15","first-page":"623","volume-title":"Proceedings of National Conference on Artificial Intelligence (AAAI)","author":"Giunchiglia","year":"1998"},{"key":"S1471068411000081_ref31","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"S1471068411000081_ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1459010.1459011"},{"key":"S1471068411000081_ref4","unstructured":"Caldiran O. , Haspalamutgil K. , Ok A. , Palaz C. , Erdem E. and Patoglu V. 2009. Bridging the gap between high-level reasoning and low-level control. In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 242\u2013354."},{"key":"S1471068411000081_ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90032-9"},{"key":"S1471068411000081_ref11","unstructured":"Gebser M. , Grote T. and Schaub T. 2010. Coala: A compiler from action languages to ASP. In Proceedings of European Conference on Logics in Artificial Intelligence (JELIA), 169\u2013181."},{"key":"S1471068411000081_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/11546207_10"},{"key":"S1471068411000081_ref19","first-page":"121","volume-title":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)","author":"Lifschitz","year":"1985"},{"key":"S1471068411000081_ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.04.011"},{"key":"S1471068411000081_ref30","volume-title":"A Short Introduction to Intuitionistic Logic","author":"Mints","year":"2000"},{"key":"S1471068411000081_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15675-5_22"},{"key":"S1471068411000081_ref12","first-page":"1070","volume-title":"Proceedings of International Logic Programming Conference and Symposium","author":"Gelfond","year":"1988"},{"key":"S1471068411000081_ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2002.12.001"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068411000081","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T22:01:58Z","timestamp":1556229718000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068411000081\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,25]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["S1471068411000081"],"URL":"https:\/\/doi.org\/10.1017\/s1471068411000081","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,5,25]]}}}