Lucas Dixon

Lucas Dixon, Aleks Kissinger: Open-graphs and monoidal theories. Mathematical Structures in Computer Science 23(2): 308-359 (2013)

Omar Montano-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy: Scheme-based theorem discovery and concept invention. Expert Syst. Appl. 39(2): 1637-1646 (2012)

Moa Johansson, Lucas Dixon, Alan Bundy: Conjecture Synthesis for Inductive Theories. J. Autom. Reasoning 47(3): 251-289 (2011)

Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov: Towards Formal Proof Script Refactoring. Calculemus/MKM 2011: 260-275

Moa Johansson, Lucas Dixon, Alan Bundy: Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Verification, Induction, Termination Analysis 2010: 102-116

Moa Johansson, Lucas Dixon, Alan Bundy: Case-Analysis for Rippling and Inductive Proof. ITP 2010: 291-306

Omar Montano-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy: Scheme-Based Synthesis of Inductive Theories. MICAI (1) 2010: 348-361

Lucas Dixon, Ross Duncan, Aleks Kissinger: Open Graphs and Computational Reasoning. DCM 2010: 169-180

Lucas Dixon, Aleks Kissinger: Open Graphs and Monoidal Theories. CoRR abs/1011.4114 (2010)

Lucas Dixon, Ross Duncan: Graphical reasoning in compact closed categories for quantum computation. Ann. Math. Artif. Intell. 56(1): 23-42 (2009)

Lucas Dixon, Alan Smaill, Tracy Tsang: Plans, Actions and Dialogues Using Linear Logic. Journal of Logic, Language and Information 18(2): 251-289 (2009)

Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt (Eds.): Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Lecture Notes in Computer Science 5625, Springer 2009, isbn 978-3-642-02613-3

Lucas Dixon, Ross Duncan: Graphical Reasoning in Compact Closed Categories for Quantum Computation. CoRR abs/0902.0514 (2009)

Lucas Dixon, Ross Duncan: Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation. AISC/MKM/Calculemus 2008: 77-92

Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot: Constructing Induction Rules for Deductive Synthesis Proofs. Electr. Notes Theor. Comput. Sci. 153(1): 3-21 (2006)

Lucas Dixon, Jacques D. Fleuriot: A proof-centric approach to mathematical assistants. J. Applied Logic 4(4): 505-532 (2006)

Moa Johansson, Alan Bundy, Lucas Dixon: Best-First Rippling. Reasoning, Action and Interaction in AI Theories and Systems 2006: 83-100

Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon: Deductive synthesis of workflows for e-Science. CCGRID 2005: 168-175

Lucas Dixon, Jacques D. Fleuriot: Higher Order Rippling in IsaPlanner. TPHOLs 2004: 83-98

Lucas Dixon, Jacques D. Fleuriot: IsaPlanner: A Prototype Proof Planner in Isabelle. CADE 2003: 279-283