{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:00:18Z","timestamp":1725814818995},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319147253"},{"type":"electronic","value":"9783319147260"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-14726-0_15","type":"book-chapter","created":{"date-parts":[[2015,1,7]],"date-time":"2015-01-07T03:37:32Z","timestamp":1420601852000},"page":"218-232","source":"Crossref","is-referenced-by-count":0,"title":["Explaining Preferences and Preferring Explanations"],"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"}]}],"member":"297","reference":[{"unstructured":"Brewka, G.: Preferred subtheories: An extended logical framework for default reasoning. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence, Detroit, MI, USA, pp. 1043\u20131048 (August 1989)","key":"15_CR1"},{"unstructured":"Brewka, G.: Reasoning about priorities in default logic. In: Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31-August 4, vol.\u00a02, pp. 940\u2013945 (1994)","key":"15_CR2"},{"unstructured":"Brewka, G.: Logic programming with ordered disjunction. In: Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, Edmonton, Alberta, Canada, July 28-August 1, pp. 100\u2013105 (2002)","key":"15_CR3"},{"unstructured":"Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. In: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), Trento, Italy, June 2-5, pp. 86\u201397 (1998)","key":"15_CR4"},{"issue":"12","key":"15_CR5","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G. Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM\u00a054(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"issue":"2","key":"15_CR6","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1111\/j.0824-7935.2004.00241.x","volume":"20","author":"G. Brewka","year":"2004","unstructured":"Brewka, G., Niemel\u00e4, I., Syrj\u00e4nen, T.: Logic programs with ordered disjunction. Computational Intelligence\u00a020(2), 335\u2013357 (2004)","journal-title":"Computational Intelligence"},{"issue":"4","key":"15_CR7","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1609\/aimag.v29i4.2179","volume":"29","author":"G. Brewka","year":"2008","unstructured":"Brewka, G., Niemel\u00e4, I., Truszczynski, M.: Preferences and nonmonotonic reasoning. AI Magazine\u00a029(4), 69\u201378 (2008)","journal-title":"AI Magazine"},{"issue":"2","key":"15_CR8","doi-asserted-by":"crossref","first-page":"165","DOI":"10.3233\/AIC-2011-0494","volume":"24","author":"P. Cabalar","year":"2011","unstructured":"Cabalar, P.: A logical characterisation of ordered disjunction. AI Communications\u00a024(2), 165\u2013175 (2011)","journal-title":"AI Communications"},{"doi-asserted-by":"crossref","unstructured":"Cabalar, P., Fandinno, J., Fink, M.: Causal graph justifications of logic programs. Theory and Practice of Logic Programming\u00a014(4-5), 603\u2013618 (2014), Special issue on ICLP 2014","key":"15_CR9","DOI":"10.1017\/S1471068414000234"},{"key":"15_CR10","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.\u00a08761, pp. 297\u2013310. Springer, Heidelberg (2014)"},{"issue":"6","key":"15_CR11","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1017\/S1471068407003110","volume":"7","author":"P. Cabalar","year":"2007","unstructured":"Cabalar, P., Ferraris, P.: Propositional theories are strongly equivalent to logic programs. Theory and Practice of Logic Programming\u00a07(6), 745\u2013759 (2007)","journal-title":"Theory and Practice of Logic Programming"},{"key":"15_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.\u00a08148, pp. 530\u2013542. Springer, Heidelberg (2013)"},{"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)","key":"15_CR13","DOI":"10.7551\/mitpress\/4307.003.0031"},{"key":"15_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/11546207_10","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Ferraris","year":"2005","unstructured":"Ferraris, P.: Answer sets for propositional theories. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 119\u2013131. Springer, Heidelberg (2005)"},{"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), pp. 448\u2013453 (2008)","key":"15_CR15"},{"key":"15_CR16","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)"},{"unstructured":"Heyting, A.: Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse, pp. 42\u201356 (1930)","key":"15_CR17"},{"issue":"1","key":"15_CR18","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0743-1066(97)10001-2","volume":"35","author":"K. Inoue","year":"1998","unstructured":"Inoue, K., Sakama, C.: Negation as failure in the head. Journal of Logic Programming\u00a035(1), 39\u201378 (1998)","journal-title":"Journal of Logic Programming"},{"key":"15_CR19","series-title":"Lecture Notes in Artificial Intelligence","first-page":"93","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Janhunen","year":"2001","unstructured":"Janhunen, T.: On the Effect of Default Negation on the Expressiveness of Disjunctive Rules. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 93\u2013106. Springer, Heidelberg (2001)"},{"issue":"3-4","key":"15_CR20","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1023\/A:1018978005636","volume":"25","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz, V., Tang, L.R., Turner, H.: Nested expressions in logic programs. Annals of Mathematics in Artificial Intelligence\u00a025(3-4), 369\u2013389 (1999)","journal-title":"Annals of Mathematics in Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"Marek, V., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm, pp. 169\u2013181. Springer (1999)","key":"15_CR21","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"15_CR22","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. Annals of Mathematics and Artificial Intelligence\u00a025, 241\u2013273 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"15_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","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.\u00a01216, pp. 57\u201370. Springer, Heidelberg (1997)"},{"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":"15_CR24"},{"issue":"1","key":"15_CR25","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"},{"issue":"1-2","key":"15_CR26","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell.\u00a013(1-2), 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"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":"15_CR27"},{"issue":"4","key":"15_CR28","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. J. ACM\u00a023(4), 733\u2013742 (1976)","journal-title":"J. ACM"},{"issue":"4-5","key":"15_CR29","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"}],"container-title":["Lecture Notes in Computer Science","Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14726-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T11:02:54Z","timestamp":1717671774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14726-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319147253","9783319147260"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14726-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}