Kevin McAreavey

According to our database, Kevin McAreavey authored at least 42 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Doing cybersecurity at home: A human-centred approach for mitigating attacks in AI-enabled home devices.

Asimina Vasalou, Laura Benton, Ana Luisa Serta, Andrea Gauthier, Ceylan Besevli, Sarah Turner, Rea Gill, Rachael Payler, Etienne B. Roesch, Kevin McAreavey, Kim Bauters, Weiru Liu, Hsueh-Ju Chen, Dennis Ivory, Manos Panaousis, Georgios Loukas

Comput. Secur., 2025

2024

In pursuit of thermal comfort: An exploration of smart heating in everyday life.

Asimina Vasalou, Andrea Gauthier, Ana Luisa Serta, Ceylan Besevli, Sarah Turner, Rachael Payler, Rea Gill, Kevin McAreavey, George Loukas, Weiru Liu, Roser Beneito-Montagut

Int. J. Hum. Comput. Stud., 2024

TSFeatLIME: An Online User Study in Enhancing Explainability in Univariate Time Series Forecasting.

Hongnan Ma, Kevin McAreavey, Weiru Liu

CoRR, 2024

A User Study on Contrastive Explanations for Multi-Effector Temporal Planning with Non-Stationary Costs.

Xiaowei Liu, Kevin McAreavey, Weiru Liu

CoRR, 2024

Explaining Reinforcement Learning: A Counterfactual Shapley Values Approach.

Yiwei Shi, Qi Zhang, Kevin McAreavey, Weiru Liu

CoRR, 2024

A qualitative field study on explainable AI for lay users subjected to AI cyberattacks.

Kevin McAreavey, Weiru Liu, Kim Bauters, Dennis Ivory, George Loukas, Manos Panaousis, Hsueh-Ju Chen, Rea Gill, Rachael Payler, Asimina Vasalou

CoRR, 2024

Reinforcement Learning for Source Location Estimation: A Multi-Step Approach.

Yiwei Shi, Kevin McAreavey, Cunjia Liu, Weiru Liu

Proceedings of the IEEE International Conference on Industrial Technology, 2024

Multi-Granular Evaluation of Diverse Counterfactual Explanations.

Yining Yuan, Kevin McAreavey, Shujun Li, Weiru Liu

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

Contrastive Visual Explanations for Reinforcement Learning via Counterfactual Rewards.

Xiaowei Liu, Kevin McAreavey, Weiru Liu

Proceedings of the Explainable Artificial Intelligence, 2023

An Interactive XAI Interface with Application in Healthcare for Non-experts.

Jingyu Hu, Yizhu Liang, Weiyu Zhao, Kevin McAreavey, Weiru Liu

Proceedings of the Explainable Artificial Intelligence, 2023

Modifications of the Miller Definition of Contrastive (Counterfactual) Explanations.

Kevin McAreavey, Weiru Liu

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2023

A Comparative Analysis of Information Cascade Prediction Using Dynamic Heterogeneous and Homogeneous Graphs.

Yiwen Wu, Kevin McAreavey, Weiru Liu, Ryan McConville

Proceedings of the Complex Networks & Their Applications XII, 2023

2022

On Determinism of Game Engines Used for Simulation-Based Autonomous Vehicle Verification.

Greg Chance, Abanoub Ghobrial, Kevin McAreavey, Séverin Lemaignan, Tony Pipe, Kerstin Eder

IEEE Trans. Intell. Transp. Syst., 2022

Evaluating contrastive explanations for AI planning with non-experts: a smart home battery scenario.

Yiwei Shi, Kevin McAreavey, Weiru Liu

Proceedings of the 27th International Conference on Automation and Computing, 2022

Explainable AI for Non-Experts: Energy Tariff Forecasting.

Hongnan Ma, Kevin McAreavey, Ryan McConville, Weiru Liu

Proceedings of the 27th International Conference on Automation and Computing, 2022

Developing and Experimenting on Approaches to Explainability in AI Systems.

Yuhao Zhang, Kevin McAreavey, Weiru Liu

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

A Smart Home Testbed for Evaluating XAI with Non-experts.

Kevin McAreavey, Kim Bauters, Weiru Liu

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

2021

A decision support framework for security resource allocation under ambiguity.

Wenjun Ma, Weiru Liu, Kevin McAreavey, Xudong Luo, Yuncheng Jiang, Jieyu Zhan, Zhenzhou Chen

Int. J. Intell. Syst., 2021

2019

A Dempster-Shafer theory and uninorm-based framework of reasoning and multiattribute decision-making for surveillance system.

Wenjun Ma, Weiru Liu, Xudong Luo, Kevin McAreavey, Yuncheng Jiang, Jianbing Ma

Int. J. Intell. Syst., 2019

Intention Interleaving Via Classical Replanning.

Mengwei Xu, Kevin McAreavey, Kim Bauters, Weiru Liu

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

2018

Merginator: A belief merging tool for consensus support.

Maria del Pilar Pozos Parra, Oscar Chávez-Bosquez, Kevin McAreavey

J. Intell. Fuzzy Syst., 2018

Acceptable costs of minimax regret equilibrium: A Solution to security games with surveillance-driven probabilistic information.

Wenjun Ma, Kevin McAreavey, Weiru Liu, Xudong Luo

Expert Syst. Appl., 2018

A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems.

Mengwei Xu, Kim Bauters, Kevin McAreavey, Weiru Liu

Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

A Framework for Plan Library Evolution in BDI Agent Systems.

Mengwei Xu, Kim Bauters, Kevin McAreavey, Weiru Liu

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Community-Based Measures for Social Capital.

Christopher Spratt, Jun Hong, Kevin McAreavey, Weiru Liu

Proceedings of the Complex Networks and Their Applications VII, 2018

Individual-Level Social Capital in Weighted and Attributed Social Networks.

Rajesh Sharma, Kevin McAreavey, Jun Hong, Faisal Ghaffar

Proceedings of the IEEE/ACM 2018 International Conference on Advances in Social Networks Analysis and Mining, 2018

Expected Utility with Relative Loss Reduction: A Unifying Decision Model for Resolving Four Well-Known Paradoxes.

Wenjun Ma, Yuncheng Jiang, Weiru Liu, Xudong Luo, Kevin McAreavey

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Context-dependent combination of sensor information in Dempster-Shafer theory for BDI.

Sarah Calderwood, Kevin McAreavey, Weiru Liu, Jun Hong

Knowl. Inf. Syst., 2017

Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments.

Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong, Lluís Godo Lacasa, Carles Sierra

J. Artif. Intell. Res., 2017

Resource-Based Dynamic Rewards for Factored MDPs.

Ronan Killough, Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Modelling and Reasoning with Uncertain Event-observations for Event Inference.

Sarah Calderwood, Kevin McAreavey, Weiru Liu, Jun Hong

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

The Event Calculus in Probabilistic Logic Programming with Annotated Disjunctions.

Kevin McAreavey, Kim Bauters, Weiru Liu, Jun Hong

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

2016

On the development of a logic calculator: a novel tool to perform logical operations.

Oscar Chávez-Bosquez, Pilar Pozos Parra, Kevin McAreavey

Proceedings of the Tenth Latin American Workshop on Logic/Languages, 2016

Risk-aware Planning in BDI Agents.

Ronan Killough, Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

2015

Contextual merging of uncertain information for better informed plan selection in BDI systems.

Sarah Calderwood, Kevin McAreavey, Weiru Liu, Jun Hong

Proceedings of the 2015 World Congress on Industrial Control Systems Security, 2015

Game-Theoretic Resource Allocation with Real-Time Probabilistic Surveillance Information.

Wenjun Ma, Weiru Liu, Kevin McAreavey

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

2014

Finding and measuring inconsistency in arbitrary knowledge bases.

Kevin McAreavey

PhD thesis, 2014

Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases.

Kevin McAreavey, Weiru Liu, Paul Miller

Int. J. Approx. Reason., 2014

2013

On the Merit of Selecting Different Belief Merging Operators.

Pilar Pozos Parra, Kevin McAreavey, Weiru Liu

Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

2012

Tools for Finding Inconsistencies in Real-world Logic-based Systems.

Kevin McAreavey, Weiru Liu, Paul Miller, Chris Meenan

Proceedings of the STAIRS 2012, 2012

2011

Measuring Inconsistency in a Network Intrusion Detection Rule Set Based on Snort.

Kevin McAreavey, Weiru Liu, Paul Miller, Kedian Mu

Int. J. Semantic Comput., 2011

Measuring Inconsistency in Network Intrusion Rules.

Kevin McAreavey, Weiru Liu, Paul Miller

Proceedings of the 2011 Database and Expert Systems Applications, 2011