Edinburgh Research Explorer

Mr. Petros Papapanagiotou

Senior Researcher

  1. 2018
  2. Machine Learning for Automated Inductive Theorem Proving

    Jiang, Y., Papapanagiotou, P. & Fleuriot, J. 22 Aug 2018 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.

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

  3. Correct-by-construction Process Composition Using Classical Linear Logic Inference

    Papapanagiotou, P. & Fleuriot, J. 30 Jul 2018 (Accepted/In press) 28th International Symposium on Logic-Based Program Synthesis and Transformation. Frankfurt am Main, Germany, 16 p.

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

  4. Social Machines for All

    Papapanagiotou, P., Davoust, A., Murray-Rust, D., Manataki, A., van Kleek, M., Shadbolt, N. & Robertson, D. 2018 17th International Conference on Autonomous Agents and Multiagent Systems . p. 1208-1212 5 p.

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

  5. Towards Executable Representations of Social Machines

    Murray-Rust, D., Davoust, A., Papapanagiotou, P., Manataki, A., van Kleek, M., Shadbolt, N. & Robertson, D. 2018 Diagrammatic Representation and Inference: Diagrams 2018. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). SpringerLink, p. 765-769 4 p. (Lecture Notes in Computer Science; vol. 10871)

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

  6. 2017
  7. WorkflowFM: A Logic-based Formal Verification Framework for Process Specification and Composition

    Papapanagiotou, P. & Fleuriot, J. 11 Jul 2017 Automated Deduction – CADE 26: Proceedings of the 26th International Conference on Automated Deduction (CADE 26). Springer, Cham, p. 357-370 11 p. (Lecture Notes in Computer Science ; vol. 10395)

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

  8. A Step Towards the Standardisation of HIV Care Practices

    Alexandru, C., Clutterbuck, D., Papapanagiotou, P., Fleuriot, J. & Manataki, A. Jul 2017 Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017). SCITEPRESS, p. 457-462 6 p.

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

  9. A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers

    Manataki, A., Fleuriot, J. & Papapanagiotou, P. Jul 2017 In : IEEE Journal of Biomedical and Health Informatics. 21, 4, p. 1156-1162 7 p.

    Research output: Contribution to journalArticle

  10. Designing a Social Machine for the Heart Manual Service

    Hanschke, V., Manataki, A., Alexandru, C., Papapanagiotou, P., Deighan, C., Taylor, L. & Robertson, D. 2017 Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 5: HEALTHINF, (BIOSTEC 2017). SCITEPRESS, p. 435-440 6 p.

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

  11. Development of workflow-based guidelines for the care of burns in Scotland

    Dewanti, A., Papapanagiotou, P., Gilhooly, C., Fleuriot, J., Manataki, A. & Moss, L. 2017 Proceedings of the International Conference e-Health 2017. p. 155-158 4 p.

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

  12. Hazard prevention in mission plans for aerial vehicles based on soft institutions

    Correa da Silva, F. S., Chung, P. W. H., Zuffo, M. K., Papapanagiotou, P., Robertson, D. & Vasconcelos, W. 2017 In : Civil Aircraft Design and Research. 3, 22 p.

    Research output: Contribution to journalArticle

Previous 1 2 3 Next