{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T02:57:46Z","timestamp":1761620266309,"version":"build-2065373602"},"reference-count":47,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444522115"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1016\/s1574-6526(07)03019-2","type":"book-chapter","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T16:06:55Z","timestamp":1221235615000},"page":"759-776","source":"Crossref","is-referenced-by-count":3,"title":["Chapter 19 Nonmonotonic Causal Logic"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1574-6526(07)03019-2_bib001","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.artint.2003.08.002","article-title":"Representing the Zoo World and the Traffic World in the language of the Causal Calculator","volume":"153","author":"Akman","year":"2004","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03019-2_bib002","doi-asserted-by":"crossref","unstructured":"A. Artikis, M. Sergot, and J. Pitt. An executable specification of an argumentation protocol. In Proc. of Artificial Intelligence and Law (ICAIL), pages 1\u201311, 2003","DOI":"10.1145\/1047788.1047790"},{"key":"10.1016\/S1574-6526(07)03019-2_bib003","series-title":"Proc. of Workshop on Agent-Oriented Software III (AOSE)","first-page":"1","article-title":"Specifying electronic societies with the Causal Calculator","volume":"vol. 2585","author":"Artikis","year":"2003"},{"key":"10.1016\/S1574-6526(07)03019-2_bib004","unstructured":"A. Bochman. A logic for causal reasoning. In Proc. IJCAI-03, pages 141\u2013146, 2003"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(07)03019-2_bib005","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.artint.2004.07.002","article-title":"A causal approach to nonmonotonic reasoning","volume":"160","author":"Bochman","year":"2004","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03019-2_bib006","unstructured":"J. Campbell and V. Lifschitz. Reinforcing a claim in commonsense reasoning. In Logical Formalizations of Commonsense Reasoning: Papers from 2003 AAAI Spring Symposium, pages 51\u201356, 2003"},{"key":"10.1016\/S1574-6526(07)03019-2_bib007","series-title":"Workshop on Agent Communication Languages","first-page":"183","article-title":"Nonmonotonic commitment machines","volume":"vol. 2922","author":"Chopra","year":"2004"},{"key":"10.1016\/S1574-6526(07)03019-2_bib008","series-title":"Logic and Data Bases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/S1574-6526(07)03019-2_bib009","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s11225-005-0495-8","article-title":"Distant causation in C+","volume":"79","author":"Craven","year":"2005","journal-title":"Studia Logica"},{"key":"10.1016\/S1574-6526(07)03019-2_bib010","doi-asserted-by":"crossref","unstructured":"S. Dogandag, P. Ferraris, and V. Lifschitz, Almost definite causal theories. In Logic Programming and Nonmonotonic Reasoning: Proc. of Seventh Internat. Conf., pages 74\u201386, 2004","DOI":"10.1007\/978-3-540-24609-1_9"},{"key":"10.1016\/S1574-6526(07)03019-2_bib011","unstructured":"T. Eiter and T. Lukasiewicz. Probabilistic reasoning about actions in nonmonotonic causal theories. In Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI-2003), pages 192\u2013199, 2003"},{"issue":"3\u20134","key":"10.1016\/S1574-6526(07)03019-2_bib012","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","article-title":"STRIPS: A new approach to the application of theorem proving to problem solving","volume":"2","author":"Fikes","year":"1971","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03019-2_bib013","series-title":"Logic Programming and Nonmonotonic Reasoning: 8th International Conference","first-page":"185","article-title":"Game-theoretic reasoning about actions in nonmonotonic causal theories","volume":"vol. 3662","author":"Finzi","year":"2005"},{"key":"10.1016\/S1574-6526(07)03019-2_bib014","unstructured":"H. Geffner. Causal theories of nonmonotonic reasoning. In Proc. of AAAI-90, pages 524\u2013530, 1990"},{"year":"1992","series-title":"Reasoning with Defaults: Causal and Conditional Theories","author":"Geffner","key":"10.1016\/S1574-6526(07)03019-2_bib015"},{"key":"10.1016\/S1574-6526(07)03019-2_bib016","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","article-title":"Representing action and change by logic programs","volume":"17","author":"Gelfond","year":"1993","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(07)03019-2_bib017","unstructured":"E. Giunchiglia and V. Lifschitz. An action language based on causal explanation: Preliminary report. In Proc. AAAI-98, pages 623\u2013630, 1998"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(07)03019-2_bib018","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","article-title":"Nonmonotonic causal theories","volume":"153","author":"Giunchiglia","year":"2004","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S1574-6526(07)03019-2_bib019","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","article-title":"Nonmonotonic logic and temporal projection","volume":"33","author":"Hanks","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03019-2_bib020","unstructured":"J. Lee and V. Lifschitz. Describing additive fluents in action language C+. In Proc. IJCAI'03, pages 1079\u20131084, 2003"},{"key":"10.1016\/S1574-6526(07)03019-2_bib021","doi-asserted-by":"crossref","unstructured":"J. Lee. Definite vs. nondefinite causal theories. In Logic Programming and Nonmonotonic Reasoning: Proc. of Seventh Internat. Conf., pages 141\u2013153, 2004","DOI":"10.1007\/978-3-540-24609-1_14"},{"key":"10.1016\/S1574-6526(07)03019-2_bib022","series-title":"Logic-Based Artificial Intelligence","first-page":"147","article-title":"Getting to the airport: the oldest planning problem in AI","author":"Lifschitz","year":"2000"},{"key":"10.1016\/S1574-6526(07)03019-2_bib023","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1145\/383779.383783","article-title":"Strongly equivalent logic programs","volume":"2","author":"Lifschitz","year":"2001","journal-title":"ACM Transactions on Computational Logic"},{"key":"10.1016\/S1574-6526(07)03019-2_bib024","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1016\/S0004-3702(97)00057-X","article-title":"On the logic of causal explanation","volume":"96","author":"Lifschitz","year":"1997","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03019-2_bib025","unstructured":"V. Lifschitz. Situation calculus and causal logic. In Proc. of the Sixth Internat. Conf. on Principles of Knowledge Representation and Reasoning, pages 536\u2013546, 1998"},{"key":"10.1016\/S1574-6526(07)03019-2_bib026","series-title":"Logical Foundations of Cognitive Agents: Contributions in Honor of Ray Reiter","first-page":"208","article-title":"Success of default logic","author":"Lifschitz","year":"1999"},{"key":"10.1016\/S1574-6526(07)03019-2_bib027","unstructured":"V. Lifschitz. Missionaries and cannibals in the Causal Calculator. In Proc. of the 7th Internat. Conf. on Principles of Knowledge Representation and Reasoning, pages 85\u201396, 2000"},{"key":"10.1016\/S1574-6526(07)03019-2_bib028","unstructured":"F. Lin. Embracing causality in specifying the indirect effects of actions. In Proc. of IJCAI-95, pages 1985\u20131991, 1995"},{"key":"10.1016\/S1574-6526(07)03019-2_bib029","unstructured":"N. McCain and H. Turner. A causal theory of ramifications and qualifications. In Proc. of IJCAI-95, pages 1978\u20131984, 1995"},{"key":"10.1016\/S1574-6526(07)03019-2_bib030","unstructured":"N. McCain and H. Turner. Causal theories of action and change. In Proc. of AAAI-97, pages 460\u2013465, 1997"},{"key":"10.1016\/S1574-6526(07)03019-2_bib031","unstructured":"N. McCain and H. Turner. Satisfiability planning with causal theories. In Principles of Knowledge Representation and Reasoning: Proc. of the Sixth Internat. Conference, pages 212\u2013223, 1998"},{"key":"10.1016\/S1574-6526(07)03019-2_bib032","unstructured":"N. McCain. Causality in commonsense reasoning about actions. PhD Dissertation, University of Texas at Austin, Department of Computer Sciences, 1997"},{"key":"10.1016\/S1574-6526(07)03019-2_bib033","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"vol. 4","author":"McCarthy","year":"1969"},{"year":"1990","series-title":"Formalizing Common Sense: Papers by John McCarthy","author":"McCarthy","key":"10.1016\/S1574-6526(07)03019-2_bib034"},{"key":"10.1016\/S1574-6526(07)03019-2_bib035","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0004-3702(88)90015-X","article-title":"Embracing causality in default reasoning","volume":"35","author":"Pearl","year":"1988","journal-title":"Artificial Intelligence"},{"year":"2000","series-title":"Causality: Models, Reasoning and Inference","author":"Pearl","key":"10.1016\/S1574-6526(07)03019-2_bib036"},{"key":"10.1016\/S1574-6526(07)03019-2_bib037","unstructured":"E. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In R. Brachman, H. Levesque, and R. Reiter, editors, Proc. of the First Internat. Conf. on Principles of Knowledge Representation and Reasoning, pages 324\u2013332, 1989"},{"key":"10.1016\/S1574-6526(07)03019-2_bib038","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1093\/logcom\/4.5.467","article-title":"ADL and the state-transition model of action","volume":"4","author":"Pednault","year":"1994","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(07)03019-2_bib039","doi-asserted-by":"crossref","unstructured":"T. Przymusinski and H. Turner. Update by means of inference rules. In Proc. of the 3rd Internat. Conf. on Logic Programming and Nonmonotonic Reasoning, pages 156\u2013174, 1995","DOI":"10.1007\/3-540-59487-6_12"},{"issue":"2","key":"10.1016\/S1574-6526(07)03019-2_bib040","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0743-1066(96)00091-X","article-title":"Update by means of inference rules","volume":"30","author":"Przymusinski","year":"1997","journal-title":"Journal of Logic Programming"},{"issue":"1,2","key":"10.1016\/S1574-6526(07)03019-2_bib041","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03019-2_bib042","series-title":"Logic Programming and Nonmonotonic Reasoning: 8th International Conference","first-page":"198","article-title":"Some logical properties of nonmonotonic causal theories","volume":"vol. 3662","author":"Sergot","year":"2005"},{"key":"10.1016\/S1574-6526(07)03019-2_bib043","unstructured":"H. Turner. Representing actions in default logic: A situation calculus approach. In Working Papers of the Third Symposium on Logical Formalizations of Commonsense Reasoning, 1996"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(07)03019-2_bib044","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","article-title":"Representing actions in logic programs and default theories: A situation calculus approach","volume":"31","author":"Turner","year":"1997","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(07)03019-2_bib045","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0004-3702(99)00058-2","article-title":"A logic of universal causation","volume":"113","author":"Turner","year":"1999","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03019-2_bib046","doi-asserted-by":"crossref","unstructured":"H. Turner. Strong equivalence for causal theories. In Logic Programming and Nonmonotonic Reasoning: Proc. of Seventh Internat. Conf., pages 289\u2013301, 2004","DOI":"10.1007\/978-3-540-24609-1_25"},{"key":"10.1016\/S1574-6526(07)03019-2_bib047","doi-asserted-by":"crossref","unstructured":"G. White. A modal formulation of McCain and Turner's theory of causal reasoning. In Logics in Artificial Intelligence: Proc. 8th European Conference (JELIA'02), pages 211\u2013222, 2002","DOI":"10.1007\/3-540-45757-7_18"}],"container-title":["Foundations of Artificial Intelligence","Handbook of Knowledge Representation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652607030192?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652607030192?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T02:51:12Z","timestamp":1761619872000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574652607030192"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9780444522115"],"references-count":47,"URL":"https:\/\/doi.org\/10.1016\/s1574-6526(07)03019-2","relation":{},"ISSN":["1574-6526"],"issn-type":[{"type":"print","value":"1574-6526"}],"subject":[],"published":{"date-parts":[[2008]]}}}