ProofPeer: Collaborative Theorem Proving

  • 4 Conference contribution
  • 1 Working paper
Filter
Conference contribution

Search results

  • 2018

    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
  • 2017

    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
  • 2016

    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
  • 2015

    Type Inference for ZFH

    Obua, S., Fleuriot, J., Scott, P. & Aspinall, D., 18 Jul 2015, Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. Springer, p. 87-101 15 p. (Lecture Notes in Computer Science; vol. 9150).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File