Edinburgh Research Explorer

Dr Lucas Dixon

(Former employee or visitor)

  1. 2012
  2. Refinement and Term Synthesis in Loop Invariant Generation

    Maclean, E., Ireland, A., Dixon, L. & Atkey, R. 2012 WING 2010. Voronkov, A., Kovacs, L. & Bjorner, N. (eds.). EasyChair, p. 167-182 16 p. (EPiC Series; vol. 1)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Scheme-based theorem discovery and concept invention

    Montano-Rivas, O., McCasland, R., Dixon, L. & Bundy, A. 2012 In : Expert Systems with Applications. 39, 2, p. 1637-1646 10 p.

    Research output: Contribution to journalArticle

  4. 2010
  5. A small experiment in Event-B rippling

    Grov, G., Bundy, A. & Dixon, L. 2010 Proceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Open Graphs and Computational Reasoning

    Dixon, L., Duncan, R. & Kissinger, A. 2010 Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, Edinburgh, Scotland, 9-10th July 2010. Cooper, S. B., Panangaden, P. & Kashefi, E. (eds.). Open Publishing Association, p. 169-180 12 p. (Electronic Proceedings in Theoretical Computer Science; vol. 26)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. 2009
  8. Graphical reasoning in compact closed categories for quantum computation

    Dixon, L. & Duncan, R. 2009 In : Annals of Mathematics and Artificial Intelligence. 56, 1, p. 23-42 20 p.

    Research output: Contribution to journalArticle

  9. Plans, Actions and Dialogues Using Linear Logic

    Dixon, L., Smaill, A. & Tsang, T. 2009 In : Journal of Logic, Language and Information. 18, 2, p. 251-289 39 p.

    Research output: Contribution to journalArticle

  10. 2006
  11. A proof-centric approach to mathematical assistants

    Dixon, L. & Fleuriot, J. 2006 In : Journal of applied logic. 4, 4, p. 505-532 28 p.

    Research output: Contribution to journalArticle

  12. Best-First Rippling

    Johansson, M., Bundy, A. & Dixon, L. 2006 Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello. Stock, O. & Schaerf, M. (eds.). Springer Berlin Heidelberg, p. 83-100 18 p. (Lecture Notes in Computer Science; vol. 4155)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  13. 2004
  14. Higher Order Rippling in IsaPlanner

    Dixon, L. & Fleuriot, J. D. 2004 Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings. Springer Berlin Heidelberg, p. 83-98 16 p. (Lecture Notes in Computer Science; vol. 3223)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. 2003
  16. IsaPlanner: A Prototype Proof Planner in Isabelle

    Dixon, L. & Fleuriot, J. 2003 Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings. Springer Berlin Heidelberg, p. 279-283 5 p. (Lecture Notes in Computer Science; vol. 2741)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution