{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:49:26Z","timestamp":1743000566026,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_21","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"297-310","source":"Crossref","is-referenced-by-count":3,"title":["A Complexity Assessment for Queries Involving Sufficient and Necessary Causes"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Cabalar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Fandi\u00f1o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Cabalar, P., Fandinno, J., Fink, M.: Causal graph justifications of logic programs. In: Proc. of the 30th Intl. Conf. on Logic Programming (ICLP 2014) (to appear, 2014)"},{"key":"21_CR2","first-page":"1070","volume-title":"Logic Programming: Proc. of the Fifth International Conference and Symposium","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Logic Programming: Proc. of the Fifth International Conference and Symposium, vol.\u00a02, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"21_CR3","unstructured":"Cabalar, P., Fandinno, J.: An algebra of causal chains. In: Proc. of the 6th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013) (2013)"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Hall, N.: Two concepts of causality, pp. 181\u2013276 (2004)","DOI":"10.7551\/mitpress\/1752.003.0010"},{"key":"21_CR5","unstructured":"Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H.: Meta-programming technique for debugging answer-set programs. In: Proc. of the 23rd Conf. on Artificial Inteligence (AAAI 2008), 448\u2013453 (2008)"},{"issue":"1","key":"21_CR6","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 and Practice of Logic Programming\u00a09(1), 1\u201356 (2009)","journal-title":"Theory and Practice of Logic Programming"},{"key":"21_CR7","unstructured":"Schulz, C., Sergot, M., Toni, F.: Argumentation-based answer set justification. In: Proc. of the 11th Intl. Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2013) (2013)"},{"key":"21_CR8","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.\u00a08148, pp. 530\u2013542. Springer, Heidelberg (2013)"},{"key":"21_CR9","unstructured":"Pereira, L.M., Apar\u00edcio, J.N., Alferes, J.J.: Derivation procedures for extended stable models. In: Mylopoulos, J., Reiter, R. (eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence, pp. 863\u2013869. Morgan Kaufmann (1991)"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Denecker, M., De Schreye, D.: Justification semantics: A unifiying framework for the semantics of logic programs. In: Proc. of the Logic Programming and Nonmonotonic Reasoning Workshop, pp. 365\u2013379 (1993)","DOI":"10.7551\/mitpress\/4307.003.0031"},{"issue":"4-5","key":"21_CR11","first-page":"647","volume":"11","author":"J. Vennekens","year":"2011","unstructured":"Vennekens, J.: Actual causation in cp-logic. TPLP\u00a011(4-5), 647\u2013662 (2011)","journal-title":"TPLP"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: Proceedings of the Twenty-sixth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 31\u201340. ACM (2007)","DOI":"10.1145\/1265530.1265535"},{"issue":"2","key":"21_CR13","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s00224-011-9327-6","volume":"49","author":"T.J. Green","year":"2011","unstructured":"Green, T.J.: Containment of conjunctive queries on annotated relations. Theory of Computing Systems\u00a049(2), 429\u2013459 (2011)","journal-title":"Theory of Computing Systems"},{"key":"21_CR14","unstructured":"Meliou, A., Gatterbauer, W., Halpern, J.Y., Koch, C., Moore, K.F., Suciu, D.: Causality in databases. IEEE Data Eng. Bull. 33(EPFL-ARTICLE-165841), 59\u201367 (2010)"},{"key":"21_CR15","unstructured":"Mackie, J.L.: Causes and Conditions, vol.\u00a02 (1965)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T14:24:05Z","timestamp":1717338245000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}