Skip to main navigation Skip to search Skip to main content

ProofPeer: Collaborative Theorem Proving

Project Details

StatusFinished
Effective start/end date1/04/14 → 31/03/17

Funding

  • EPSRC: £653,510.00

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 4 Conference contribution
  • 1 Working paper

  • 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, 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 proceeding › Conference 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, p. 357-370 14 p. (Lecture Notes in Computer Science ; vol. 10395).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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 proceeding › Conference contribution

    Open Access
    File
View all 5 research outputs