Kevin McAreavey

Google Scholar

GitHub

Publications

• Asimina Vasalou, Andrea Gauthier, Ana Luisa Serta, Ceylan Beşevli, Sarah Turner, Rachael Payler, Rea Gill, Kevin McAreavey, George Loukas, Weiru Liu, and Roser Beneito-Montagut. In pursuit of thermal comfort: An exploration of smart heating in everyday life. International Journal of Human-Computer Studies, 186: 103245, 2024.
• Yiwei Shi, Kevin McAreavey, Cunjia Liu, and Weiru Liu. Reinforcement Learning for Source Location Estimation: A Multi-Step Approach. In Proceedings of the 2024 IEEE International Conference on Industrial Technology (ICIT’24), 2024.
• Yining Yuan, Kevin McAreavey, Shujun Li, and Weiru Liu. Multi-Granular Evaluation of Diverse Counterfactual Explanations. In Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 2 (ICAART’24), pages 186-197, 2024.
• Yiwen Wu, Kevin McAreavey, Weiru Liu, and Ryan McConville. A Comparative Analysis of Information Cascade Prediction Using Dynamic Heterogeneous and Homogeneous Graphs. In Proceedings of the 12th International Conference on Complex Networks and Their Applications (CN’23), pages 168-179, 2023.
• Kevin McAreavey and Weiru Liu. Modifications of the Miller definition of contrastive (counterfactual) explanations. In Proceedings of the 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’23), pages 54–67, 2023. [arXiv]
• Jingyu Hu, Yizhu Liang, Weiyu Zhao, Kevin McAreavey, and Weiru Liu. An Interactive XAI Interface with Application in Healthcare for Non-experts. In Proceedings of the The 1st World Conference on Explainable Artificial Intelligence (xAI’23), pages 649-670, 2023.
• Xiaowei Liu, Kevin McAreavey, Weiru Liu. Contrastive Visual Explanations for Reinforcement Learning via Counterfactual Rewards. In Proceedings of the The 1st World Conference on Explainable Artificial Intelligence (xAI’23), pages 72-87, 2023.
• Hongnan Ma, Kevin McAreavey, Ryan McConville, Weiru Liu. Explainable AI for non-experts: Energy tariff forecasting. In Proceedings of the 27th International Conference on Automation and Computing (ICAC’22), 2022.
• Yiwei Shi, Kevin McAreavey, Weiru Liu. Evaluating contrastive explanations for AI planning with non-experts: a smart home battery scenario. In Proceedings of the 27th International Conference on Automation and Computing (ICAC’22), 2022.
• Kevin McAreavey, Kim Bauters, and Weiru Liu. A smart home testbed for evaluating XAI with non-experts. In Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 3 (ICAART’22), pages 773–784, 2022.
• Yuhao Zhang, Kevin McAreavey, and Weiru Liu. Developing and experimenting on approaches to explainability in AI systems. In Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 2 (ICAART’22), pages 518–527, 2022.
• Greg Chance, Abanoub Ghobrial, Kevin McAreavey, Severin Lemaignan, Tony Pipe, and Kerstin Eder. On determinism of game engines used for simulation-based autonomous vehicle verification. IEEE Transactions on Intelligent Transportation Systems, 23(11):20538-20552, 2022.
• Wenjun Ma, Weiru Liu, Kevin McAreavey, Xudong Luo, Yuncheng Jiang, Jieyu Zhan, and Zhenzhou Chen. A decision support framework for security resource allocation under ambiguity. International Journal of Intelligent Systems, 36(1):5–52, 2021.
• Mengwei Xu, Kevin McAreavey, Kim Bauters, and Weiru Liu. Intention interleaving via classical replanning. In Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence (ICTAI’19), pages 85–92, 2019.
• Wenjun Ma, Weiru Liu, Xudong Luo, Kevin McAreavey, Yuncheng Jiang, and Jianbing Ma. A Dempster-Shafer theory and uninorm-based framework of reasoning and multiattribute decision-making for surveillance system. International Journal of Intelligent Systems, 34(11):3077–3104, 2019.
• Kevin McAreavey, Kim Bauters, Weiru Liu, and Jun Hong. Branching-bounded contingent planning via belief space search. In Proceedings of the 2nd ICAPS Workshop on Explainable AI Planning (XAIP’19), pages 5–13, 2019.
• Christopher Spratt, Jun Hong, Kevin McAreavey, and Weiru Liu. Community-based measures for social capital. In Proceedings of the 7th International Conference on Complex Networks and Their Applications (CN’18), pages 327–338, 2018.
• Mengwei Xu, Kim Bauters, Kevin McAreavey, and Weiru Liu. A framework for plan library evolution in BDI agent systems. In Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI’18), pages 414–421, 2018.
• Rajesh Sharma, Kevin McAreavey, Jun Hong, and Faisal Ghaffar. Individual-level social capital in weighted and attributed social networks. In Proceedings of the 2018 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM’18), pages 1032–1037, 2018.
• Mengwei Xu, Kim Bauters, Kevin McAreavey, and Weiru Liu. A formal approach to embedding first-principles planning in BDI agent systems. In Proceedings of the 12th International Conference on Scalable Uncertainty Management (SUM’18), pages 333–347, 2018.
• Wenjun Ma, Kevin McAreavey, Weiru Liu, and Xudong Luo. Acceptable costs of minimax regret equilibrium: A solution to security games with surveillance-driven probabilistic information. Expert Systems with Applications, 108:206–222, 2018.
• Wenjun Ma, Yuncheng Jiang, Weiru Liu, Xudong Luo, and Kevin McAreavey. Expected utility with relative loss reduction: A unifying decision model for resolving four well-known paradoxes. In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI’18), pages 687–695, 2018.
• Pilar Pozos-Parra, Oscar Chávez-Bosquez, and Kevin McAreavey. Merginator: A belief-merging tool for consensus support. Journal of Intelligent & Fuzzy Systems, 34(5):3199–3210, 2018.
• Ronan Killough, Kim Bauters, Kevin McAreavey, Weiru Liu, and Jun Hong. Resource-based dynamic rewards for factored MDPs. In Proceedings of the 29th International Conference on Tools with Artificial Intelligence (ICTAI’17), pages 1320–1327, 2017.
• Kevin McAreavey, Kim Bauters, Weiru Liu, and Jun Hong. The event calculus in probabilistic logic programming with annotated disjunctions. In Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS’17), pages 105–113, 2017.
• Sarah Calderwood, Kevin McAreavey, Weiru Liu, and Jun Hong. Modelling and reasoning with uncertain event-observations for event inference. In Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART (ICAART’17), pages 308–317, 2017.
• Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong, Lluís Godo, and Carles Sierra. Managing different sources of uncertainty in a BDI framework in a principled way with tractable fragments. Journal of Artificial Intelligence Research, 58:731–775, 2017.
• Oscar Chávez-Bosquez, Pilar Pozos-Parra, and Kevin McAreavey. On the development of a logic calculator: a novel tool to perform logical operations. In Proceedings of the 10th Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning (LANMR’16), pages 9–16, 2016.
• Sarah Calderwood, Kevin McAreavey, Weiru Liu, and Jun Hong. Context-dependent combination of sensor information in Dempster-Shafer theory for BDI. Knowledge and Information Systems, 51:259–285, 2016.
• Sarah Calderwood, Kevin McAreavey, Weiru Liu, and Jun Hong. Uncertain information combination for decision making in smart grid BDI agent systems. International Journal of Industrial Control Systems Security, pages 21–30, 2016.
• Ronan Killough, Kim Bauters, Kevin McAreavey, Weiru Liu, and Jun Hong. Risk-aware planning in BDI agents. In Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART’16), pages 322–329, 2016.
• Kim Bauters, Kevin McAreavey, Jun Hong, Yingke Chen, Weiru Liu, Lluís Godo, and Carles Sierra. Probabilistic planning in AgentSpeak using the POMDP framework. In Ioannis Hatzilygeroudis, Vasile Palade, and Jim Prentzas, editors, Combinations of Intelligent Methods and Applications, pages 19–37. Springer, 2016.
• Sarah Calderwood, Kevin McAreavey, Weiru Liu, and Jun Hong. Contextual merging of uncertain information for better informed plan selection in BDI systems. In Proceedings of the 2015 World Congress on Industrial Control Systems Security (WCICSS’15), pages 64–65, 2016.
• Wenjun Ma, Weiru Liu, and Kevin McAreavey. Game-theoretic resource allocation with real-time probabilistic surveillance information. In Proceedings of the 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’15), pages 151–161, 2015.
• Yingke Chen, Kim Bauters, Weiru Liu, Jun Hong, Kevin McAreavey, Lluis Godo, and Carles Sierra. AgentSpeak+: AgentSpeak with probabilistic planning. In Proceedings of the 4th International Workshop on Combinations of Intelligent Methods and Applications (CIMA’14), pages 15–20, 2014.
• Kevin McAreavey, Weiru Liu, and Paul Miller. Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases. International Journal of Approximate Reasoning, 55(8):1659–1693, 2014.
• Pilar Pozos-Parra, Kevin McAreavey, and Weiru Liu. On the merit of selecting different belief merging operators. In Proceedings of the 7th International Conference on Scalable Uncertainty Management (SUM’13), pages 331–345, 2013.
• Kevin McAreavey, Weiru Liu, Paul Miller, and Chris Meenan. Tools for finding inconsistencies in real-world logic-based systems. In Proceedings of the 6th Starting AI Researchers’ Symposium (STAIRS’12), pages 192–203, 2012.
• Kevin McAreavey, Weiru Liu, Paul Miller, and Kedian Mu. Measuring inconsistency in a network intrusion detection rule set based on Snort. International Journal of Semantic Computing, 5(3):281–322, 2011.
• Kevin McAreavey, Weiru Liu, and Paul Miller. Measuring inconsistency in network intrusion rules. In Proceedings of the 22nd International Workshop on Database and Expert Systems Applications (DEXA’11), pages 339–344, 2011.

Teaching

• Tutorial Series - Programming in Jason (2024).

Software

• Cuttlefish: smart home scheduler web application.
• Squid: AI-enabled smart radiator valve used in the EPSRC CHAI project.
• pycausalexplainer Python library for casual explanations based on structural equation models.
• CAV-Gym: 2D vehicle simulator based on OpenAI Gym.
• BCP partially observable non-deterministic (POND) planner to find plans with bounded branching.
• SEC ProbLog: the simple event calculus in ProbLog using annotated disjunctions.
• TEAgentSpeak: tractable epistemic AgentSpeak.
• SDSRA: surveillance-driven security resource allocation.
• SeGUA: security games under ambiguity.
• CDC-DS: context-dependent combination of mass functions in Dempster-Shafer theory.
• MIMUS: minimal inconsistent subsets from minimal unsatisfiable subformulas.