{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:05:30Z","timestamp":1725563130970},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152795"},{"type":"electronic","value":"9783642152801"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","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-15280-1_56","type":"book-chapter","created":{"date-parts":[[2010,8,23]],"date-time":"2010-08-23T05:55:30Z","timestamp":1282542930000},"page":"585-590","source":"Crossref","is-referenced-by-count":0,"title":["A Formalism for Causal Explanations with an Answer Set Programming Translation"],"prefix":"10.1007","author":[{"given":"Yves","family":"Moinard","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"56_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge representation, reasoning and declarative problem solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge (2003)"},{"issue":"4","key":"56_CR2","doi-asserted-by":"crossref","first-page":"351","DOI":"10.3233\/ICA-2008-15406","volume":"15","author":"P. Besnard","year":"2008","unstructured":"Besnard, P., Cordier, M.-O., Moinard, Y.: Ontology-based inference for causal explanation. Integrated Computer-Aided Engineering J.\u00a015(4), 351\u2013367 (2008)","journal-title":"Integrated Computer-Aided Engineering J."},{"issue":"3","key":"56_CR3","first-page":"193","volume":"19","author":"F. Calimeri","year":"2006","unstructured":"Calimeri, F., Ianni, G.: Template programs for Disjunctive Logic Programming: An operational semantics. AI Communications\u00a019(3), 193\u2013206 (2006)","journal-title":"AI Communications"},{"issue":"1-2","key":"56_CR4","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(1-2), 49\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"key":"56_CR5","first-page":"27","volume-title":"IJCAI 2001","author":"J. Halpern","year":"2001","unstructured":"Halpern, J., Pearl, J.: Causes and Explanations: A Structural-Model Approach - Part II: Explanations. In: IJCAI 2001, pp. 27\u201334. Morgan Kaufmann, San Francisco (2001)"},{"issue":"3","key":"56_CR6","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM Trans. on Computational Logic (TOCL)\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Trans. on Computational Logic (TOCL)"},{"key":"56_CR7","doi-asserted-by":"publisher","DOI":"10.4324\/9780203302682","volume-title":"The Facts of Causation","author":"D.H. Mellor","year":"1995","unstructured":"Mellor, D.H.: The Facts of Causation. Routledge, New York (1995)"},{"key":"56_CR8","unstructured":"Moinard, Y.: An Experience of Using ASP for Toy Examples. In: Advances in Theory and Implementation ASP 2007, pp. 133\u2013147. Fac. de Ciencias, Univ. do Porto (2007)"},{"key":"56_CR9","unstructured":"Moinard, Y.: Using ASP with recent extensions for causal explanations. In: ASPOCP Workshop, Associated With ICLP (2010)"},{"key":"56_CR10","unstructured":"Shafer, G.: Causal Logic. In: Prade, H. (ed.) ECAI 1998, pp. 711\u2013720 (1998)"},{"key":"56_CR11","unstructured":"Tari, L., Baral, C., Anwar, S.: A Language for Modular Answer Set Programming. In: ASP 2005, CEUR Workshop Proc., vol.\u00a0142. CEUR-WS.org publ. (2005)"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15280-1_56","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:20:56Z","timestamp":1558286456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15280-1_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152795","9783642152801"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15280-1_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}