Kevin McAreavey

47 papers A* 1A 1B 7C 2Journal 17Unranked 18

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Doing cybersecurity at home: A human-centred approach for mitigating attacks in AI-enabled home devices. Comput. Secur. 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
2025	B	`conf`	Multi-agent Deep Reinforcement Learning for Fake News Detection. IJCNN Yiwen Wu, Kevin McAreavey, Hongbo Bo, Weiru Liu, Ryan McConville
2024	B	`conf`	A User Study on Contrastive Explanations for Multi-Effector Temporal Planning with Non-Stationary Costs. ICTAI Xiaowei Liu, Kevin McAreavey, Weiru Liu
2024	J	`jnl`	A User Study on Contrastive Explanations for Multi-Effector Temporal Planning with Non-Stationary Costs. CoRR Xiaowei Liu, Kevin McAreavey, Weiru Liu
2024	J	`jnl`	A qualitative field study on explainable AI for lay users subjected to AI cyberattacks. CoRR Kevin McAreavey, Weiru Liu, Kim Bauters, Dennis Ivory, George Loukas, Manos Panaousis, Hsueh-Ju Chen, Rea Gill, Rachael Payler, Asimina Vasalou
2024	J	`jnl`	Explaining Reinforcement Learning: A Counterfactual Shapley Values Approach. CoRR Yiwei Shi, Qi Zhang, Kevin McAreavey, Weiru Liu
2024	J	`jnl`	In pursuit of thermal comfort: An exploration of smart heating in everyday life. Int. J. Hum. Comput. Stud. Asimina Vasalou, Andrea Gauthier, Ana Luisa Serta, Ceylan Besevli, Sarah Turner, Rachael Payler, Rea Gill, Kevin McAreavey, George Loukas, Weiru Liu, Roser Beneito-Montagut
2024	—	`conf`	Multi-Granular Evaluation of Diverse Counterfactual Explanations. ICAART (2) Yining Yuan, Kevin McAreavey, Shujun Li, Weiru Liu
2024	—	`conf`	Reinforcement Learning for Source Location Estimation: A Multi-Step Approach. ICIT Yiwei Shi, Kevin McAreavey, Cunjia Liu, Weiru Liu
2024	B	`conf`	TSFeatLIME: An Online User Study in Enhancing Explainability in Univariate Time Series Forecasting. ICTAI Hongnan Ma, Kevin McAreavey, Weiru Liu
2024	J	`jnl`	TSFeatLIME: An Online User Study in Enhancing Explainability in Univariate Time Series Forecasting. CoRR Hongnan Ma, Kevin McAreavey, Weiru Liu
2023	—	`conf`	A Comparative Analysis of Information Cascade Prediction Using Dynamic Heterogeneous and Homogeneous Graphs. COMPLEX NETWORKS (4) Yiwen Wu, Kevin McAreavey, Weiru Liu, Ryan McConville
2023	—	`conf`	An Interactive XAI Interface with Application in Healthcare for Non-experts. xAI (1) Jingyu Hu, Yizhu Liang, Weiyu Zhao, Kevin McAreavey, Weiru Liu
2023	—	`conf`	Contrastive Visual Explanations for Reinforcement Learning via Counterfactual Rewards. xAI (2) Xiaowei Liu, Kevin McAreavey, Weiru Liu
2023	C	`conf`	Modifications of the Miller Definition of Contrastive (Counterfactual) Explanations. ECSQARU Kevin McAreavey, Weiru Liu
2023	J	`jnl`	Modifications of the Miller definition of contrastive (counterfactual) explanations. CoRR Kevin McAreavey, Weiru Liu
2022	—	`conf`	A Smart Home Testbed for Evaluating XAI with Non-experts. ICAART (3) Kevin McAreavey, Kim Bauters, Weiru Liu
2022	—	`conf`	Developing and Experimenting on Approaches to Explainability in AI Systems. ICAART (2) Yuhao Zhang, Kevin McAreavey, Weiru Liu
2022	—	`conf`	Evaluating contrastive explanations for AI planning with non-experts: a smart home battery scenario. ICAC Yiwei Shi, Kevin McAreavey, Weiru Liu
2022	—	`conf`	Explainable AI for Non-Experts: Energy Tariff Forecasting. ICAC Hongnan Ma, Kevin McAreavey, Ryan McConville, Weiru Liu
2022	J	`jnl`	On Determinism of Game Engines Used for Simulation-Based Autonomous Vehicle Verification. IEEE Trans. Intell. Transp. Syst. Greg Chance, Abanoub Ghobrial, Kevin McAreavey, Séverin Lemaignan, Tony Pipe, Kerstin Eder
2021	J	`jnl`	A decision support framework for security resource allocation under ambiguity. Int. J. Intell. Syst. Wenjun Ma, Weiru Liu, Kevin McAreavey, Xudong Luo, Yuncheng Jiang, Jieyu Zhan, Zhenzhou Chen
2021	J	`jnl`	On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification. CoRR Greg Chance, Abanoub Ghobrial, Kevin McAreavey, Séverin Lemaignan, Tony Pipe, Kerstin Eder
2019	J	`jnl`	A Dempster-Shafer theory and uninorm-based framework of reasoning and multiattribute decision-making for surveillance system. Int. J. Intell. Syst. Wenjun Ma, Weiru Liu, Xudong Luo, Kevin McAreavey, Yuncheng Jiang, Jianbing Ma
2019	B	`conf`	Intention Interleaving Via Classical Replanning. ICTAI Mengwei Xu, Kevin McAreavey, Kim Bauters, Weiru Liu
2018	—	`conf`	A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems. SUM Mengwei Xu, Kim Bauters, Kevin McAreavey, Weiru Liu
2018	B	`conf`	A Framework for Plan Library Evolution in BDI Agent Systems. ICTAI Mengwei Xu, Kim Bauters, Kevin McAreavey, Weiru Liu
2018	J	`jnl`	Acceptable costs of minimax regret equilibrium: A Solution to security games with surveillance-driven probabilistic information. Expert Syst. Appl. Wenjun Ma, Kevin McAreavey, Weiru Liu, Xudong Luo
2018	—	`conf`	Community-Based Measures for Social Capital. COMPLEX NETWORKS (2) Christopher Spratt, Jun Hong, Kevin McAreavey, Weiru Liu
2018	A*	`conf`	Expected Utility with Relative Loss Reduction: A Unifying Decision Model for Resolving Four Well-Known Paradoxes. AAAI Wenjun Ma, Yuncheng Jiang, Weiru Liu, Xudong Luo, Kevin McAreavey
2018	B	`conf`	Individual-Level Social Capital in Weighted and Attributed Social Networks. ASONAM Rajesh Sharma, Kevin McAreavey, Jun Hong, Faisal Ghaffar
2018	J	`jnl`	Merginator: A belief merging tool for consensus support. J. Intell. Fuzzy Syst. Maria del Pilar Pozos Parra, Oscar Chávez-Bosquez, Kevin McAreavey
2017	J	`jnl`	Context-dependent combination of sensor information in Dempster-Shafer theory for BDI. Knowl. Inf. Syst. Sarah Calderwood, Kevin McAreavey, Weiru Liu, Jun Hong
2017	J	`jnl`	Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments. J. Artif. Intell. Res. Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong, Lluís Godo Lacasa, Carles Sierra
2017	—	`conf`	Modelling and Reasoning with Uncertain Event-observations for Event Inference. ICAART (2) Sarah Calderwood, Kevin McAreavey, Weiru Liu, Jun Hong
2017	B	`conf`	Resource-Based Dynamic Rewards for Factored MDPs. ICTAI Ronan Killough, Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong
2017	A	`conf`	The Event Calculus in Probabilistic Logic Programming with Annotated Disjunctions. AAMAS Kevin McAreavey, Kim Bauters, Weiru Liu, Jun Hong
2016	—	`conf`	On the development of a logic calculator: a novel tool to perform logical operations. LANMR Oscar Chávez-Bosquez, Pilar Pozos Parra, Kevin McAreavey
2016	—	`conf`	Risk-aware Planning in BDI Agents. ICAART (2) Ronan Killough, Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong
2015	—	`conf`	Contextual merging of uncertain information for better informed plan selection in BDI systems. WCICSS Sarah Calderwood, Kevin McAreavey, Weiru Liu, Jun Hong
2015	C	`conf`	Game-Theoretic Resource Allocation with Real-Time Probabilistic Surveillance Information. ECSQARU Wenjun Ma, Weiru Liu, Kevin McAreavey
2014	J	`jnl`	Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases. Int. J. Approx. Reason. Kevin McAreavey, Weiru Liu, Paul Miller
2014	—	`—`	Finding and measuring inconsistency in arbitrary knowledge bases. Kevin McAreavey
2013	—	`conf`	On the Merit of Selecting Different Belief Merging Operators. SUM Pilar Pozos Parra, Kevin McAreavey, Weiru Liu
2012	—	`conf`	Tools for Finding Inconsistencies in Real-world Logic-based Systems. STAIRS Kevin McAreavey, Weiru Liu, Paul Miller, Chris Meenan
2011	—	`conf`	Measuring Inconsistency in Network Intrusion Rules. DEXA Workshops Kevin McAreavey, Weiru Liu, Paul Miller
2011	J	`jnl`	Measuring Inconsistency in a Network Intrusion Detection Rule Set Based on Snort. Int. J. Semantic Comput. Kevin McAreavey, Weiru Liu, Paul Miller, Kedian Mu