Measuring Inconsistency in Network Intrusion Rules. - Kevin McAreavey; Weiru Liu; Paul Miller 003 (DEXA Workshops, 2011)

Measuring Inconsistency in a Network Intrusion Detection Rule Set Based on Snort. - Kevin McAreavey; Weiru Liu; Paul Miller 003; Kedian Mu (Int. J. Semantic Comput., 2011)

Tools for Finding Inconsistencies in Real-world Logic-based Systems. - Kevin McAreavey; Weiru Liu; Paul Miller 003; Chris Meenan (STAIRS, 2012)

On the Merit of Selecting Different Belief Merging Operators. - Pilar Pozos Parra; Kevin McAreavey; Weiru Liu (SUM, 2013)

Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases. - Kevin McAreavey; Weiru Liu; Paul Miller 003 (Int. J. Approx. Reason., 2014)

Finding and measuring inconsistency in arbitrary knowledge bases. - Kevin McAreavey (2014)

Game-Theoretic Resource Allocation with Real-Time Probabilistic Surveillance Information. - Wenjun Ma; Weiru Liu; Kevin McAreavey (ECSQARU, 2015)

Contextual merging of uncertain information for better informed plan selection in BDI systems. - Sarah Calderwood; Kevin McAreavey; Weiru Liu; Jun Hong 001 (WCICSS, 2015)

Risk-aware Planning in BDI Agents. - Ronan Killough; Kim Bauters; Kevin McAreavey; Weiru Liu; Jun Hong 001 (ICAART (2), 2016)

On the development of a logic calculator: a novel tool to perform logical operations. - Oscar Chávez-Bosquez; Pilar Pozos Parra; Kevin McAreavey (LANMR, 2016)

The Event Calculus in Probabilistic Logic Programming with Annotated Disjunctions. - Kevin McAreavey; Kim Bauters; Weiru Liu; Jun Hong 001 (AAMAS, 2017)

Modelling and Reasoning with Uncertain Event-observations for Event Inference. - Sarah Calderwood; Kevin McAreavey; Weiru Liu; Jun Hong 001 (ICAART (2), 2017)

Resource-Based Dynamic Rewards for Factored MDPs. - Ronan Killough; Kim Bauters; Kevin McAreavey; Weiru Liu; Jun Hong 001 (ICTAI, 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 001; Lluís Godo Lacasa; Carles Sierra (J. Artif. Intell. Res., 2017)

Context-dependent combination of sensor information in Dempster-Shafer theory for BDI. - Sarah Calderwood; Kevin McAreavey; Weiru Liu; Jun Hong 001 (Knowl. Inf. Syst., 2017)

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 (AAAI, 2018)

Individual-Level Social Capital in Weighted and Attributed Social Networks. - Rajesh Sharma; Kevin McAreavey; Jun Hong 001; Faisal Ghaffar (ASONAM, 2018)

Community-Based Measures for Social Capital. - Christopher Spratt; Jun Hong 001; Kevin McAreavey; Weiru Liu (COMPLEX NETWORKS (2), 2018)

A Framework for Plan Library Evolution in BDI Agent Systems. - Mengwei Xu; Kim Bauters; Kevin McAreavey; Weiru Liu (ICTAI, 2018)

A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems. - Mengwei Xu; Kim Bauters; Kevin McAreavey; Weiru Liu (SUM, 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)

Merginator: A belief merging tool for consensus support. - Maria del Pilar Pozos Parra; Oscar Chávez-Bosquez; Kevin McAreavey (J. Intell. Fuzzy Syst., 2018)

Intention Interleaving Via Classical Replanning. - Mengwei Xu; Kevin McAreavey; Kim Bauters; Weiru Liu (ICTAI, 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)

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)

A Smart Home Testbed for Evaluating XAI with Non-experts. - Kevin McAreavey; Kim Bauters; Weiru Liu (ICAART (3), 2022)

Developing and Experimenting on Approaches to Explainability in AI Systems. - Yuhao Zhang; Kevin McAreavey; Weiru Liu (ICAART (2), 2022)

Explainable AI for Non-Experts: Energy Tariff Forecasting. - Hongnan Ma; Kevin McAreavey; Ryan McConville; Weiru Liu (ICAC, 2022)

Evaluating contrastive explanations for AI planning with non-experts: a smart home battery scenario. - Yiwei Shi; Kevin McAreavey; Weiru Liu (ICAC, 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)

A Comparative Analysis of Information Cascade Prediction Using Dynamic Heterogeneous and Homogeneous Graphs. - Yiwen Wu; Kevin McAreavey; Weiru Liu; Ryan McConville (COMPLEX NETWORKS (4), 2023)

Modifications of the Miller Definition of Contrastive (Counterfactual) Explanations. - Kevin McAreavey; Weiru Liu (ECSQARU, 2023)

An Interactive XAI Interface with Application in Healthcare for Non-experts. - Jingyu Hu 002; Yizhu Liang; Weiyu Zhao; Kevin McAreavey; Weiru Liu (xAI (1), 2023)

Contrastive Visual Explanations for Reinforcement Learning via Counterfactual Rewards. - Xiaowei Liu; Kevin McAreavey; Weiru Liu (xAI (2), 2023)

Multi-Granular Evaluation of Diverse Counterfactual Explanations. - Yining Yuan; Kevin McAreavey; Shujun Li; Weiru Liu (ICAART (2), 2024)

Reinforcement Learning for Source Location Estimation: A Multi-Step Approach. - Yiwei Shi; Kevin McAreavey; Cunjia Liu; Weiru Liu (ICIT, 2024)

A User Study on Contrastive Explanations for Multi-Effector Temporal Planning with Non-Stationary Costs. - Xiaowei Liu; Kevin McAreavey; Weiru Liu (ICTAI, 2024)

TSFeatLIME: An Online User Study in Enhancing Explainability in Univariate Time Series Forecasting. - Hongnan Ma; Kevin McAreavey; Weiru Liu (ICTAI, 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)

Explaining Reinforcement Learning: A Counterfactual Shapley Values Approach. - Yiwei Shi; Qi Zhang; Kevin McAreavey; Weiru Liu (CoRR, 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)

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; et al. (Comput. Secur., 2025)