ProofPeer: Collaborative Theorem Proving

Fleuriot, Jacques (Principal Investigator)
Aspinall, David (Co-investigator)

Status	Finished
Effective start/end date	1/04/14 → 31/03/17

Funding

EPSRC: £653,510.00

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