Kevin McAreavey

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 29

Top Venues

ICTAI

ICAART (2)

CoRR

SUM

Queen's University Belfast, UK (PHD)

Education History

Queen's University Belfast, UK

PHD

Publications

Xiaowei Liu, Kevin McAreavey, Weiru Liu
Contrastive Visual Explanations for Reinforcement Learning via Counterfactual Rewards. xAI (2) (2023)
Kevin McAreavey, Weiru Liu
Modifications of the Miller definition of contrastive (counterfactual) explanations. CoRR (2023)
Kevin McAreavey, Weiru Liu
Modifications of the Miller Definition of Contrastive (Counterfactual) Explanations. ECSQARU (2023)
Jingyu Hu, Yizhu Liang, Weiyu Zhao, Kevin McAreavey, Weiru Liu
An Interactive XAI Interface with Application in Healthcare for Non-experts. xAI (1) (2023)
Kevin McAreavey, Kim Bauters, Weiru Liu
A Smart Home Testbed for Evaluating XAI with Non-experts. ICAART (3) (2022)
Yiwei Shi, Kevin McAreavey, Weiru Liu
Evaluating contrastive explanations for AI planning with non-experts: a smart home battery scenario. ICAC (2022)
Greg Chance, Abanoub Ghobrial, Kevin McAreavey, Séverin Lemaignan, Tony Pipe, Kerstin Eder
On Determinism of Game Engines Used for Simulation-Based Autonomous Vehicle Verification. IEEE Trans. Intell. Transp. Syst. 23 (11) (2022)
Hongnan Ma, Kevin McAreavey, Ryan McConville, Weiru Liu
Explainable AI for Non-Experts: Energy Tariff Forecasting. ICAC (2022)
Yuhao Zhang, Kevin McAreavey, Weiru Liu
Developing and Experimenting on Approaches to Explainability in AI Systems. ICAART (2) (2022)
Greg Chance, Abanoub Ghobrial, Kevin McAreavey, Séverin Lemaignan, Tony Pipe, Kerstin Eder
On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification. CoRR (2021)
Wenjun Ma, Weiru Liu, Kevin McAreavey, Xudong Luo, Yuncheng Jiang, Jieyu Zhan, Zhenzhou Chen
A decision support framework for security resource allocation under ambiguity. Int. J. Intell. Syst. 36 (1) (2021)
Wenjun Ma, Weiru Liu, Xudong Luo, Kevin McAreavey, Yuncheng Jiang, Jianbing Ma
A Dempster-Shafer theory and uninorm-based framework of reasoning and multiattribute decision-making for surveillance system. Int. J. Intell. Syst. 34 (11) (2019)
Mengwei Xu, Kevin McAreavey, Kim Bauters, Weiru Liu
Intention Interleaving Via Classical Replanning. ICTAI (2019)
Maria del Pilar Pozos Parra, Oscar Chávez-Bosquez, Kevin McAreavey
Merginator: A belief merging tool for consensus support. J. Intell. Fuzzy Syst. 34 (5) (2018)
Christopher Spratt, Jun Hong, Kevin McAreavey, Weiru Liu
Community-Based Measures for Social Capital. COMPLEX NETWORKS (2) (2018)
Rajesh Sharma, Kevin McAreavey, Jun Hong, Faisal Ghaffar
Individual-Level Social Capital in Weighted and Attributed Social Networks. ASONAM (2018)
Wenjun Ma, Kevin McAreavey, Weiru Liu, Xudong Luo
Acceptable costs of minimax regret equilibrium: A Solution to security games with surveillance-driven probabilistic information. Expert Syst. Appl. 108 (2018)
Mengwei Xu, Kim Bauters, Kevin McAreavey, Weiru Liu
A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems. SUM (2018)
Mengwei Xu, Kim Bauters, Kevin McAreavey, Weiru Liu
A Framework for Plan Library Evolution in BDI Agent Systems. ICTAI (2018)
Wenjun Ma, Yuncheng Jiang, Weiru Liu, Xudong Luo, Kevin McAreavey
Expected Utility with Relative Loss Reduction: A Unifying Decision Model for Resolving Four Well-Known Paradoxes. AAAI (2018)
Kevin McAreavey, Kim Bauters, Weiru Liu, Jun Hong
The Event Calculus in Probabilistic Logic Programming with Annotated Disjunctions. AAMAS (2017)
Ronan Killough, Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong
Resource-Based Dynamic Rewards for Factored MDPs. ICTAI (2017)
Sarah Calderwood, Kevin McAreavey, Weiru Liu, Jun Hong
Context-dependent combination of sensor information in Dempster-Shafer theory for BDI. Knowl. Inf. Syst. 51 (1) (2017)
Sarah Calderwood, Kevin McAreavey, Weiru Liu, Jun Hong
Modelling and Reasoning with Uncertain Event-observations for Event Inference. ICAART (2) (2017)
Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong, Lluís Godo Lacasa, Carles Sierra
Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments. J. Artif. Intell. Res. 58 (2017)
Oscar Chávez-Bosquez, Pilar Pozos Parra, Kevin McAreavey
On the development of a logic calculator: a novel tool to perform logical operations. LANMR (2016)
Ronan Killough, Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong
Risk-aware Planning in BDI Agents. ICAART (2) (2016)
Sarah Calderwood, Kevin McAreavey, Weiru Liu, Jun Hong
Contextual merging of uncertain information for better informed plan selection in BDI systems. WCICSS (2015)
Wenjun Ma, Weiru Liu, Kevin McAreavey
Game-Theoretic Resource Allocation with Real-Time Probabilistic Surveillance Information. ECSQARU (2015)
Kevin McAreavey, Weiru Liu, Paul Miller
Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases. Int. J. Approx. Reason. 55 (8) (2014)
Pilar Pozos Parra, Kevin McAreavey, Weiru Liu
On the Merit of Selecting Different Belief Merging Operators. SUM (2013)
Kevin McAreavey, Weiru Liu, Paul Miller, Chris Meenan
Tools for Finding Inconsistencies in Real-world Logic-based Systems. STAIRS (2012)
Kevin McAreavey, Weiru Liu, Paul Miller
Measuring Inconsistency in Network Intrusion Rules. DEXA Workshops (2011)
Kevin McAreavey, Weiru Liu, Paul Miller, Kedian Mu
Measuring Inconsistency in a Network Intrusion Detection Rule Set Based on Snort. Int. J. Semantic Comput. 5 (3) (2011)

Kevin McAreavey.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kevin McAreavey