Publications
Journals
Jha R, Belardinelli F, Toni F, 2020, Formal Verification of Debates in Argumentation Theory., Corr, Vol:abs/1912.05828
Conference
Albini E, Rago A, Baroni P, et al., Relation-Based Counterfactual Explanations for Bayesian Network Classifiers, The 29th International Joint Conference on Artificial Intelligence (IJCAI 2020)
Cocarascu O, Stylianou A, Cyras K, et al., Data-empowered argumentation for dialectically explainable predictions, 24th European Conference on Artificial Intelligence (ECAI 2020), IOS Press
Jha R, Belardinelli F, Toni F, 2020, Formal verification of debates in argumentation theory., ACM, Pages:940-947