{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:39:13Z","timestamp":1742960353864,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232638"},{"type":"electronic","value":"9783319232645"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23264-5_18","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"199-212","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Enablers and Inhibitors in Causal Justifications of Logic Programs"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Cabalar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Fandinno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25, 241\u2013273 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"18_CR2","series-title":"Artificial Intelligence","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm","author":"VW Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ki, M.: Stable models and an alternative logic programming paradigm. In: Apt, K.R., Marek, V.W., Truszczy\u0144ki, M., Warren, D.S. (eds.) The Logic Programming Paradigm. Artificial Intelligence, pp. 375\u2013398. Springer, Heidelberg (1999)"},{"key":"18_CR3","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Logic Programming: Proceedings of the Fifth International Conference and Symposium, vol. 2 (1988)"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1145\/116825.116838","volume":"38","author":"A Van Gelder","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM (JACM) 38, 619\u2013649 (1991)","journal-title":"J. ACM (JACM)"},{"key":"18_CR5","unstructured":"Specht, G.: Generating explanation trees even for negations in deductive database systems. In: LPE 1993, pp. 8\u201313 (1993)"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-540-24754-8_4","volume-title":"Functional and Logic Programming","author":"G Pemmasani","year":"2004","unstructured":"Pemmasani, G., Guo, H.-F., Dong, Y., Ramakrishnan, C.R., Ramakrishnan, I.V.: Online justification for tabled logic programs. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol. 2998, pp. 24\u201338. Springer, Heidelberg (2004)"},{"key":"18_CR7","unstructured":"Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H.: Meta-programming technique for debugging answer-set programs. In: Proceedings of the 23rd Conference on Artificial Inteligence (AAAI 2008) (2008)"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1017\/S1471068410000256","volume":"10","author":"J Oetsch","year":"2010","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: Catching the ouroboros: on debugging non-ground answer-set programs. Theory Pract. Logic Program. 10, 513\u2013529 (2010)","journal-title":"Theory Pract. Logic Program."},{"key":"18_CR9","unstructured":"Schulz, C., Toni, F.: ABA-based answer set justification. In: TPLP 13(4-5-Online-Supplement) (2013)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Denecker, M., De Schreye, D.: Justification semantics: a unifiying framework for the semantics of logic programs. In: Proceedings of the LPNMR Workshop (1993)","DOI":"10.7551\/mitpress\/4307.003.0031"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1471068408003633","volume":"9","author":"E Pontelli","year":"2009","unstructured":"Pontelli, E., Son, T.C., El-Khatib, O.: Justifications for logic programs under answer set semantics. Theory Pract. Logic Program. (TPLP) 9, 1\u201356 (2009)","journal-title":"Theory Pract. Logic Program. (TPLP)"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1007\/978-3-642-40564-8_53","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C Viegas Dam\u00e1sio","year":"2013","unstructured":"Viegas Dam\u00e1sio, C., Analyti, A., Antoniou, G.: Justifications for logic programming. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 530\u2013542. Springer, Heidelberg (2013)"},{"key":"18_CR13","first-page":"603","volume":"14","author":"P Cabalar","year":"2014","unstructured":"Cabalar, P., Fandinno, J., Fink, M.: Causal graph justifications of logic programs. TPLP 14, 603\u2013618 (2014)","journal-title":"TPLP"},{"key":"18_CR14","doi-asserted-by":"crossref","first-page":"225","DOI":"10.7551\/mitpress\/1752.003.0010","volume-title":"Causation and Counterfactuals","author":"N Hall","year":"2004","unstructured":"Hall, N.: Two concepts of causation. In: Collins, J., Hall, E.J., Paul, L.A. (eds.) Causation and Counterfactuals, pp. 225\u2013276. MIT Press, Cambridge (2004)"},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s11098-006-9057-9","volume":"132","author":"N Hall","year":"2007","unstructured":"Hall, N.: Structural equations and causation. Philos. Stud. 132, 109\u2013136 (2007)","journal-title":"Philos. Stud."},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-3-319-11558-0_21","volume-title":"Logics in Artificial Intelligence","author":"P Cabalar","year":"2014","unstructured":"Cabalar, P., Fandinno, J., Fink, M.: A complexity assessment for queries involving sufficient and necessary causes. In: Ferm\u00e9, E., Leite, J. (eds.) JELIA 2014. LNCS, vol. 8761, pp. 297\u2013310. Springer, Heidelberg (2014)"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Van Gelder, A.: The alternating fixpoint of logic programs with negation. In: Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 1\u201310. ACM (1989)","DOI":"10.1145\/73721.73722"},{"key":"18_CR18","unstructured":"Lin, F.: Embracing causality in specifying the indirect effects of actions. In: Mellish, C.S. (ed.)Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, Montreal (1995)"},{"key":"18_CR19","unstructured":"McCain, N., Turner, H.: Causal theories of action and change. In: Proceedings of the AAAI 1997, pp. 460\u2013465 (1997)"},{"key":"18_CR20","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"1\u20132","author":"M Thielscher","year":"1997","unstructured":"Thielscher, M.: Ramification and causality. Artif. Intell. J. 1\u20132, 317\u2013364 (1997)","journal-title":"Artif. Intell. J."},{"key":"18_CR21","volume-title":"Causality: Models, Reasoning, and Inference","author":"J Pearl","year":"2000","unstructured":"Pearl, J.: Causality: Models, Reasoning, and Inference. Cambridge University Press, New York (2000)"},{"key":"18_CR22","unstructured":"Halpern, J.Y., Hitchcock, C.: Actual causation and the art of modeling. arXiv preprint arXiv:1106.2652 (2011)"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Hume, D.: An enquiry concerning human understanding (1748) Reprinted by Open Court Press. LaSalle, IL (1958)","DOI":"10.1093\/oseo\/instance.00032980"},{"key":"18_CR24","first-page":"59","volume":"33","author":"A Meliou","year":"2010","unstructured":"Meliou, A., Gatterbauer, W., Halpern, J.Y., Koch, C., Moore, K.F., Suciu, D.: Causality in databases. IEEE Data Eng. Bull. 33, 59\u201367 (2010)","journal-title":"IEEE Data Eng. Bull."},{"key":"18_CR25","first-page":"647","volume":"11","author":"J Vennekens","year":"2011","unstructured":"Vennekens, J.: Actual causation in CP-logic. TPLP 11, 647\u2013662 (2011)","journal-title":"TPLP"},{"key":"18_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1007\/978-3-642-40564-8_53","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C Viegas Dam\u00e1sio","year":"2013","unstructured":"Viegas Dam\u00e1sio, C., Analyti, A., Antoniou, G.: Justifications for logic programming. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 530\u2013542. Springer, Heidelberg (2013)"},{"key":"18_CR27","volume-title":"Causation and Counterfactuals","author":"T Maudlin","year":"2004","unstructured":"Maudlin, T.: Causation, counterfactuals, and the third factor. In: Collins, J., Hall, E.J., Paul, L.A. (eds.) Causation and Counterfactuals. MIT Press, Cambridge (2004)"},{"key":"18_CR28","unstructured":"Halpern, J.Y.: Defaults and normality in causal structures. In: Brewka, G., Lang, J. (eds.) Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 198\u2013208. AAAI Press (2008)"},{"key":"18_CR29","doi-asserted-by":"crossref","first-page":"587","DOI":"10.5840\/jphil20091061128","volume":"11","author":"C Hitchcock","year":"2009","unstructured":"Hitchcock, C., Knobe, J.: Cause and norm. J. Philos. 11, 587\u2013612 (2009)","journal-title":"J. Philos."},{"key":"18_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023801","volume-title":"Non-Monotonic Extensions of Logic Programming","author":"D Pearce","year":"1997","unstructured":"Pearce, D.: A new logical characterisation of stable models and answer sets. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS, vol. 1216. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23264-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T03:09:48Z","timestamp":1718075388000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"15 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}