Research Impact

ABA+

I advanced the main contributions of my PhD in the paper ABA+: Assumption-Based Argumentation with Preferences, published at KR 2016. ABA+ extends the well established structured argumentation formalism ABA with preferences. This research has since continued by efforts of mine as well as researchers internationally.

AA-CBR

As part of my PhD studies, I did an overseas research internship with Prof Ken Satoh at NII, Tokyo, on applying argumentation to legal reasoning, which resulted into the AA-CBR formalism, published at KR 2016. AA-CBR is a machine learning (case-based reasoning)-inspired and abstract argumentation-driven methodology for explainable prediction (classification).

  • We first advanced AA-CBR explanations in COMMA 2016 paper.
  • We later proposed, with a (then) PhD student, integrating ANNs with AA-CBR for explanatory predictions in XAI 2018 paper.
  • In a very successful interdisciplinary collaboration with Thomson Reuters, I advanced a methodology and developed a system for explaining UK primary legislation outcomes, published in 2019 in the leading journal on applications of expert systems, ESWA.
  • AA-CBR has been taught as part of a Master's level course at Imperial.
  • Study of AA-CBR has been further taken up by students under my supervision, as well as PhD students at Imperial.
  • ABA-CBR has reached various audiences, at places such as Tokyo and Swansea.

Explainable AI

The above research on ABA+ and AA-CBR falls into the overarching theme of XAI under which I undertake various activities.

List of Publications

Journal, Conference and Workshop Papers, Book Chapters

  1. K. Čyras, T. Oliveira: Resolving Conflicts in Clinical Guidelines using Argumentation
    International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019)
  2. A. Karamlou, K. Čyras, F. Toni: Complexity Results and Algorithms for Bipolar Argumentation
    International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019)
  3. A. Karamlou, K. Čyras, F. Toni: Deciding the Winner of a Debate Using Bipolar Argumentation
    International Conference on Autonomous Agents and Multiagent Systems (Demo Session) (AAMAS 2019)
  4. K. Čyras, D. Birch, Y. Guo, F. Toni, R. Dulay, S. Turvey, D. Greenberg, T. Hapuarachchi: Explanations by Arbitrated Argumentative Dispute
    Expert Systems with Applications (ESWA), 2019
  5. K. Čyras, D. Letsios, R. Misener, F. Toni: Argumentation for Explainable Scheduling
    The 33rd AAAI Conference on Artificial Intelligence (AAAI 2019)
  6. K. Čyras, T. Oliveira: Argumentation for Reasoning with Conflicting Clinical Guidelines and Preferences
    The 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
  7. K. Čyras, B. Delaney, D. Prociuk, F. Toni, M. Chapman, J. Dominguez, V. Curcin: Argumentation for Explainable Reasoning with Conflicting Medical Recommendations
    Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018, KR 2018 Workshop)
  8. K. Čyras, T. Oliveira, M. Williams, L. Bozzato, M. Homola, T. Mossakowski, A. Zimmermann: Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018) co-located with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
  9. O. Cocarascu, K. Čyras, F. Toni: Explanatory Predictions with Artificial Neural Networks and Argumentation
    IJCAI/ECAI 2018 Workshop on Explainable Artificial Intelligence (XAI 2018)
  10. K. Čyras, X. Fan, C. Schulz, F. Toni: Assumption-Based Argumentation: Disputes, Explanations, Preferences
    Handbook Of Formal Argumentation volume 1, 2018
    IfCoLoG Journal of Logics and their Applications 2017 September
  11. K. Čyras, C. Schulz, F. Toni: Capturing Bipolar Argumentation in Non-flat Assumption-Based Argumentation
    The 20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017)
  12. Z. Bao, K. Čyras, F. Toni: ABAplus: Attack Reversal in Abstract and Structured Argumentation with Preferences
    The 20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017)
  13. K. Čyras: Rational versus Intuitive Outcomes of Reasoning with Preferences: Argumentation Perspective
    Iberoamerican Journal of Artificial Intelligence 2017 March
  14. K. Čyras, F. Toni: ABA+: Assumption-Based Argumentation with Preferences
    The 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)
  15. K. Čyras, K. Satoh, F. Toni: Abstract Argumentation for Case-Based Reasoning
    The 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)
  16. K. Čyras, F. Toni: Properties of ABA+ for Non-Monotonic Reasoning
    The 16th International Workshop on Non-Monotonic Reasoning (NMR 2016)
  17. K. Čyras, K. Satoh, F. Toni: Explanation for Case-Based Reasoning via Abstract Argumentation
    The 6th International Conference on Computational Models of Argument (COMMA 2016)
  18. A. Rago, K. Čyras, F. Toni: Adapting the DF-QuAD Algorithm to Bipolar Argumentation
    Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016)
  19. K. Čyras: Argumentation-based Reasoning with Preferences
    Workshop on Decision Making in Dynamic Information Environments (DeMaDIE) at the 17th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2016)
  20. K. Čyras, F. Toni: Non-Monotonic Inference Properties for Assumption-Based Argumentation
    The 2015 International Workshop on Theory and Applications of Formal Argument (TAFA 2015)

Invited Talks

Posters