| 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 | 41 | 2014 |
| 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 | 38 | 2022 |
| 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 | 33 | 2011 |
| 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 | 29* | 2017 |
| 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 | 14 | 2018 |
| 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 | 13 | 2019 |
| 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 | 13 | 2016 |
| 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 | 12 | 2017 |
| 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 | 10 | 2022 |
| Intention Interleaving Via Classical Replanning M Xu, K McAreavey, K Bauters, W Liu 2019 IEEE 31st International Conference on Tools with Artificial …, 2019 | 8 | 2019 |
| 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 | 8 | 2018 |
| 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 | 8 | 2017 |
| 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 | 8 | 2012 |
| 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 | 7 | 2022 |
| 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 | 6 | 2016 |
| 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 | 5 | 2022 |
| 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 | 5 | 2022 |
| 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 | 5 | 2018 |
| 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 | 4 | 2018 |
| 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 | 4 | 2018 |
Weiru LiuProfessor of Artificial Intelligence, University of BristolVerified email at bristol.ac.uk
