Clare Dixon

According to our database, Clare Dixon authored at least 113 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Dialogue Explanations for Rule-Based AI Systems.

Yifan Xu, Joe Collenette, Louise A. Dennis, Clare Dixon

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2023

Adaptive Cognitive Agents: Updating Action Descriptions and Plans.

Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic.

Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon

Proceedings of the Automated Deduction - CADE 29, 2023

Updating Action Descriptions and Plans for Cognitive Agents.

Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Correction: Parameterized verification of leader/follower systems via first-order temporal logic.

Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei Lisitsa

Formal Methods Syst. Des., April, 2022

Correction to: Local is Best: Efficient Reductions to Modal Logic K.

Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon

J. Autom. Reason., 2022

Local is Best: Efficient Reductions to Modal Logic K.

Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon

J. Autom. Reason., 2022

Verifiable autonomy: From theory to applications.

Louise A. Dennis, Clare Dixon, Michael Fisher

AI Commun., 2022

Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.

Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

Local Reductions for the Modal Cube.

Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

An Overview of Verification and Validation Challenges for Inspection Robots.

Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster

Robotics, 2021

Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study.

Kheng Lee Koay, Matt Webster, Clare Dixon, Paul Gainer, Dag Sverre Syrdal, Michael Fisher, Kerstin Dautenhahn

Paladyn J. Behav. Robotics, 2021

Parameterized verification of leader/follower systems via first-order temporal logic.

Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei P. Lisitsa

Formal Methods Syst. Des., 2021

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.

Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao

Frontiers Robotics AI, 2021

Theorem Proving Using Clausal Resolution: From Past to Present.

Clare Dixon

Proceedings of the Reachability Problems - 15th International Conference, 2021

Implementing Durative Actions with Failure Detection in Gwendolen.

Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

Efficient Local Reductions to Basic Modal Logic.

Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Exploring the effects of environmental conditions and design choices on IoT systems using formal methods.

Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann

J. Comput. Sci., 2020

sf K_n : Architecture, Refinements, Strategies and Experiments.

Cláudia Nalon, Ullrich Hustadt, Clare Dixon

J. Autom. Reason., 2020

Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations.

Ullrich Hustadt, Ana Ozaki, Clare Dixon

J. Autom. Reason., 2020

A corroborative approach to verification and validation of human-robot teams.

Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe

Int. J. Robotics Res., 2020

Multi-scale verification of distributed synchronisation.

Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher

Formal Methods Syst. Des., 2020

Verifying Autonomous Robots: Challenges and Reflections (Invited Talk).

Clare Dixon

Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020

Taxonomy of Trust-Relevant Failures and Mitigation Strategies.

Suzanne Tolmeijer, Astrid Weiss, Marc Hanheide, Felix Lindner, Thomas M. Powers, Clare Dixon, Myrthe L. Tielman

Proceedings of the HRI '20: ACM/IEEE International Conference on Human-Robot Interaction, 2020

2019

Modal Resolution: Proofs, Layers, and Refinements.

Cláudia Nalon, Clare Dixon, Ullrich Hustadt

ACM Trans. Comput. Log., 2019

Formal Specification and Verification of Autonomous Robotic Systems: A Survey.

Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher

ACM Comput. Surv., 2019

Modular Verification of Autonomous Space Robotics.

Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster

CoRR, 2019

Analysing Security Protocols Using Scenario Based Simulation.

Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages.

Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.

Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks.

Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.

Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher

Proceedings of the Formal Methods and Software Engineering, 2018

Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics.

Ullrich Hustadt, Cláudia Nalon, Clare Dixon

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

Clarification of Ambiguity for the Simple Authentication and Security Layer.

Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems.

Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking.

Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

KSP: A Resolution-based Prover for Multimodal K, Abridged Report.

Cláudia Nalon, Ullrich Hustadt, Clare Dixon

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

CRutoN: Automatic Verification of a Robotic Assistant's Behaviours.

Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

Theorem Proving for Metric Temporal Logic over the Naturals.

Ullrich Hustadt, Ana Ozaki, Clare Dixon

Proceedings of the Automated Deduction - CADE 26, 2017

2016

Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study.

Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn, Joan Saez-Pons

IEEE Trans. Hum. Mach. Syst., 2016

An Assurance-based Approach to Verification and Validation of Human-Robot Teams.

Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe

CoRR, 2016

Probabilistic Model Checking of Ant-Based Positionless Swarming.

Paul Gainer, Clare Dixon, Ullrich Hustadt

Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

: A Resolution-Based Prover for Multimodal K.

Cláudia Nalon, Ullrich Hustadt, Clare Dixon

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Predicting "springback" using 3D surface representation techniques: A case study in sheet metal forming.

Subhieh El-Salhi, Frans Coenen, Clare Dixon, M. Sulaiman Khan

Expert Syst. Appl., 2015

A Modal-Layered Resolution Calculus for K.

Cláudia Nalon, Ullrich Hustadt, Clare Dixon

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Ordered Resolution for Coalition Logic.

Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

2014

A resolution calculus for the branching-time temporal logic CTL.

Lan Zhang, Ullrich Hustadt, Clare Dixon

ACM Trans. Comput. Log., 2014

A resolution-based calculus for Coalition Logic.

Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt

J. Log. Comput., 2014

A Resolution Prover for Coalition Logic.

Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt

Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours.

Clare Dixon, Matthew P. Webster, Joe Saunders, Michael Fisher, Kerstin Dautenhahn

Proceedings of the Advances in Autonomous Robotics Systems - 15th Annual Conference, 2014

Clausal Resolution for Modal Logics of Confluence.

Cláudia Nalon, João Marcos, Clare Dixon

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

On and On the Temporal Way.

Clare Dixon, Michael Fisher

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

Formal Verification of an Autonomous Personal Robotic Assistant.

Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Deductive temporal reasoning with constraints.

Clare Dixon, Boris Konev, Michael Fisher, Sherly Nietiadi

J. Appl. Log., 2013

Predicting Features in Complex 3D Surfaces Using a Point Series Representation: A Case Study in Sheet Metal Forming.

Subhieh El-Salhi, Frans Coenen, Clare Dixon, M. Sulaiman Khan

Proceedings of the Advanced Data Mining and Applications, 9th International Conference, 2013

2012

Analysing robot swarm behaviour via probabilistic model checking.

Savas Konur, Clare Dixon, Michael Fisher

Robotics Auton. Syst., 2012

Towards temporal verification of swarm robotic systems.

Clare Dixon, Alan F. T. Winfield, Michael Fisher, Chengxiu Zeng

Robotics Auton. Syst., 2012

Labelled Tableaux for Temporal Logic with Cardinality Constraints.

Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Identification of Correlations Between 3D Surfaces Using Data Mining Techniques: Predicting Springback in Sheet Metal Forming.

Subhieh El-Salhi, Frans Coenen, Clare Dixon, M. Sulaiman Khan

Proceedings of the Research and Development in Intelligent Systems XXIX, 2012

Finding Correlations between 3-D Surfaces: A Study in Asymmetric Incremental Sheet Forming.

M. Sulaiman Khan, Frans Coenen, Clare Dixon, Subhieh El-Salhi

Proceedings of the Machine Learning and Data Mining in Pattern Recognition, 2012

Verifying Brahms Human-Robot Teamwork Models.

Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011

Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems.

Clare Dixon, Alan F. T. Winfield, Michael Fisher

Proceedings of the Towards Autonomous Robotic Systems - 12th Annual Conference, 2011

A misuse-based network Intrusion Detection System using Temporal Logic and stream processing.

Abdulbasit Ahmed, Alexei Lisitsa, Clare Dixon

Proceedings of the 5th International Conference on Network and System Security, 2011

A Formal Semantics for Brahms.

Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010

CTL-RP: A computation tree logic resolution prover.

Lan Zhang, Ullrich Hustadt, Clare Dixon

AI Commun., 2010

CTL-Like Fragments of a Temporal Logic of Robustness.

John Christopher McCabe-Dansted, Clare Dixon

Proceedings of the TIME 2010, 2010

Formal Verification of Probabilistic Swarm Behaviours.

Savas Konur, Clare Dixon, Michael Fisher

Proceedings of the Swarm Intelligence - 7th International Conference, 2010

2009

Deductive verification of simple foraging robotic behaviours.

Abdelkader Behdenna, Clare Dixon, Michael Fisher

Int. J. Intell. Comput. Cybern., 2009

Taming the Complexity of Temporal Epistemic Reasoning.

Clare Dixon, Michael Fisher, Boris Konev

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

A Refined Resolution Calculus for CTL.

Lan Zhang, Ullrich Hustadt, Clare Dixon

Proceedings of the Automated Deduction, 2009

2008

Practical First-Order Temporal Reasoning.

Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

2007

Clausal resolution for normal modal logics.

Cláudia Nalon, Clare Dixon

J. Algorithms, 2007

Efficient First-Order Temporal Logic for Infinite-State Systems

Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa

CoRR, 2007

Tractable Temporal Reasoning.

Clare Dixon, Michael Fisher, Boris Konev

Proceedings of the IJCAI 2007, 2007

Temporal Logic with Capacity Constraints.

Clare Dixon, Michael Fisher, Boris Konev

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2006

Using temporal logics of knowledge for specification and verification - a case study.

Clare Dixon

J. Appl. Log., 2006

Temporal Logics of Knowledge and their Applications in Security.

Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek

Proceedings of the First Workshop in Information and Computer Security, 2006

Is There a Future for Deductive Temporal Verification?

Clare Dixon, Michael Fisher, Boris Konev

Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

Anti-prenexing and Prenexing for Modal Logics.

Cláudia Nalon, Clare Dixon

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

2005

Theorem-Proving for Discrete Temporal Logic.

Mark Reynolds, Clare Dixon

Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

First-Order Temporal Verification in Practice.

M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev

J. Autom. Reason., 2005

Mechanising first-order temporal resolution.

Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt

Inf. Comput., 2005

Alternating automata and temporal logic normal forms.

Clare Dixon, Alexander Bolotov, Michael Fisher

Ann. Pure Appl. Log., 2005

2004

Editorial.

Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi

J. Log. Comput., 2004

Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony.

Clare Dixon, Cláudia Nalon, Michael Fisher

J. Appl. Non Class. Logics, 2004

Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols.

Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek

Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Miss Scarlett in the Ballroom with the Lead Piping.

Clare Dixon

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Resolution for Synchrony and No Learning.

Cláudia Nalon, Clare Dixon, Michael Fisher

Proceedings of the Advances in Modal Logic 5, 2004

2003

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case.

Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning.

Clare Dixon, Cláudia Nalon, Michael Fisher

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

2002

On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms.

Alexander Bolotov, Michael Fisher, Clare Dixon

J. Log. Comput., 2002

Combinations of Modal Logics.

Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke

Artif. Intell. Rev., 2002

Clausal resolution in a logic of rational agency.

Clare Dixon, Michael Fisher, Alexander Bolotov

Artif. Intell., 2002

Algorithms for Guiding Clausal Temporal Resolution.

M. Carmen Fernández Gago, Michael Fisher, Clare Dixon

Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002

2001

Clausal temporal resolution.

Michael Fisher, Clare Dixon, Martin Peim

ACM Trans. Comput. Log., 2001

Reasoning about agents in the KARO framework.

Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

2000

Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge.

Clare Dixon, Michael Fisher

Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule.

Alexander Bolotov, Clare Dixon

Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

Normal Forms and Proofs in Combined Modal and Temporal Logics.

Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher

Proceedings of the Frontiers of Combining Systems, 2000

Verification within the KARO Agent Theory.

Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999

Removing irrelevant information in temporal resolution proofs.

Clare Dixon

J. Exp. Theor. Artif. Intell., 1999

Clausal Resolution for CTL^*.

Alexander Bolotov, Clare Dixon, Michael Fisher

Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

1998

Resolution for Temporal Logics of Knowledge.

Clare Dixon, Michael Fisher, Michael J. Wooldridge

J. Log. Comput., 1998

A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.

Michael J. Wooldridge, Clare Dixon, Michael Fisher

J. Appl. Non Class. Logics, 1998

Temporal Resolution Using a Breadth-First Search Algorithm.

Clare Dixon

Ann. Math. Artif. Intell., 1998

The Set of Support Strategy in Temporal Resolution.

Clare Dixon, Michael Fisher

Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

1997

Temporal Resolution: Removing Irrelevant Information.

Clare Dixon

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

Tableaux for Synchronous Systems of Knowledge and Time with Interactions.

Clare Dixon, Michael Fisher

Proceedings of the Sixth Scandinavian Conference on Artificial Intelligence, 1997

1996

Temporal Resolution: A Breadth-First Search Approach.

Clare Dixon

Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996

A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief.

Michael Fisher, Michael J. Wooldridge, Clare Dixon

Proceedings of the Practical Reasoning, 1996

Search Strategies for Resolution in Temporal Logics.

Clare Dixon

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1994

A Graph-Based Approach to Resolution in Temporal Logic.

Clare Dixon, Michael Fisher, Howard Barringer

Proceedings of the Temporal Logic, First International Conference, 1994

1993

A graph-based appproach to resolution in temporal logic.

Clare Dixon

PhD thesis, 1993