ProofPeer: Collaborative Theorem Proving

Project Details

StatusFinished
Effective start/end date1/04/1431/03/17

Funding

  • EPSRC: £653,510.00
  • Machine Learning for Automated Inductive Theorem Proving

    Jiang, Y., Papapanagiotou, P. & Fleuriot, J., 22 Aug 2018, (E-pub ahead of print) Proceedings of the 13th International Artificial Intelligence and Symbolic Computation (AISC) Conference 2018 : Lecture Notes in Artificial Intelligence, Volume 11110, pages 87-103, 2018. Suzhou, China: Springer, Cham, p. 87-103 16 p. (Lecture Notes in Computer Science; vol. 11110)(Lecture Notes in Artificial Intelligence; vol. 11110).

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

    Open Access
    File
  • WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition

    Papapanagiotou, P. & Fleuriot, J., 11 Jul 2017, Automated Deduction – CADE 26. Springer, Cham, p. 357-370 14 p. (Lecture Notes in Computer Science ; vol. 10395).

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

    Open Access
    File
  • Compass-free Navigation of Mazes

    Scott, P. & Fleuriot, J., 2016, SCSS 2016, 7th International Symposium on Symbolic Computation in Software Science. Davenport, J. H. & Ghourabi, F. (eds.). EasyChair, Vol. 39. p. 143-155 13 p. (EPiC Series in Computing; vol. 39).

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

    Open Access
    File