Follow
Kevin McAreavey
Kevin McAreavey
Verified email at bristol.ac.uk - Homepage
Title
Cited by
Cited by
Year
Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
K McAreavey, W Liu, P Miller
International Journal of Approximate Reasoning 55 (8), 1659-1693, 2014
382014
Measuring inconsistency in a network intrusion detection rule set based on snort
K McAreavey, W Liu, P Miller, K Mu
International Journal of Semantic Computing 5 (03), 281-322, 2011
312011
On determinism of game engines used for simulation-based autonomous vehicle verification
G Chance, A Ghobrial, K McAreavey, S Lemaignan, T Pipe, K Eder
IEEE Transactions on Intelligent Transportation Systems 23 (11), 20538-20552, 2022
302022
Managing different sources of uncertainty in a BDI framework in a principled way with tractable fragments
K Bauters, K McAreavey, W Liu, J Hong, L Godo, C Sierra
Journal of Artificial Intelligence Research 58, 731-775, 2017
28*2017
Context-dependent combination of sensor information in Dempster–Shafer theory for BDI
S Calderwood, K McAreavey, W Liu, J Hong
Knowledge and Information Systems 51, 259-285, 2017
122017
Probabilistic Planning in AgentSpeak using the POMDP framework
K Bauters, K McAreavey, J Hong, Y Chen, W Liu, L Godo, C Sierra
Combinations of Intelligent Methods and Applications, 19-37, 2016
122016
A Dempster‐Shafer theory and uninorm‐based framework of reasoning and multiattribute decision‐making for surveillance system
W Ma, W Liu, X Luo, K McAreavey, Y Jiang, J Ma
International Journal of Intelligent Systems 34 (11), 3077-3104, 2019
112019
A formal approach to embedding first-principles planning in BDI agent systems
M Xu, K Bauters, K McAreavey, W Liu
Scalable Uncertainty Management: 12th International Conference, SUM 2018 …, 2018
112018
Acceptable costs of minimax regret equilibrium: A Solution to security games with surveillance-driven probabilistic information
W Ma, K McAreavey, W Liu, X Luo
Expert Systems with Applications 108, 206-222, 2018
82018
Tools for finding inconsistencies in real-world logic-based systems
K McAreavey, W Liu, P Miller, C Meenan
Proceedings of the Sixth Starting AI Researchers’ Symposium (STAIRS'12), 192-203, 2012
82012
Explainable ai for non-experts: Energy tariff forecasting
H Ma, K McAreavey, R McConville, W Liu
2022 27th International Conference on Automation and Computing (ICAC), 1-6, 2022
72022
Intention Interleaving Via Classical Replanning
M Xu, K McAreavey, K Bauters, W Liu
2019 IEEE 31st International Conference on Tools with Artificial …, 2019
72019
The Event Calculus in Probabilistic Logic Programs with Annotated Disjunctions
K McAreavey, K Bauters, W Liu, J Hong
Proceedings of the 16th International Conference on Autonomous Agents and …, 2017
72017
Developing and Experimenting on Approaches to Explainability in AI Systems
Y Zhang, K McAreavey, W Liu
ICAART 2022: 14th International Conference on Agents and Artificial …, 2022
62022
Risk-aware planning in BDI agents
R Killough, K Bauters, K McAreavey, W Liu, J Hong
Proceedings of the 8th International Conference on Agents and Artificial …, 2016
62016
Evaluating contrastive explanations for AI planning with non-experts: a smart home battery scenario
Y Shi, K McAreavey, W Liu
2022 27th International Conference on Automation and Computing (ICAC), 1-6, 2022
52022
A Smart Home Testbed for Evaluating XAI with Non-Experts
K McAreavey, K Bauters, W Liu
ICAART 2022: 14th International Conference on Agents and Artificial …, 2022
42022
A Framework for Plan Library Evolution in BDI Agent Systems
M Xu, K Bauters, K McAreavey, W Liu
2018 IEEE 30th International Conference on Tools with Artificial …, 2018
42018
Individual-level social capital in weighted and attributed social networks
R Sharma, K McAreavey, J Hong, F Ghaffar
2018 IEEE/ACM International Conference on Advances in Social Networks …, 2018
42018
Merginator: A belief merging tool for consensus support
P Pozos-Parra, O Chávez-Bosquez, K McAreavey
Journal of Intelligent & Fuzzy Systems 34 (5), 3199-3210, 2018
42018
The system can't perform the operation now. Try again later.
Articles 1–20