Xiuyi Fan

Veera Raghava Reddy Kovvuri

CoRR, 2022

On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study.

[BibT_eX]

[DOI]

CoRR, 2022

Explainable Decision Making with Lean and Argumentative Explanations.

[BibT_eX]

[DOI]

CoRR, 2022

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Towards Polynomial Adaptive Local Explanations for Healthcare Classifiers.

[BibT_eX]

[DOI]

Jamie Andrew Duell

Veera Raghava Reddy Kovvuri

Monika Seisenberger

Proceedings of the Foundations of Intelligent Systems - 26th International Symposium, 2022

On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study.

[BibT_eX]

[DOI]

Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2022

Rule-PSAT: Relaxing Rule Constraints in Probabilistic Assumption-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2022

2021

Towards a Shapley Value Graph Framework for Medical peer-influence.

[BibT_eX]

[DOI]

CoRR, 2021

An Investigation of the Impact of COVID-19 Non-Pharmaceutical Interventions and Economic Support Policies on Foreign Exchange Markets with Explainable AI Techniques.

[BibT_eX]

[DOI]

CoRR, 2021

Evaluating the Correctness of Explainable AI Algorithms for Classification.

[BibT_eX]

[DOI]

Orcun Yalcin

CoRR, 2021

An Initial Study of Machine Learning Underspecification Using Feature Attribution Explainable AI Algorithms: A COVID-19 Virus Transmission Case Study.

[BibT_eX]

[DOI]

James Hinns

Veera Raghava Reddy Kovvuri

Mehmet Orcun Yalcin

Markus Roggenbach

Proceedings of the PRICAI 2021: Trends in Artificial Intelligence, 2021

ExMed: An AI Tool for Experimenting Explainable AI Techniques on Medical Data Analytics.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Explainable AI for Classification Using Probabilistic Logic Inference.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence - First CAAI International Conference, 2021

A Comparison of Explanations Given by Explainable Artificial Intelligence Methods on Analysing Electronic Health Records.

[BibT_eX]

[DOI]

Proceedings of the IEEE EMBS International Conference on Biomedical and Health Informatics, 2021

2020

An Investigation of COVID-19 Spreading Factors with Explainable AI Techniques.

[BibT_eX]

[DOI]

CoRR, 2020

Explainable AI for Classification using Probabilistic Logic Inference.

[BibT_eX]

[DOI]

Thomas C. Henderson

CoRR, 2020

Probabilistic sentence satisfiability: An approach to PSAT.

[BibT_eX]

[DOI]

Artif. Intell., 2020

2019

An explainable multi-attribute decision model based on argumentation.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2019

2018

A Temporal Planning Example with Assumption-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

On Generating Explainable Plans with Assumption-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

Probabilistic Logic for Intelligent Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Autonomous Systems 15, 2018

Context-based and Explainable Decision Making with Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Assumption-based Argumentation: Disputes, Explanations, Preferences.

[BibT_eX]

[DOI]

FLAP, 2017

Fun-Knee™: A novel smart knee sleeve for Total-Knee-Replacement rehabilitation with gamification.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Conference on Serious Games and Applications for Health, 2017

BRECCIA: A novel multi-source fusion framework for dynamic geospatial data analysis.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2017

A probabilistic logic for multi-source heterogeneous information fusion.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2017

Robust unobtrusive fall detection using infrared array sensors.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2017

Two Forms of Explanations in Computational Assumption-based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

A first step towards explained activity recognition with computational abstract argumentation.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2016

Comparative study of machine learning algorithms for activity recognition with data sequence in home-like environment.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2016

Identifying and Rewarding Subcrowds in Crowdsourcing.

[BibT_eX]

[DOI]

Chunyan Miao

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Explained Activity Recognition with Computational Assumption-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

On the Interplay between Games, Argumentation and Dialogues.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

On Explanations for Non-Acceptable Arguments.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Formal Argumentation, 2015

Mechanism Design for Argumentation-Based Information-Seeking and Inquiry.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

An Overview of Argumentation Frameworks for Decision Support.

[BibT_eX]

[DOI]

Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2015

On Computing Explanations in Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

A general framework for sound assumption-based argumentation dialogues.

[BibT_eX]

[DOI]

Artif. Intell., 2014

Explaining Best Decisions via Argumentation.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

On Computing Explanations in Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Dialogical two-agent decision making with assumption-based argumentation.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

Decision Making with Assumption-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Formal Argumentation, 2013

Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012

Assumption-based argumentation dialogues.

[BibT_eX]

[DOI]

PhD thesis, 2012

Agent Strategies for ABA-based Information-seeking and Inquiry Dialogues.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Mechanism Design for Argumentation-based Persuasion.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2012

Argumentation Dialogues for Two-Agent Conflict Resolution.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2012

2011

A First Step towards Argumentation Dialogues for Discovery.

[BibT_eX]

[DOI]

Proceedings of the Theorie and Applications of Formal Argumentation, 2011

Assumption-Based Argumentation Dialogues.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Conflict resolution with argumentation dialogues.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Agent dialogues and argumentation.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

Integrated planning and control of large tracked vehicles in open terrain.

[BibT_eX]

[DOI]

Hugh F. Durrant-Whyte

Proceedings of the IEEE International Conference on Robotics and Automation, 2010

Two-Agent Conflict Resolution with Assumption-Based Argumentation.

[BibT_eX]

[DOI]

Adil Hussain

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

2008

Robotshare: a Google for Robots.

[BibT_eX]

[DOI]

Thomas C. Henderson

Int. J. Humanoid Robotics, 2008

2007

Towards a Transparent Grid Access an Introduction to Grid Resource Utilization Package in Computational Science and Engineering Online.

[BibT_eX]