Παρακολούθηση
Kevin McAreavey
Kevin McAreavey
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα bristol.ac.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
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
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, 2022
232022
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
102019
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
102018
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
9*2012
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
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 Programming with Annotated Disjunctions.
K McAreavey, K Bauters, W Liu, J Hong
AAMAS, 105-113, 2017
7*2017
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
72016
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
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
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
AgentSpeak: AgentSpeak with Probabilistic Planning
Y Chen, K Bauters, W Liu, J Hong, K McAreavey, L Godo, C Sierra
Proc. 4th International Workshop on Combinations of Intelligent Methods and …, 2014
42014
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
32022
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20