Clare Dixon
Manchester University
H-index: 29
North America-United States
Top articles of Clare Dixon
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic | Cláudia Nalon Ullrich Hustadt Fabio Papacchini Clare Dixon | 2023/7/1 | |
Updating Action Descriptions and Plans for Cognitive Agents | AAMAS'23: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems | Peter Stringer Rafael C Cardoso Clare Dixon Michael Fisher Louise A Dennis | 2023/5/30 |
Dialogue Explanations for Rule-Based AI Systems | Yifan Xu Joe Collenette Louise Dennis Clare Dixon | 2023/5/29 | |
Security-minded verification of cooperative awareness messages | IEEE Transactions on Dependable and Secure Computing | Marie Farrell Matthew Bradbury Rafael C Cardoso Michael Fisher Louise A Dennis | 2023/12/21 |
Parkinson’s and the couple relationship: a qualitative meta-synthesis | Louise Glover Clare Dixon Christopher Kobylecki Fiona JR Eccles | 2023/12/2 | |
Adaptive Cognitive Agents: Updating Action Descriptions and Plans | Peter Stringer Rafael C Cardoso Clare Dixon Michael Fisher Louise A Dennis | 2023/9/7 | |
Workplace Support for Mental Health Workers Who Are Parents: A Feasibility Study | Frontiers in Psychology | Abby Dunn Clare Dixon Abi Thomson Samantha Cartwright-Hatton | 2022/6/23 |
Dialogue-based explanations of reasoning in rule-based systems | 3rd Workshop on explainable logic-based knowledge representation | Yifan Xu Joe Collenette Louise Dennis Clare Dixon | 2022/6/14 |
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal | Marie Farrell Nikos Mavrakis Angelo Ferrando Clare Dixon Yang Gao | 2022/6/1 | |
Formal modelling and runtime verification of autonomous grasping for active debris removal | Frontiers in Robotics and AI | Marie Farrell Nikos Mavrakis Angelo Ferrando Clare Dixon Yang Gao | 2022/1/27 |
Local is best: efficient reductions to modal logic K | Journal of Automated Reasoning | Fabio Papacchini Cláudia Nalon Ullrich Hustadt Clare Dixon | 2022/11 |
Verifiable autonomy: From theory to applications | AI Communications | Louise Dennis Clare Dixon Michael Fisher | 2022/1/1 |
Local reductions for the modal cube | Cláudia Nalon Ullrich Hustadt Fabio Papacchini Clare Dixon | 2022/8/1 | |
Implementing Durative Actions with Failure Detection in Gwendolen | Peter Stringer Rafael C Cardoso Clare Dixon Louise A Dennis | 2021/5/3 | |
Theorem Proving Using Clausal Resolution: From Past to Present | Clare Dixon | 2021/10/22 | |
An overview of verification and validation challenges for inspection robots | Michael Fisher Rafael C Cardoso Emily C Collins Christopher Dadswell Louise A Dennis | 2021/4/29 | |
Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study | Paladyn, Journal of Behavioral Robotics | Kheng Lee Koay Matt Webster Clare Dixon Paul Gainer Dag Syrdal | 2021/9/15 |
A review of verification and validation for space autonomous systems | Rafael C Cardoso Georgios Kourtis Louise A Dennis Clare Dixon Marie Farrell | 2021/9 | |
Verification for space robotics | Space Robotics and Autonomous Systems: Technologies, Advances and Applications | Rafael C Cardoso Marie Farrell Georgios Kourtis Matt Webster Louise A Dennis | 2021/8/1 |
Efficient Local Reductions to Basic Modal Logic. | Fabio Papacchini Cláudia Nalon Ullrich Hustadt Clare Dixon | 2021/7/12 |