default search action
Kevin McAreavey
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j11]Asimina Vasalou
, Laura Benton, Ana Luisa Serta, Andrea Gauthier
Doing cybersecurity at home: A human-centred approach for mitigating attacks in AI-enabled home devices. Comput. Secur. 148: 104112 (2025) - 2024
- [j10]Asimina Vasalou
In pursuit of thermal comfort: An exploration of smart heating in everyday life. Int. J. Hum. Comput. Stud. 186: 103245 (2024) - [c26]Yining Yuan, Kevin McAreavey, Shujun Li, Weiru Liu
Multi-Granular Evaluation of Diverse Counterfactual Explanations. ICAART (2) 2024: 186-197 - [c25]Yiwei Shi, Kevin McAreavey, Cunjia Liu, Weiru Liu
Reinforcement Learning for Source Location Estimation: A Multi-Step Approach. ICIT 2024: 1-8 - [i6]Kevin McAreavey, Weiru Liu, Kim Bauters, Dennis Ivory, George Loukas, Manos Panaousis, Hsueh-Ju Chen, Rea Gill, Rachael Payler, Asimina Vasalou:
A qualitative field study on explainable AI for lay users subjected to AI cyberattacks. CoRR abs/2406.07369 (2024) - [i5]Yiwei Shi, Qi Zhang, Kevin McAreavey, Weiru Liu:
Explaining Reinforcement Learning: A Counterfactual Shapley Values Approach. CoRR abs/2408.02529 (2024) - [i4]Xiaowei Liu, Kevin McAreavey, Weiru Liu:
A User Study on Contrastive Explanations for Multi-Effector Temporal Planning with Non-Stationary Costs. CoRR abs/2409.13427 (2024) - [i3]Hongnan Ma, Kevin McAreavey, Weiru Liu:
TSFeatLIME: An Online User Study in Enhancing Explainability in Univariate Time Series Forecasting. CoRR abs/2409.15950 (2024) - 2023
- [c24]Yiwen Wu, Kevin McAreavey, Weiru Liu, Ryan McConville:
A Comparative Analysis of Information Cascade Prediction Using Dynamic Heterogeneous and Homogeneous Graphs. COMPLEX NETWORKS (4) 2023: 168-179 - [c23]Kevin McAreavey, Weiru Liu:
Modifications of the Miller Definition of Contrastive (Counterfactual) Explanations. ECSQARU 2023: 54-67 - [c22]Xiaowei Liu, Kevin McAreavey, Weiru Liu
Contrastive Visual Explanations for Reinforcement Learning via Counterfactual Rewards. xAI (2) 2023: 72-87 - [c21]Jingyu Hu
An Interactive XAI Interface with Application in Healthcare for Non-experts. xAI (1) 2023: 649-670 - [i2]Kevin McAreavey, Weiru Liu:
Modifications of the Miller definition of contrastive (counterfactual) explanations. CoRR abs/2307.10832 (2023) - 2022
- [j9]Greg Chance
On Determinism of Game Engines Used for Simulation-Based Autonomous Vehicle Verification. IEEE Trans. Intell. Transp. Syst. 23(11): 20538-20552 (2022) - [c20]Yuhao Zhang, Kevin McAreavey, Weiru Liu
Developing and Experimenting on Approaches to Explainability in AI Systems. ICAART (2) 2022: 518-527 - [c19]Kevin McAreavey, Kim Bauters, Weiru Liu
A Smart Home Testbed for Evaluating XAI with Non-experts. ICAART (3) 2022: 773-784 - [c18]Hongnan Ma, Kevin McAreavey, Ryan McConville
Explainable AI for Non-Experts: Energy Tariff Forecasting. ICAC 2022: 1-6 - [c17]Yiwei Shi, Kevin McAreavey, Weiru Liu
Evaluating contrastive explanations for AI planning with non-experts: a smart home battery scenario. ICAC 2022: 1-6 - 2021
- [j8]Wenjun Ma, Weiru Liu
A decision support framework for security resource allocation under ambiguity. Int. J. Intell. Syst. 36(1): 5-52 (2021) - [i1]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 abs/2104.06262 (2021)
2010 – 2019
- 2019
- [j7]Wenjun Ma
A Dempster-Shafer theory and uninorm-based framework of reasoning and multiattribute decision-making for surveillance system. Int. J. Intell. Syst. 34(11): 3077-3104 (2019) - [c16]Mengwei Xu
Intention Interleaving Via Classical Replanning. ICTAI 2019: 85-92 - 2018
- [j6]Wenjun Ma
Acceptable costs of minimax regret equilibrium: A Solution to security games with surveillance-driven probabilistic information. Expert Syst. Appl. 108: 206-222 (2018) - [j5]Maria del Pilar Pozos Parra, Oscar Chávez-Bosquez
Merginator: A belief merging tool for consensus support. J. Intell. Fuzzy Syst. 34(5): 3199-3210 (2018) - [c15]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: 687-695 - [c14]Rajesh Sharma, Kevin McAreavey, Jun Hong
Individual-Level Social Capital in Weighted and Attributed Social Networks. ASONAM 2018: 1032-1037 - [c13]Christopher Spratt, Jun Hong
Community-Based Measures for Social Capital. COMPLEX NETWORKS (2) 2018: 327-338 - [c12]Mengwei Xu
A Framework for Plan Library Evolution in BDI Agent Systems. ICTAI 2018: 414-421 - [c11]Mengwei Xu, Kim Bauters, Kevin McAreavey, Weiru Liu
A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems. SUM 2018: 333-347 - 2017
- [j4]Kim Bauters, Kevin McAreavey, Weiru Liu
Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments. J. Artif. Intell. Res. 58: 731-775 (2017) - [j3]Sarah Calderwood
Context-dependent combination of sensor information in Dempster-Shafer theory for BDI. Knowl. Inf. Syst. 51(1): 259-285 (2017) - [c10]Kevin McAreavey, Kim Bauters, Weiru Liu, Jun Hong:
The Event Calculus in Probabilistic Logic Programming with Annotated Disjunctions. AAMAS 2017: 105-113 - [c9]Sarah Calderwood, Kevin McAreavey, Weiru Liu
Modelling and Reasoning with Uncertain Event-observations for Event Inference. ICAART (2) 2017: 308-317 - [c8]Ronan Killough, Kim Bauters, Kevin McAreavey, Weiru Liu
Resource-Based Dynamic Rewards for Factored MDPs. ICTAI 2017: 1320-1327 - 2016
- [c7]Ronan Killough, Kim Bauters, Kevin McAreavey, Weiru Liu
Risk-aware Planning in BDI Agents. ICAART (2) 2016: 322-329 - [c6]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: 9-16 - 2015
- [c5]Wenjun Ma
Game-Theoretic Resource Allocation with Real-Time Probabilistic Surveillance Information. ECSQARU 2015: 151-161 - [c4]Sarah Calderwood, Kevin McAreavey, Weiru Liu
Contextual merging of uncertain information for better informed plan selection in BDI systems. WCICSS 2015: 64-65 - 2014
- [b1]Kevin McAreavey:
Finding and measuring inconsistency in arbitrary knowledge bases. Queen's University Belfast, UK, 2014 - [j2]Kevin McAreavey, Weiru Liu
Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases. Int. J. Approx. Reason. 55(8): 1659-1693 (2014) - 2013
- [c3]Pilar Pozos Parra, Kevin McAreavey, Weiru Liu:
On the Merit of Selecting Different Belief Merging Operators. SUM 2013: 331-345 - 2012
- [c2]Kevin McAreavey, Weiru Liu, Paul Miller, Chris Meenan:
Tools for Finding Inconsistencies in Real-world Logic-based Systems. STAIRS 2012: 192-203 - 2011
- [j1]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): 281-322 (2011) - [c1]Kevin McAreavey, Weiru Liu, Paul Miller:
Measuring Inconsistency in Network Intrusion Rules. DEXA Workshops 2011: 339-344
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-17 21:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: