Download

Full Text

• P. Baroni, M. Caminada and M. Giacomin. An introduction to argumentation semantics. Knowledge Engineering Review, 26, 365–410, 2011.
• C. Benzmüller and T. Raths. HOL based first-order modal logic provers. In Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, volume 8312 of Lecture Notes in Computer Science, K. L. McMillan, A. Middeldorp and A. Voronkov, eds, pp. 127–136. Springer, Berlin Heidelberg, 2013.
• C. Benzmüller, J. Otten and T. Raths. Implementing and evaluating provers for first-order modal logics. In ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31, 2012, volume 242 of Frontiers in Artificial Intelligence and Applications, L. De Raedt, C. Bessiere, D. Dubois, P. Doherty, P. Frasconi, F. Heintz and P. J. F. Lucas, eds, pp. 163–168. IOS Press, Amsterdam, 2012.
• G. Brewka and T. Eiter. Preferred answer sets for extented logic programs. Artificial Intelligence, 109, 297–356, 1999.
• X. Chao, Y. Wang and T. Studer. A logic of knowing why. Synthese, 198, 1259–1285, 2021.
• P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77, 321–357, 1995.
• P. M. Dung. An axiomatic analysis of structured argumentation with priorities. Artificial Intelligence, 231, 107–150, 2016.
• P. M. Dung and P. M. Thang. Fundamental properties of attack relations in structured argumentation with priorities. Artificial Intelligence, 255, 1–42, 2018.
• A. Herzig, J. Luo and P. Pardo, eds. Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, Volume 14156 of Lecture Notes in Computer Science. Springer, Berlin Heidelberg, 2023.
• D. J. Hilton. Conversational processes and causal explanation. Psychological Bulletin, 107, 65–81, 1990.
• J. Otten. Mleancop: A connection prover for first-order modal logic. In Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings, volume 8562 of Lecture Notes in Computer Science, S. Demri, D. Kapur and C. Weidenbach, eds, pp. 269–276. Springer, Berlin Heidelberg, 2014.
• J. Otten. The nanocop 2.0 connection provers for classical, intuitionistic and modal logics. In Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings, volume 12842 of Lecture Notes in Computer Science, A. Das and S. Negri, eds, pp. 236–249. Springer, Berlin Heidelberg, 2021.
• J. Wu, H. Li, N. Oren and T. J. Norman. Gödel fuzzy argumentation frameworks. In Computational Models of Argument - Proceedings of COMMA 2016, Potsdam, Germany, 12-16 September, 2016, volume 287 of Frontiers in Artificial Intelligence and Applications, P. Baroni, T. F. Gordon, T. Scheffler and M. Stede, eds, pp. 447–458. IOS Press, Amsterdam, 2016.