Photo of Prof Clare Dixon

Prof Clare Dixon BSc, MSc, PhD

Reader Computer Science

Publications

2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems (Conference Paper)

Luckcuck, M., Farrel, M., Dennis, L. A., & Fisher, M. (n.d.). A Summary of Formal Specification and Verification of Autonomous Robotic Systems. Retrieved from http://arxiv.org/abs/1911.11597v1

Analysing Security Protocols Using Scenario Based Simulation (Conference Paper)

Al-Shareefi, F., Lisitsa, A., & Dixon, C. (2019). Analysing Security Protocols Using Scenario Based Simulation. In Unknown Conference (pp. 47-62). Springer International Publishing. doi:10.1007/978-3-030-35092-5_4

DOI: 10.1007/978-3-030-35092-5_4

Formal Specification and Verification of Autonomous Robotic Systems: A Survey (Journal article)

Luckcuck, M., Farrell, M., Dennis, L. A., Dixon, C., & Fisher, M. (2019). Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM COMPUTING SURVEYS, 52(5). doi:10.1145/3342355

DOI: 10.1145/3342355

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages (Conference Paper)

Farrell, M., Bradbury, M., Yuan, H., Fisher, M., Dennis, L., Dixon, C., & Maple, C. (2019). Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. In International Conference on Software Engineering and Formal Methods.

A Corroborative Approach to Verification and Validation of Human–Robot Teams (Journal article)

Webster, M., Western, D., Araiza-Illan, D., Dixon, C., Eder, K., Fisher, M., & Pipe, A. G. (n.d.). A Corroborative Approach to Verification and Validation of Human--Robot Teams. Retrieved from http://arxiv.org/abs/1608.07403v3

Modal Resolution: Proofs, Layers and Refinements (Journal article)

Nalon, C., Dixon, C., & Hustadt, U. (2019). Modal Resolution: Proofs, Layers and Refinements. ACM Transactions on Computational Logic.

Modular Verification of Autonomous Space Robotics (Conference Paper)

Farrell, M., Cardoso, R. C., Dennis, L. A., Dixon, C., Fisher, M., Kourtis, G., . . . Webster, M. (n.d.). Modular Verification of Autonomous Space Robotics. Retrieved from http://arxiv.org/abs/1908.10738v1

Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks (Journal article)

Webster, M., Breza, M., Dixon, C., Fisher, M., & McCann, J. (2019). Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks. Electronic Communications of the EASST, 76.

Sublogics of a branching time logic of robustness (Journal article)

McCabe-Dansted, J., Dixon, C., French, T., & Reynolds, M. (2019). Sublogics of a branching time logic of robustness. Information and Computation, 266, 126-160. doi:10.1016/j.ic.2019.02.003

DOI: 10.1016/j.ic.2019.02.003

2018

A Resolution-Based Theorem Prover for $${\textsf {K}}_{n}^{}$$ K n : Architecture, Refinements, Strategies and Experiments (Journal article)

Nalon, C., Hustadt, U., & Dixon, C. (n.d.). A Resolution-Based Theorem Prover for $${\textsf {K}}_{n}^{}$$ K n : Architecture, Refinements, Strategies and Experiments. Journal of Automated Reasoning. doi:10.1007/s10817-018-09503-x

DOI: 10.1007/s10817-018-09503-x

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators (Journal article)

Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (2018). The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. Quantitative Evaluation of Systems. Retrieved from http://arxiv.org/abs/1709.04385v3

Clarification of Ambiguity for the Simple Authentication and Security Layer (Conference Paper)

Al-Shareefi, F., Lisitsa, A., & Dixon, C. (2018). Clarification of Ambiguity for the Simple Authentication and Security Layer. In Unknown Conference (pp. 189-203). Springer International Publishing. doi:10.1007/978-3-319-91271-4_13

DOI: 10.1007/978-3-319-91271-4_13

Evaluating pre-processing techniques for the separated normal form for temporal logics (Conference Paper)

Hustadt, U., Nalon, C., & Dixon, C. (2018). Evaluating pre-processing techniques for the separated normal form for temporal logics. In CEUR Workshop Proceedings Vol. 2162 (pp. 34-48).

2017

Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems (Conference Paper)

Al-Shareefi, F., Lisitsa, A., & Dixon, C. (2017). Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. In 20th Brazilian Symposium on Formal Methods. Recife, Brazil.

Frontiers of Combining Systems - 11th International Symposium (FroCoS) (Book)

Dixon, C., & Finger, M. (Eds.) (2017). Frontiers of Combining Systems - 11th International Symposium (FroCoS). Springer.

CRutoN: Automatic Verification of a Robotic Assistant's Behaviours (Conference Paper)

Gainer, P., Dixon, C. L., Dautenhahn, K., Fisher, M., Hustadt, U., Saunders, J., & Webster, M. (2017). CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. In Lecture Notes in Computer Science Vol. 10471 (pp. 119-133). Torino, Italy: Springer Nature. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-67113-0_8

KSP: A resolution-based prover for multimodal K abridged report (Conference Paper)

Nalon, C., Hustadt, U., & Dixon, C. (2017). KSP: A resolution-based prover for multimodal K abridged report. In IJCAI International Joint Conference on Artificial Intelligence (pp. 4919-4923).

Investigating Parametric Influence on Discrete Synchronisation Protocols using Quantitative Model Checking (Conference Paper)

Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (2017). Investigating Parametric Influence on Discrete Synchronisation Protocols using Quantitative Model Checking. In Springer LNCS. Berlin, Germany.

Theorem Proving for Metric Temporal Logic over the Naturals (Conference Paper)

Hustadt, U., Ozaki, A., & Dixon, C. (2017). Theorem Proving for Metric Temporal Logic over the Naturals. In Lecture Notes in Computer Science Vol. 10395 (pp. 326-343). Springer Nature. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-63046-5_20

Towards Robots for Social Engagement (Conference Paper)

Cucco, E., Fisher, M. D., Dennis, L. A., Dixon, C. L., Webster, M., Broecker, B., . . . Tuyls, K. (n.d.). Towards Robots for Social Engagement. In Workshop on Human-Robot Engagement in the Home, Workplace and Public Spaces.

2016

KSP: A Resolution-Based Prover for Multimodal K (Conference Paper)

Nalon, C., Hustadt, U., & Dixon, C. (2016). KSP: A Resolution-Based Prover for Multimodal K. In AUTOMATED REASONING (IJCAR 2016) Vol. 9706 (pp. 406-415). doi:10.1007/978-3-319-40229-1_28

DOI: 10.1007/978-3-319-40229-1_28

Probabilistic Model Checking of Ant-Based Positionless Swarming (Conference Paper)

Gainer, P., Dixon, C., & Hustadt, U. (2016). Probabilistic Model Checking of Ant-Based Positionless Swarming. In Lecture Notes in Computer Science. Sheffield: Springer Verlag (Germany).

2015

A Modal-Layered Resolution Calculus for K (Conference Paper)

Nalon, C., Hustadt, U., & Dixon, C. (2015). A Modal-Layered Resolution Calculus for K. In AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015) Vol. 9323 (pp. 185-200). doi:10.1007/978-3-319-24312-2_13

DOI: 10.1007/978-3-319-24312-2_13

Ordered Resolution for Coalition Logic (Conference Paper)

Hustadt, U., Gainer, P., Dixon, C., Nalon, C., & Zhang, L. (2015). Ordered Resolution for Coalition Logic. In AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015) Vol. 9323 (pp. 169-184). doi:10.1007/978-3-319-24312-2_12

DOI: 10.1007/978-3-319-24312-2_12

Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study (Journal article)

Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K. L., . . . Saez-Pons, J. (2016). Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, 46(2), 186-196. doi:10.1109/THMS.2015.2425139

DOI: 10.1109/THMS.2015.2425139

Knowledge and time (Chapter)

Dixon, C., Nalon, C., & Ramanujam, R. (2015). Knowledge and time. In H. van Ditmarsh, J. Y. Halpern, W. van der Hoek, & B. Kooi (Eds.), Unknown Book (pp. 205-259). College Publications.

Proceedings of Towards Autonomous Robotic Systems - 16th Annual Conference (Book)

Dixon, C., & Tuyls, K. (Eds.) (2015). Proceedings of Towards Autonomous Robotic Systems - 16th Annual Conference (Vol. 9287). Springer.

Towards Autonomous Robotic Systems (Conference Paper)

Towards Autonomous Robotic Systems (2015). Springer International Publishing. doi:10.1007/978-3-319-22416-9

DOI: 10.1007/978-3-319-22416-9

2014

An intelligent process model: predicting springback in single point incremental forming (Journal article)

Khan, M. S., Coenen, F., Dixon, C., El-Salhi, S., Penalva, M., & Rivero, A. (2015). An intelligent process model: predicting springback in single point incremental forming. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 76(9-12), 2071-2082. doi:10.1007/s00170-014-6431-1

DOI: 10.1007/s00170-014-6431-1

A Resolution Prover for Coalition Logic (Conference Paper)

Nalon, C., Zhang, L., Dixon, C., & Hustadt, U. (n.d.). A Resolution Prover for Coalition Logic. In EPTCS 146, 2014, pp. 65-73. doi:10.4204/EPTCS.146.9

DOI: 10.4204/EPTCS.146.9

Formal Verification of an Autonomous Personal Robotic Assistant (Conference Paper)

Webster, M., Salem, M., Dixon, C., Fisher, M., & Dautenhahn, K. (2014). Formal Verification of an Autonomous Personal Robotic Assistant. In AIAA Symposium 2014 Workshop on Formal Verification in Human Machine Systems (FVHMS 2014) (pp. 0). Palo Alto, CA: AIAA. Retrieved from https://www.aaai.org/Library/Symposia/Spring/ss14-02.php

A resolution calculus for the branching-time temporal logic CTL (Journal article)

Zhang, L., Hustadt, U., & Dixon, C. (2014). A Resolution Calculus for the Branching-Time Temporal Logic CTL. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 15(1). doi:10.1145/2529993

DOI: 10.1145/2529993

A resolution-based calculus for Coalition Logic (Journal article)

Nalon, C., Zhang, L., Dixon, C., & Hustadt, U. (2014). A resolution-based calculus for Coalition Logic. JOURNAL OF LOGIC AND COMPUTATION, 24(4), 883-917. doi:10.1093/logcom/ext074

DOI: 10.1093/logcom/ext074

Clausal Resolution for Modal Logics of Confluence (Conference Paper)

Nalon, C., Marcos, J., & Dixon, C. (2014). Clausal Resolution for Modal Logics of Confluence. In AUTOMATED REASONING, IJCAR 2014 Vol. 8562 (pp. 322-336). Retrieved from http://gateway.webofknowledge.com/

Formal verification of an autonomous personal robotic assistant (Conference Paper)

Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K. L., & Dautenhahn, K. (2014). Formal verification of an autonomous personal robotic assistant. In AAAI Spring Symposium - Technical Report Vol. SS-14-02 (pp. 74-79).

On and on the temporal way (Chapter)

Dixon, C., & Fisher, M. (2014). On and on the temporal way. EasyChair.

Predicting "springback" using 3D surface representation techniques: A case study in sheet metal forming (Journal article)

El Salhi, S., Coenen, F., Dixon, C., & Khan, M. S. (2015). Predicting "springback" using 3D surface representation techniques: A case study in sheet metal forming. EXPERT SYSTEMS WITH APPLICATIONS, 42(1), 79-93. doi:10.1016/j.eswa.2014.07.041

DOI: 10.1016/j.eswa.2014.07.041

Safe and Trustworthy Autonomous Robotic Assistants (Media)

Webster, M., Dixon, C., & Fisher, M. (2014). Safe and Trustworthy Autonomous Robotic Assistants. [Paper].

2013

Predicting Features in Complex 3D Surfaces Using a Point Series Representation: A Case Study in Sheet Metal Forming (Conference Paper)

El-Salhi, S., Coenen, F., Dixon, C., & Khan, M. S. (2013). Predicting Features in Complex 3D Surfaces Using a Point Series Representation: A Case Study in Sheet Metal Forming. In Unknown Conference (pp. 505-516). Springer Berlin Heidelberg. doi:10.1007/978-3-642-53914-5_43

DOI: 10.1007/978-3-642-53914-5_43

Can You Trust Your Robotic Assistant? (Conference Paper)

Amirabdollahian, F., Dautenhahn, K., Dixon, C., Eder, K., Fisher, M., Koay, K. L., . . . Webster, M. (2013). Can You Trust Your Robotic Assistant?. In SOCIAL ROBOTICS, ICSR 2013 Vol. 8239 (pp. 571-573). Retrieved from http://gateway.webofknowledge.com/

Deductive temporal reasoning with constraints (Journal article)

Dixon, C., Konev, B., Fisher, M., & Nietiadi, S. (2013). Deductive temporal reasoning with constraints. JOURNAL OF APPLIED LOGIC, 11(1), 30-51. doi:10.1016/j.jal.2012.07.001

DOI: 10.1016/j.jal.2012.07.001

2012

Identification of correlations between 3D surfaces using data mining techniques: Predicting springback in sheet metal forming (Conference Paper)

El-Salhi, S., Coenen, F., Dixon, C., & Khan, M. S. (2012). Identification of correlations between 3D surfaces using data mining techniques: Predicting springback in sheet metal forming. In Res. and Dev. in Intelligent Syst. XXIX: Incorporating Applications and Innovations in Intel. Sys. XX - AI 2012, 32nd SGAI Int. Conf. on Innovative Techniques and Applications of Artificial Intel. (pp. 391-404). doi:10.1007/978-1-4471-4739-8-30

DOI: 10.1007/978-1-4471-4739-8-30

A Labelled Tableau Approach for Temporal Logic with Constraints (Conference Paper)

Dixon, C., Konev, B., Schmidtand, R., & Tishkovsky, D. (2012). A Labelled Tableau Approach for Temporal Logic with Constraints. In R. Schmidt, & F. Papacchini (Eds.), 19th Automated Reasoning Workshop (pp. 23-24). Manchester: School of Computer Science, The University of Manchester. Retrieved from http://arw2012.cs.man.ac.uk/

Analysing robot swarm behaviour via probabilistic model checking (Journal article)

Konur, S., Dixon, C., & Fisher, M. (2012). Analysing robot swarm behaviour via probabilistic model checking. ROBOTICS AND AUTONOMOUS SYSTEMS, 60(2), 199-213. doi:10.1016/j.robot.2011.10.005

DOI: 10.1016/j.robot.2011.10.005

Classification Based 3-D Surface Analysis: Predicting Springback in Sheet Metal Forming (Journal article)

Khan, M. S., Coenen, F., Dixon, C., & El-Salhi, S. (2012). Classification Based 3-D Surface Analysis: Predicting Springback in Sheet Metal Forming. Journal of Theoretical and Applied Computer Science, 6(2), 45-59.

Finding Correlations between 3-D Surfaces: A Study in Asymmetric Incremental Sheet Forming (Conference Paper)

Khan, M. S., Coenen, F., Dixon, C., & El-Salhi, S. (2012). Finding Correlations between 3-D Surfaces: A Study in Asymmetric Incremental Sheet Forming. In Unknown Conference (pp. 366-379). Springer Berlin Heidelberg. doi:10.1007/978-3-642-31537-4_29

DOI: 10.1007/978-3-642-31537-4_29

Labelled Tableaux for Temporal Logic with Cardinality Constraints (Conference Paper)

Dixon, C., Konev, B., Schmidt, R. A., & Tishkovsky, D. (2012). Labelled Tableaux for Temporal Logic with Cardinality Constraints. In 14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012) (pp. 111-118). doi:10.1109/SYNASC.2012.47

DOI: 10.1109/SYNASC.2012.47

Towards temporal verification of swarm robotic systems (Journal article)

Dixon, C., Winfield, A. F. T., Fisher, M., & Zeng, C. (2012). Towards temporal verification of swarm robotic systems. ROBOTICS AND AUTONOMOUS SYSTEMS, 60(11), 1429-1441. doi:10.1016/j.robot.2012.03.003

DOI: 10.1016/j.robot.2012.03.003

Verifying Brahms Human-Robot Teamwork Models (Conference Paper)

Stocker, R., Dennis, L., Dixon, C., & Fisher, M. (2012). Verifying Brahms Human-Robot Teamwork Models. In Unknown Conference (pp. 385-397). Springer Berlin Heidelberg. doi:10.1007/978-3-642-33353-8_30

DOI: 10.1007/978-3-642-33353-8_30

2011

A misuse-based network Intrusion Detection System using Temporal Logic and stream processing (Conference Paper)

Ahmed, A., Lisitsa, A., & Dixon, C. (2011). A misuse-based network Intrusion Detection System using Temporal Logic and stream processing. In 2011 5th International Conference on Network and System Security. IEEE. doi:10.1109/icnss.2011.6059953

DOI: 10.1109/icnss.2011.6059953

A Formal Semantics for Brahms (Conference Paper)

Stocker, R., Sierhuis, M., Dennis, L., Dixon, C., & Fisher, M. (2011). A Formal Semantics for Brahms. In COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS Vol. 6814 (pp. 259-274). Retrieved from http://gateway.webofknowledge.com/

The Application of AI Techniques to Deformation in Metal Manufacturing (Conference Paper)

Dixon, C., Coenen, F., & Khan, M. (2011). The Application of AI Techniques to Deformation in Metal Manufacturing. In WAR (pp. 17-18). Glasgow: University of Glasgow.

Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems (Conference Paper)

Dixon, C., Winfield, A., & Fisher, M. (2011). Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems. In Unknown Conference (pp. 336-347). Springer Berlin Heidelberg. doi:10.1007/978-3-642-23232-9_30

DOI: 10.1007/978-3-642-23232-9_30

2010

CTL-Like Fragments of a Temporal Logic of Robustness (Conference Paper)

McCabe-Dansted, J. C., & Dixon, C. (2010). CTL-Like Fragments of a Temporal Logic of Robustness. In 2010 17th International Symposium on Temporal Representation and Reasoning. IEEE. doi:10.1109/time.2010.7

DOI: 10.1109/time.2010.7

CTL-RP: A computation tree logic resolution prover (Journal article)

Zhang, L., Hustadt, U., & Dixon, C. (2010). CTL-RP: A computation tree logic resolution prover. AI COMMUNICATIONS, 23(2-3), 111-136. doi:10.3233/AIC-2010-0463

DOI: 10.3233/AIC-2010-0463

Formal Verification of Probabilistic Swarm Behaviours (Conference Paper)

Konur, S., Dixon, C., & Fisher, M. (2010). Formal Verification of Probabilistic Swarm Behaviours. In SWARM INTELLIGENCE Vol. 6234 (pp. 440-447). Retrieved from http://gateway.webofknowledge.com/

2009

A Refined Resolution Calculus for CTL (Conference Paper)

Zhang, L., Hustadt, U., & Dixon, C. (2009). A Refined Resolution Calculus for CTL. In AUTOMATED DEDUCTION - CADE-22 Vol. 5663 (pp. 245-260). Retrieved from http://gateway.webofknowledge.com/

Deductive verification of simple foraging robotic behaviours (Journal article)

Behdenna, A., Dixon, C., & Fisher, M. (2009). Deductive verification of simple foraging robotic behaviours. International Journal of Intelligent Computing and Cybernetics, 2(4), 604-643. doi:10.1108/17563780911005818

DOI: 10.1108/17563780911005818

Taming the Complexity of Temporal Epistemic Reasoning (Conference Paper)

Dixon, C., Fisher, M., & Konev, B. (2009). Taming the Complexity of Temporal Epistemic Reasoning. In FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS Vol. 5749 (pp. 198-213). Retrieved from http://gateway.webofknowledge.com/

2008

Practical first-order temporal reasoning (Conference Paper)

Dixon, C., Fisher, M., Konev, B., Lisitsa, A., & Soc, I. E. E. E. C. (2008). Practical first-order temporal reasoning. In TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS (pp. 156-163). doi:10.1109/TIME.2008.15

DOI: 10.1109/TIME.2008.15

2007

Message from the Chairs (Conference Paper)

Message from the Chairs (2007). In 14th International Symposium on Temporal Representation and Reasoning (TIME'07). IEEE. doi:10.1109/time.2007.51

DOI: 10.1109/time.2007.51

Clausal resolution for normal modal logics (Journal article)

Nalon, C., & Dixon, C. (2007). Clausal resolution for normal modal logics. JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 62(3-4), 117-134. doi:10.1016/j.jalgor.2007.04.001

DOI: 10.1016/j.jalgor.2007.04.001

Temporal Logics of Knowledge and their Applications in Security (Journal article)

Dixon, C., Fernández Gago, M. -C., Fisher, M., & van der Hoek, W. (2007). Temporal Logics of Knowledge and their Applications in Security. Electronic Notes in Theoretical Computer Science, 186, 27-42. doi:10.1016/j.entcs.2006.11.043

DOI: 10.1016/j.entcs.2006.11.043

Temporal logic with capacity constraints (Conference Paper)

Dixon, C., Fisher, M., & Konev, B. (2007). Temporal logic with capacity constraints. In FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS Vol. 4720 (pp. 163-+). Retrieved from http://gateway.webofknowledge.com/

Tractable Temporal Reasoning (Conference Paper)

Dixon, C., Fisher, M., & Konev, B. (2007). Tractable Temporal Reasoning. In 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 318-323). Retrieved from http://gateway.webofknowledge.com/

2006

Anti-prenexing and prenexing for modal logics (Conference Paper)

Nalon, C., & Dixon, C. (2006). Anti-prenexing and prenexing for modal logics. In LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS Vol. 4160 (pp. 333-345). doi:10.1007/11853886_28

DOI: 10.1007/11853886_28

Is there a future for deductive temporal verification? (Conference Paper)

Dixon, C., Fisher, M., & Konev, B. (2006). Is there a future for deductive temporal verification?. In TIME 2006: THIRTEENTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS (pp. 11-+). Retrieved from http://gateway.webofknowledge.com/

Normal Modal Resolution: Preliminary Results (Conference Paper)

Nalon, C., & Dixon, C. (2006). Normal Modal Resolution: Preliminary Results. In Brazilian Workshop on Logical and Semantic Frameworks, with Applications (pp. unknown). unknown: pre-proceedings.

Using temporal logics of knowledge for specification and verification—a case study (Journal article)

Dixon, C. (2006). Using temporal logics of knowledge for specification and verification—a case study. Journal of Applied Logic, 4(1), 50-78. doi:10.1016/j.jal.2005.08.003

DOI: 10.1016/j.jal.2005.08.003

2005

On formal specification of emergent behaviours in swarm robotic systems (Conference Paper)

Winfield, A. F. T., Sa, J., Gago, M. C. F., Dixon, C., & Fisher, M. (2005). On formal specification of emergent behaviours in swarm robotic systems. In International Journal of Advanced Robotic Systems Vol. 2 (pp. 363-370).

Theorem-Proving for Discrete Temporal Logic (Journal article)

Reynolds, M., & Dixon, C. (2005). Theorem-Proving for Discrete Temporal Logic. Unknown Journal, 279-313. doi:10.1016/s1574-6526(05)80011-2

DOI: 10.1016/s1574-6526(05)80011-2

Alternating automata and temporal logic normal forms (Journal article)

Dixon, C., Bolotov, A., & Fisher, M. (2005). Alternating automata and temporal logic normal forms. ANNALS OF PURE AND APPLIED LOGIC, 135(1-3), 263-285. doi:10.1016/j.apal.2005.03.002

DOI: 10.1016/j.apal.2005.03.002

First-order temporal verification in practice (Journal article)

Fernandez-Gago, M. C., Hustadt, U., Dixon, C., Fisher, M., & Konev, B. (2005). First-order temporal verification in practice. JOURNAL OF AUTOMATED REASONING, 34(3), 295-321. doi:10.1007/s10817-005-7354-1

DOI: 10.1007/s10817-005-7354-1

Mechanising first-order temporal resolution (Journal article)

Konev, B., Degtyarev, A., Dixon, C., Fisher, M., & Hustadt, U. (2005). Mechanising first-order temporal resolution. INFORMATION AND COMPUTATION, 199(1-2), 55-86. doi:10.1016/j.ic.2004.10.005

DOI: 10.1016/j.ic.2004.10.005

Resolution for Synchrony and No Learning, (Conference Paper)

Nalon, C., Dixon, C., & Fisher, M. (2005). Resolution for Synchrony and No Learning,. In Proceedings of Advances in Modal Logic Vol. 5 (pp. 231-248). UK: King's College Publications.

Verification Within the KARO Agent Theory (Chapter)

Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J. -J. C., & van der Hoek, W. (2006). Verification Within the KARO Agent Theory. In NASA Monographs in Systems and Software Engineering (pp. 193-225). Springer London. doi:10.1007/1-84628-271-3_7

DOI: 10.1007/1-84628-271-3_7

2004

Journal of Logic and Computation: Special Issue on Temporal Representation and Reasoning (Book)

Artale, A., Dixon, C., Fisher, M., & Franconi, E. (Eds.) (2004). Journal of Logic and Computation: Special Issue on Temporal Representation and Reasoning (Vol. 14). Oxford University Press.

Miss Scarlett in the ballroom with the lead piping (Conference Paper)

Dixon, C. (2004). Miss Scarlett in the ballroom with the lead piping. In ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS Vol. 110 (pp. 995-996). Retrieved from http://gateway.webofknowledge.com/

Tableaux for logics of time and knowledge with interactions relating to synchrony (Journal article)

Dixon, C., Nalon, C., & Fisher, M. (2004). Tableaux for logics of time and knowledge with interactions relating to synchrony. Journal of Applied Non-Classical Logics, 14(4), 397-445. doi:10.3166/jancl.14.397-445

DOI: 10.3166/jancl.14.397-445

Temporal representation and reasoning (TIME) (Journal article)

Artale, A., Dixon, C., Fisher, M., & Franconi, E. (2004). Temporal representation and reasoning (TIME). JOURNAL OF LOGIC AND COMPUTATION, 14(1), 1. doi:10.1093/logcom/14.1.1

DOI: 10.1093/logcom/14.1.1

Using temporal logics of knowledge in the formal verification of security protocols (Conference Paper)

Dixon, C., Gago, M. C. F., Fisher, M., & van der Hoek, W. (2004). Using temporal logics of knowledge in the formal verification of security protocols. In 11TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS (pp. 148-151). doi:10.1109/TIME.2004.1314432

DOI: 10.1109/TIME.2004.1314432

2003

Tableaux for temporal logics of knowledge: Synchronous systems of perfect recall or no learning (Conference Paper)

Dixon, C., Nalon, C., & Fisher, M. (2003). Tableaux for temporal logics of knowledge: Synchronous systems of perfect recall or no learning. In TIME-ICTL 2003: 10TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING AND FOURTH INTERNATIONAL CONFERENCE ON TEMPORAL LOGIC, PROCEEDINGS (pp. 62-71). Retrieved from http://gateway.webofknowledge.com/

Towards the implementation of first-order temporal resolution: the expanding domain case (Conference Paper)

Konev, B., Degtyarev, A., Dixon, C., Fisher, M., & Hustadt, U. (2003). Towards the implementation of first-order temporal resolution: the expanding domain case. In TIME-ICTL 2003: 10TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING AND FOURTH INTERNATIONAL CONFERENCE ON TEMPORAL LOGIC, PROCEEDINGS (pp. 72-82). Retrieved from http://gateway.webofknowledge.com/

2002

Algorithms for guiding clausal temporal resolution (Conference Paper)

Gago, M. C. F., Fisher, M., & Dixon, C. (2002). Algorithms for guiding clausal temporal resolution. In KI2002: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS Vol. 2479 (pp. 235-249). Retrieved from http://gateway.webofknowledge.com/

Clausal resolution in a logic of rational agency (Journal article)

Dixon, C., Fisher, M., & Bolotov, A. (2002). Clausal resolution in a logic of rational agency. ARTIFICIAL INTELLIGENCE, 139(1), 47-89. doi:10.1016/S0004-3702(02)00196-0

DOI: 10.1016/S0004-3702(02)00196-0

Combinations of modal logics (Journal article)

Bennett, B., Dixon, C., Fisher, M., Hustadt, U., Franconi, E., Horrocks, I., & De Rijke, M. (2002). Combinations of modal logics. ARTIFICIAL INTELLIGENCE REVIEW, 17(1), 1-20. doi:10.1023/A:1015057926707

DOI: 10.1023/A:1015057926707

On the Relationship between  -automata and Temporal Logic Normal Forms (Journal article)

Bolotov, A. (2002). On the Relationship between  -automata and Temporal Logic Normal Forms. Journal of Logic and Computation, 12(4), 561-581. doi:10.1093/logcom/12.4.561

DOI: 10.1093/logcom/12.4.561

2001

Multi-agent systems research into the 21st century (Conference Paper)

D'Inverno, M., Luck, M., & Contributors, U. K. M. A. S. . (2001). Multi-agent systems research into the 21st century. In KNOWLEDGE ENGINEERING REVIEW Vol. 16 (pp. 271-275). doi:10.1017/S0269888901000169

DOI: 10.1017/S0269888901000169

Annals of Mathematics and Artificial Intelligence: Special Issue on Temporal Representation and Reasoning (Book)

Dixon, C., Finger, M., Fisher, M., & Reynolds, M. (Eds.) (2001). Annals of Mathematics and Artificial Intelligence: Special Issue on Temporal Representation and Reasoning (Vol. 30). Springer.

Clausal temporal resolution (Journal article)

Fisher, M., Dixon, C., & Peim, M. (2001). Clausal temporal resolution. ACM Transactions on Computational Logic, 2(1), 12-56. doi:10.1145/371282.371311

DOI: 10.1145/371282.371311

Reasoning about agents in the KARO framework (Conference Paper)

Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J. J., van der Hoek, W., . . . SOCIETY, I. C. (2001). Reasoning about agents in the KARO framework. In EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS (pp. 206-213). doi:10.1109/TIME.2001.930719

DOI: 10.1109/TIME.2001.930719

Verification within the KARO Agent Theory (Conference Paper)

Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J. -J., & van der Hoek, W. (2001). Verification within the KARO Agent Theory. In Unknown Conference (pp. 33-47). Springer Berlin Heidelberg. doi:10.1007/3-540-45484-5_3

DOI: 10.1007/3-540-45484-5_3

2000

Normal forms and proofs in combined modal and temporal logics (Conference Paper)

Hustadt, U., Dixon, C., Schmidt, R. A., & Fisher, M. (2000). Normal forms and proofs in combined modal and temporal logics. In FRONTIERS OF COMBINING SYSTEMS Vol. 1794 (pp. 73-87). Retrieved from http://gateway.webofknowledge.com/

Resolution for branching time temporal logics: Applying the temporal resolution rule (Conference Paper)

Bolotov, A., & Dixon, G. (2000). Resolution for branching time temporal logics: Applying the temporal resolution rule. In SEVENTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING - TIME 2000, PROCEEDINGS (pp. 163-172). doi:10.1109/TIME.2000.856598

DOI: 10.1109/TIME.2000.856598

Resolution-based proof for multi-modal temporal logics of knowledge (Conference Paper)

Dixon, C., & Fisher, M. (2000). Resolution-based proof for multi-modal temporal logics of knowledge. In SEVENTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING - TIME 2000, PROCEEDINGS (pp. 69-78). doi:10.1109/TIME.2000.856587

DOI: 10.1109/TIME.2000.856587

1999

Clausal resolution for CTL (Conference Paper)

Bolotov, A., Dixon, C., & Fisher, M. (1999). Clausal resolution for CTL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1672 (pp. 137-148).

Removing irrelevant information in temporal resolution proofs (Journal article)

Dixon, C. (1999). Removing irrelevant information in temporal resolution proofs. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 11(1), 95-121. doi:10.1080/095281399146634

DOI: 10.1080/095281399146634

1998

A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief (Journal article)

Wooldridge, M., Dixon, C., & Fisher, M. (1998). A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. Journal of Applied Non-Classical Logics, 8(3), 225-258. doi:10.1080/11663081.1998.10510944

DOI: 10.1080/11663081.1998.10510944

Resolution for temporal logics of knowledge (Journal article)

Dixon, C., Fisher, M., & Wooldridge, M. (1998). Resolution for temporal logics of knowledge. JOURNAL OF LOGIC AND COMPUTATION, 8(3), 345-372. doi:10.1093/logcom/8.3.345

DOI: 10.1093/logcom/8.3.345

Temporal resolution using a breadth-first search algorithm (Journal article)

Dixon, C. (1998). Temporal resolution using a breadth-first search algorithm. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 22(1-2), 87-115. doi:10.1023/A:1018942108420

DOI: 10.1023/A:1018942108420

The Set of Support strategy in temporal resolution (Conference Paper)

Dixon, C., & Fisher, M. (1998). The Set of Support strategy in temporal resolution. In FIFTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING - PROCEEDINGS (pp. 113-120). doi:10.1109/TIME.1998.674140

DOI: 10.1109/TIME.1998.674140

1997

Temporal resolution: Removing irrelevant information (Conference Paper)

Dixon, C., & SOC, I. C. (1997). Temporal resolution: Removing irrelevant information. In FOURTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS (pp. 4-11). doi:10.1109/TIME.1997.600775

DOI: 10.1109/TIME.1997.600775

1996

A resolution-based proof method for temporal logics of knowledge and belief (Conference Paper)

Fisher, M., Wooldridge, M., & Dixon, C. (1996). A resolution-based proof method for temporal logics of knowledge and belief. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1085 (pp. 178-192).

Search strategies for resolution in temporal logics (Conference Paper)

Dixon, C. (1996). Search strategies for resolution in temporal logics. In Unknown Conference (pp. 673-687). Springer Berlin Heidelberg. doi:10.1007/3-540-61511-3_121

DOI: 10.1007/3-540-61511-3_121

Temporal resolution: a breadth-first search approach (Conference Paper)

Dixon, C. (n.d.). Temporal resolution: a breadth-first search approach. In Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96). IEEE Comput. Soc. Press. doi:10.1109/time.1996.555690

DOI: 10.1109/time.1996.555690

1994

A graph-based approach to resolution in temporal logic (Conference Paper)

Dixon, C., Fisher, M., & Barringer, H. (1994). A graph-based approach to resolution in temporal logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 827 LNAI (pp. 415-429).