{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T04:10:08Z","timestamp":1747368608378,"version":"3.40.5"},"publisher-location":"Cham","reference-count":87,"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_1","type":"book-chapter","created":{"date-parts":[[2015,1,7]],"date-time":"2015-01-07T03:37:32Z","timestamp":1420601852000},"page":"1-16","source":"Crossref","is-referenced-by-count":0,"title":["A Glimpse on Gerhard Brewka\u2019s Contributions to Artificial Intelligence"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hannes","family":"Strass","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miros\u0142aw","family":"Truszczy\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic\u00a050, 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"key":"1_CR2","unstructured":"Baral, C.: Reasoning about actions: Non-deterministic effects, constraints, and qualification. In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI), pp. 2017\u20132023. Morgan Kaufmann (1995)"},{"key":"1_CR3","unstructured":"Baumann, R., Brewka, G.: Expanding argumentation frameworks: Enforcing and monotonicity results. In: Baroni, P., Cerutti, F., Giacomin, M., Simari, G.R. (eds.) Proceedings of the 3rd Conference on Computational Models of Argument (COMMA 2010). Frontiers in Artificial Intelligence and Applications, vol.\u00a0216, pp. 75\u201386. IOS Press (2010)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-30743-0_5","volume-title":"Correct Reasoning","author":"R. Baumann","year":"2012","unstructured":"Baumann, R., Brewka, G., Dvo\u0159\u00e1k, W., Woltran, S.: Parameterized splitting: A simple modification-based approach. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds.) Correct Reasoning. LNCS, vol.\u00a07265, pp. 57\u201371. Springer, Heidelberg (2012)"},{"key":"1_CR5","unstructured":"Baumann, R., Brewka, G., Strass, H., Thielscher, M., Zaslawski, V.: State defaults and ramifications in the unifying action calculus. In: Lin, F., Sattler, U., Truszczy\u0144ski, M. (eds.) Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), pp. 435\u2013444. AAAI Press (2010)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-29184-5_2","volume-title":"Theorie and Applications of Formal Argumentation","author":"R. Baumann","year":"2012","unstructured":"Baumann, R., Brewka, G., Wong, R.: Splitting argumentation frameworks: An empirical evaluation. In: Modgil, S., Oren, N., Toni, F. (eds.) TAFA 2011. LNCS, vol.\u00a07132, pp. 17\u201331. Springer, Heidelberg (2012)"},{"issue":"1","key":"1_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10506-006-9007-z","volume":"13","author":"T.J.M. Bench-Capon","year":"2005","unstructured":"Bench-Capon, T.J.M., Dunne, P.E.: Argumentation in AI and Law: Editors\u2019 Introduction. Artif. Intell. Law\u00a013(1), 1\u20138 (2005)","journal-title":"Artif. Intell. Law"},{"issue":"10-15","key":"1_CR8","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1016\/j.artint.2007.05.001","volume":"171","author":"T.J.M. Bench-Capon","year":"2007","unstructured":"Bench-Capon, T.J.M., Dunne, P.E.: Argumentation in Artificial Intelligence. Artificial Intelligence\u00a0171(10-15), 619\u2013641 (2007)","journal-title":"Artificial Intelligence"},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1613\/jair.1234","volume":"21","author":"C. Boutilier","year":"2003","unstructured":"Boutilier, C., Brafman, R., Domshlak, C., Hoos, H., Poole, D.: CP-nets: A tool for representing and reasoning with conditional ceteris paribus preference statements. Journal of Artificial Intelligence Research\u00a021, 135\u2013191 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"1_CR10","unstructured":"Brewka, G.: Tweety - still flying: Some remarks on abnormal birds applicable rules and a default prover. In: Kehler, T. (ed.) Proceedings of the 5th National Conference on Artificial Intelligence, Philadelphia, pp. 8\u201312. Morgan Kaufmann (1986)"},{"key":"1_CR11","unstructured":"Brewka, G.: The logic of inheritance in frame systems. In: McDermott, J.P. (ed.) Proceedings of the 10th International Joint Conference on Artificial Intelligence, pp. 483\u2013488. Morgan Kaufmann (1987)"},{"key":"1_CR12","unstructured":"Brewka, G.: Preferred subtheories: An extended logical framework for default reasoning. In: Sridharan, N.S. (ed.) Proceedings of the 11th International Joint Conference on Artificial Intelligence, IJCAI 1989, pp. 1043\u20131048. Morgan Kaufmann (1989)"},{"issue":"2","key":"1_CR13","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0004-3702(91)90099-6","volume":"50","author":"G. Brewka","year":"1991","unstructured":"Brewka, G.: Cumulative default logic: In defense of nonmonotonic inference rules. Artificial Intelligence\u00a050(2), 183\u2013205 (1991)","journal-title":"Artificial Intelligence"},{"key":"1_CR14","unstructured":"Brewka, G.: Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge Tracts in Theoretical Computer Science, vol.\u00a012, Cambridge Univ. Press (1991)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Brewka, G.: An abductive framework for generalized logic programs. In: Pereira, L.M., Nerode, A. (eds.) Proceedings of the Second International Workshop on Logic Programming and Non-monotonic Reasoning, pp. 349\u2013564. MIT Press (1993)","DOI":"10.7551\/mitpress\/4307.003.0030"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BFb0021977","volume-title":"Logics in Artificial Intelligence","author":"G. Brewka","year":"1994","unstructured":"Brewka, G.: Adding priorities and specificity to default logic. In: MacNish, C., Moniz Pereira, L., Pearce, D.J. (eds.) JELIA 1994. LNCS, vol.\u00a0838, pp. 247\u2013260. Springer, Heidelberg (1994)"},{"key":"1_CR17","unstructured":"Brewka, G.: Reasoning about priorities in default logic. In: AAAI 1994: Proceedings of the Twelfth National Conference on Artificial Intelligence, vol.\u00a02, pp. 940\u2013945. American Association for Artificial Intelligence (1994)"},{"key":"1_CR18","unstructured":"Brewka, G.: A reconstruction of Rescher\u2019 s Theory of Formal Disputation based on default logic. In: Cohn, A.G. (ed.) Proceedings of the Eleventh European Conference on Artificial Intelligence, pp. 366\u2013370 (1994)"},{"key":"1_CR19","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1613\/jair.284","volume":"4","author":"G. Brewka","year":"1996","unstructured":"Brewka, G.: Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research\u00a04, 19\u201336 (1996)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"2","key":"1_CR20","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1093\/logcom\/11.2.257","volume":"11","author":"G. Brewka","year":"2001","unstructured":"Brewka, G.: Dynamic argument systems: A formal model of argumentation processes based on situation calculus. Journal of Logic and Computation\u00a011(2), 257\u2013282 (2001)","journal-title":"Journal of Logic and Computation"},{"key":"1_CR21","unstructured":"Brewka, G.: Logic programming with ordered disjunction. In: Dechter, R., Sutton, R.S. (eds.) Proceedings of the 18th National Conference on Artificial Intelligence and the 14th Conference on Innovative Applications of Artificial Intelligence, AAAI\/IAAI-2002, pp. 100\u2013105. AAAI Press (2002)"},{"key":"1_CR22","unstructured":"Brewka, G.: Complex preferences for answer set optimization. In: Dubois, D., Welty, C.A., Williams, M.-A. (eds.) Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning, KR-2004, pp. 213\u2013223. AAAI Press (2004)"},{"key":"1_CR23","unstructured":"Brewka, G.: A rank based description language for qualitative preferences. In: de M\u00e1ntaras, R.L., Saitta, L. (eds.) Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI-2004, pp. 303\u2013307. IOS Press (2004)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-15675-5_1","volume-title":"Logics in Artificial Intelligence","author":"G. Brewka","year":"2010","unstructured":"Brewka, G.: Nonmonotonic tools for argumentation. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 1\u20136. Springer, Heidelberg (2010)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-40564-8_1","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"G. Brewka","year":"2013","unstructured":"Brewka, G.: Towards reactive multi-context systems. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol.\u00a08148, pp. 1\u201310. Springer, Heidelberg (2013)"},{"issue":"1-2","key":"1_CR26","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/j.artint.2004.04.006","volume":"157","author":"G. Brewka","year":"2004","unstructured":"Brewka, G., Benferhat, S., Le Berre, D.: Qualitative choice logic. Artificial Intelligence\u00a0157(1-2), 203\u2013237 (2004)","journal-title":"Artificial Intelligence"},{"key":"1_CR27","unstructured":"Brewka, G., Dunne, P.E., Woltran, S.: Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 780\u2013785. AAAI Press (2011)"},{"issue":"1-2","key":"1_CR28","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0004-3702(99)00015-6","volume":"109","author":"G. Brewka","year":"1999","unstructured":"Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. Artificial Intelligence\u00a0109(1-2), 297\u2013356 (1999)","journal-title":"Artificial Intelligence"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T.: Prioritizing default logic. In: H\u00f6lldobler, S. (ed.) Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday). Applied Logic Series, vol.\u00a019, pp. 27\u201345. Kluwer (2000)","DOI":"10.1007\/978-94-015-9383-0_3"},{"key":"1_CR30","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, pp. 385\u2013390. AAAI Press (2007)"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-04238-6_7","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"G. Brewka","year":"2009","unstructured":"Brewka, G., Eiter, T.: Argumentation context systems: A framework for abstract group argumentation. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 44\u201357. Springer, Heidelberg (2009)"},{"key":"1_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-20832-4_16","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"G. Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Fink, M.: Nonmonotonic multi-context systems: A flexible approach for integrating heterogeneous knowledge sources. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol.\u00a06565, pp. 233\u2013258. Springer, Heidelberg (2011)"},{"key":"1_CR33","unstructured":"Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 786\u2013791. AAAI Press (2011)"},{"key":"1_CR34","unstructured":"Brewka, G., Ellmauthaler, S., Strass, H., Wallner, J.P., Woltran, S.: Abstract dialectical frameworks revisited. In: Rossi, F. (ed.) Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), pp. 803\u2013809. IJCAI\/AAAI (2013)"},{"key":"1_CR35","unstructured":"Brewka, G., Gordon, T.F.: Carneades and abstract dialectical frameworks: A reconstruction. In: Baroni, P., Cerutti, F., Giacomin, M., Simari, G.R. (eds.) Proceedings of the 3rd Conference on Computational Models of Argument (COMMA 2010). Frontiers in Artificial Intelligence and Applications, vol.\u00a0216, pp. 3\u201312. IOS Press (2010)"},{"issue":"3\/4","key":"1_CR36","doi-asserted-by":"crossref","first-page":"221","DOI":"10.3233\/FI-1997-313402","volume":"31","author":"G. Brewka","year":"1997","unstructured":"Brewka, G., Gottlob, G.: Well-founded semantics for default logic. Fundam. Inform.\u00a031(3\/4), 221\u2013236 (1997)","journal-title":"Fundam. Inform."},{"issue":"5","key":"1_CR37","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1093\/logcom\/3.5.517","volume":"3","author":"G. Brewka","year":"1993","unstructured":"Brewka, G., Hertzberg, J.: How to do things with worlds: On formalizing actions and plans. Journal of Logic and Computation\u00a03(5), 517\u2013532 (1993)","journal-title":"Journal of Logic and Computation"},{"key":"1_CR38","unstructured":"Brewka, G., Konolige, K.: An abductive framework for general logic programs and other nonmonotonic systems. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence, pp. 9\u201317. Morgan Kaufmann (1993)"},{"issue":"2","key":"1_CR39","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"},{"key":"1_CR40","unstructured":"Brewka, G., Niemel\u00e4, I., Truszczynski, M.: Answer set optimization. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the 18th International Joint Conference on Artificial Intelligence, IJCAI-2003, pp. 867\u2013872. Morgan Kaufmann (2003)"},{"key":"1_CR41","unstructured":"Brewka, G., Niemel\u00e4, I., Truszczynski, M.: Prioritized component systems. In: Veloso, M.M., Kambhampati, S. (eds.) Proceedings of the 20th National Conference on Artificial Intelligence and the 17th Conference on Innovative Applications of Artificial Intelligence, AAAI\/IAAI-2005, pp. 596\u2013601. AAAI Press (2005)"},{"issue":"1","key":"1_CR42","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MIS.2013.122","volume":"29","author":"G. Brewka","year":"2014","unstructured":"Brewka, G., Polberg, S., Woltran, S.: Generalizations of dung frameworks and their role in formal argumentation. IEEE Intelligent Systems\u00a029(1), 30\u201338 (2014)","journal-title":"IEEE Intelligent Systems"},{"issue":"3","key":"1_CR43","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1093\/logcom\/13.3.317","volume":"13","author":"G. Brewka","year":"2003","unstructured":"Brewka, G., Prakken, H., Vreeswijk, G.: Special issue on computational dialectics: an introduction. Journal of Logic and Computation\u00a013(3), 317\u2013318 (2003)","journal-title":"Journal of Logic and Computation"},{"key":"1_CR44","unstructured":"Brewka, G., Roelofsen, F., Serafini, L.: Contextual default reasoning. In: Veloso, M.M. (ed.) IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp. 268\u2013273 (2007)"},{"key":"1_CR45","doi-asserted-by":"crossref","unstructured":"Brewka, G., Truszczynski, M., Woltran, S.: Representing preferences among sets. In: Fox, M., Poole, D. (eds.) Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI-2010, pp. 273\u2013278. AAAI Press (2010)","DOI":"10.1609\/aaai.v24i1.7584"},{"key":"1_CR46","unstructured":"Brewka, G., Woltran, S.: Abstract dialectical frameworks. In: Lin, F., Sattler, U., Truszczy\u0144ski, M. (eds.) Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), pp. 780\u2013785. AAAI Press (2010)"},{"key":"1_CR47","unstructured":"Brewka, G., Woltran, S.: GRAPPA: A semantical framework for graph-based argument processing. In: Schaub, T., Friedrich, G., O\u2019Sullivan, B. (eds.) ECAI 2014 - 21st European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol.\u00a0263, pp. 153\u2013158. IOS Press (2014)"},{"issue":"1","key":"1_CR48","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.ic.2004.02.004","volume":"192","author":"M. Denecker","year":"2004","unstructured":"Denecker, M., Marek, V.W., Truszczy\u0144ski, M.: Ultimate approximation and its application in nonmonotonic knowledge representation systems. Inf. Comput.\u00a0192(1), 84\u2013121 (2004)","journal-title":"Inf. Comput."},{"key":"1_CR49","unstructured":"Diller, M., Wallner, J.P., Woltran, S.: Reasoning in abstract dialectical frameworks using quantified boolean formulas. In: Parsons, S., Oren, N., Reed, C., Cerutti, F. (eds.) Computational Models of Argument - Proceedings of COMMA 2014. Frontiers in Artificial Intelligence and Applications, vol.\u00a0266, pp. 241\u2013252. IOS Press (2014)"},{"issue":"2","key":"1_CR50","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence\u00a077(2), 321\u2013358 (1995)","journal-title":"Artificial Intelligence"},{"key":"1_CR51","unstructured":"Ellmauthaler, S., Strass, H.: The diamond system for argumentation: Preliminary report. CoRR, abs\/1312.6140 (2013)"},{"key":"1_CR52","doi-asserted-by":"crossref","unstructured":"Ellmauthaler, S., Strass, H.: The DIAMOND system for computing with abstract dialectical frameworks. In: Parsons, S., Oren, N., Reed, C., Cerutti, F. (eds.) Computational Models of Argument - Proceedings of COMMA 2014. Frontiers in Artificial Intelligence and Applications, vol.\u00a0266, pp. 233\u2013240. IOS Press (2014)","DOI":"10.3233\/978-1-61499-436-7-233"},{"key":"1_CR53","doi-asserted-by":"crossref","unstructured":"Ellmauthaler, S., Wallner, J.P.: Evaluating abstract dialectical frameworks with asp. In: Verheij, B., Szeider, S., Woltran, S. (eds.) Computational Models of Argument - Proceedings of COMMA 2012. Frontiers in Artificial Intelligence and Applications, vol.\u00a0245, pp. 505\u2013506. IOS Press (2012)","DOI":"10.3233\/978-1-61499-111-3-505"},{"key":"1_CR54","unstructured":"Gaggl, S.A., Strass, H.: Decomposing Abstract Dialectical Frameworks. In: Parsons, S., Oren, N., Reed, C., Cerutti, F. (eds.) Computational Models of Argument - Proceedings of COMMA 2014. Frontiers in Artificial Intelligence and Applications, vol.\u00a0266, pp. 281\u2013292. IOS Press (2014)"},{"key":"1_CR55","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"issue":"2","key":"1_CR56","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence\u00a0127(2), 221\u2013259 (2001)","journal-title":"Artificial Intelligence"},{"key":"1_CR57","first-page":"233","volume":"35","author":"M.L. Ginsberg","year":"1987","unstructured":"Ginsberg, M.L., Smith, D.E.: Reasoning about action I: A possible worlds approach. Artificial Intelligence\u00a035, 233\u2013258 (1987)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"1_CR58","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: How we can do without modal logics. Artificial Intelligence\u00a065(1), 29\u201370 (1994)","journal-title":"Artificial Intelligence"},{"key":"1_CR59","unstructured":"Goncalves, R., Knorr, M., Leite, J.: Evolving multi-context systems. In: Schaub, T., Friedrich, G., O\u2019Sullivan, B. (eds.) Proceedings of the 21st Eureopean Conference on Artificial Intelligence, ECAI 2014. Frontiers in Artificial Intelligence and Applications, vol.\u00a0263, pp. 225\u2013230. IOS Press (2014)"},{"issue":"4","key":"1_CR60","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1145\/210332.210334","volume":"42","author":"G. Gottlob","year":"1995","unstructured":"Gottlob, G.: Translating default logic into standard autoepistemic logic. J. ACM\u00a042(4), 711\u2013740 (1995)","journal-title":"J. ACM"},{"key":"1_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/3-540-54659-6_91","volume-title":"Symbolic and Quantitative Approaches to Uncertainty","author":"U. Junker","year":"1991","unstructured":"Junker, U., Brewka, G.: Handling partially ordered defaults in TMS. In: Kruse, R., Siegel, P. (eds.) ECSQAU 1991 and ECSQARU 1991. LNCS, vol.\u00a0548, pp. 211\u2013218. Springer, Heidelberg (1991)"},{"issue":"1-2","key":"1_CR62","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(94)90089-2","volume":"69","author":"G.N. Kartha","year":"1994","unstructured":"Kartha, G.N.: Two counterexamples related to Baker\u2019s approach to the frame problem. Artificial Intelligence\u00a069(1-2), 379\u2013391 (1994)","journal-title":"Artificial Intelligence"},{"key":"1_CR63","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence\u00a044, 167\u2013207 (1990)","journal-title":"Artificial Intelligence"},{"key":"1_CR64","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D. Lehmann","year":"1992","unstructured":"Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artificial Intelligence\u00a055, 1\u201360 (1992)","journal-title":"Artificial Intelligence"},{"key":"1_CR65","doi-asserted-by":"crossref","unstructured":"Linsbichler, T.: Splitting abstract dialectical frameworks. In: Parsons, S., Oren, N., Reed, C., Cerutti, F. (eds.) Computational Models of Argument - Proceedings of COMMA 2014. Frontiers in Artificial Intelligence and Applications, vol.\u00a0266, pp. 357\u2013368. IOS Press (2014)","DOI":"10.3233\/978-1-61499-436-7-357"},{"key":"1_CR66","unstructured":"Lukaszewicz, W.: Non-Monotonic Reasoning - Formalization of Commonsense Reasoning. Ellis Horwood (1990)"},{"key":"1_CR67","unstructured":"McCain, N., Turner, H.: A causal theory of ramifications and qualifications. In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI), pp. 1978\u20131984. Morgan Kaufmann (1995)"},{"issue":"1-2","key":"1_CR68","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription \u2014 a form of non-monotonic reasoning. Artificial Intelligence\u00a013(1-2), 27\u201339 (1980)","journal-title":"Artificial Intelligence"},{"key":"1_CR69","unstructured":"McCarthy, J.: Notes on formalizing context. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence, pp. 555\u2013562. Morgan Kaufmann (1993)"},{"key":"1_CR70","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"McDermott, D., Doyle, J.: Non-monotonic logic I. Artificial Intelligence\u00a013, 41\u201372 (1980)","journal-title":"Artificial Intelligence"},{"key":"1_CR71","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"Moore, R.: Semantical considerations on nonmonotonic logics. Artificial Intelligence\u00a025, 75\u201394 (1985)","journal-title":"Artificial Intelligence"},{"key":"1_CR72","unstructured":"Pearl, J.: System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. In: Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, TARK 1990, pp. 121\u2013135. Morgan Kaufmann (1990)"},{"key":"1_CR73","doi-asserted-by":"crossref","unstructured":"Polberg, S.: Extension-based semantics of abstract dialectical frameworks. CoRR, abs\/1405.0406 (2014)","DOI":"10.1007\/978-3-319-11558-0_42"},{"key":"1_CR74","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1007\/978-3-319-11558-0_42","volume-title":"Logics in Artificial Intelligence","author":"S. Polberg","year":"2014","unstructured":"Polberg, S., Doder, D.: Probabilistic abstract dialectical frameworks. In: Ferm\u00e9, E., Leite, J. (eds.) JELIA 2014. LNCS, vol.\u00a08761, pp. 591\u2013599. Springer, Heidelberg (2014)"},{"issue":"1","key":"1_CR75","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole, D.: A logical framework for default reasoning. Artificial Intelligence\u00a036(1), 27\u201347 (1988)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"1_CR76","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. Artificial Intelligence\u00a013(1-2), 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"1_CR77","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"1_CR78","unstructured":"Shapiro, S., Brewka, G.: Dynamic interactions between goals and beliefs. In: IJCAI 2007: Proceedings of the 20th International Joint Conference on Artifical intelligence, pp. 2625\u20132630. Morgan Kaufmann Publishers Inc. (2007)"},{"key":"1_CR79","unstructured":"\u0160imko, A.: Logic Programming with Preferences on Rules. PhD thesis, Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava, Slovakia (2014)"},{"key":"1_CR80","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.artint.2013.09.004","volume":"205","author":"H. Strass","year":"2013","unstructured":"Strass, H.: Approximating operators and semantics for abstract dialectical frameworks. Artificial Intelligence\u00a0205, 39\u201370 (2013)","journal-title":"Artificial Intelligence"},{"key":"1_CR81","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-642-40624-9_6","volume-title":"Computational Logic in Multi-Agent Systems","author":"H. Strass","year":"2013","unstructured":"Strass, H.: Instantiating Knowledge Bases in Abstract Dialectical Frameworks. In: Leite, J., Son, T.C., Torroni, P., van der Torre, L., Woltran, S. (eds.) CLIMA XIV 2013. LNCS, vol.\u00a08143, pp. 86\u2013101. Springer, Heidelberg (2013)"},{"key":"1_CR82","unstructured":"Strass, H.: On the relative expressiveness of argumentation frameworks, normal logic programs and abstract dialectical frameworks. In: Konieczny, S., Tompits, H. (eds.) Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR) (2014)"},{"key":"1_CR83","unstructured":"Strass, H., Wallner, J.P.: Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory. In: Proceedings of the Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR), pp. 101\u2013110. AAAI Press (2014)"},{"key":"1_CR84","unstructured":"Tasharrofi, S., Ternovska, E.: Generalized multi-context systems. In: Baral, C., Giacomo, G.D., Eiter, T. (eds.) Proceedings of the Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR), pp. 368\u2013377. AAAI Press (2014)"},{"issue":"1-2","key":"1_CR85","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"M. Thielscher","year":"1997","unstructured":"Thielscher, M.: Ramification and causality. Artificial Intelligence\u00a089(1-2), 317\u2013364 (1997)","journal-title":"Artificial Intelligence"},{"key":"1_CR86","unstructured":"Winslett, M.: Reasoning about action using a possible models approach. In: Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI 1988), pp. 89\u201393 (1988)"},{"issue":"1","key":"1_CR87","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(93)90090-X","volume":"61","author":"C. Witteveen","year":"1993","unstructured":"Witteveen, C., Brewka, G.: Skeptical reason maintenance and belief revision. Artificial Intelligence\u00a061(1), 1\u201336 (1993)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14726-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T03:47:56Z","timestamp":1747367276000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14726-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319147253","9783319147260"],"references-count":87,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14726-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}