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
342014
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
302011
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
19*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 (1), 259-285, 2017
112017
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
112016
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
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
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
62018
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
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
32019
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
32018
A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems
M Xu, K Bauters, K McAreavey, W Liu
International Conference on Scalable Uncertainty Management, 333-347, 2018
32018
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
22018
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
22014
Intention Interleaving Via Classical Replanning
M Xu, K McAreavey, K Bauters, W Liu
2019 IEEE 31st International Conference on Tools with Artificial …, 2019
12019
Expected Utility with Relative Loss Reduction: A Unifying Decision Model for Resolving Four Well-Known Paradoxes
W Ma, Y Jiang, W Liu, X Luo, K McAreavey
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
12018
The Event Calculus in Probabilistic Logic Programming with Annotated Disjunctions.
K McAreavey, K Bauters, W Liu, J Hong
AAMAS, 105-113, 2017
12017
Modelling and Reasoning with Uncertain Event-observations for Event Inference.
S Calderwood, K McAreavey, W Liu, J Hong
ICAART (2), 308-317, 2017
12017
Uncertain information combination for decision making in smart grid BDI agent systems
S Calderwood, K McAreavey, W Liu, J Hong
International Journal of Industrial Control Systems Security 1 (1), 21-30, 2016
12016
On the development of a logic calculator: a novel tool to perform logical operations
O Chávez-Bosquez, P Pozos-Parra, K McAreavey
Proceedings of the 10th Latin American Workshop on Logic/Languages …, 2016
12016
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20