A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows

Papapanagiotou, P., Vaughan, J., Smola, F. & Fleuriot, J. D., 12 Oct 2020, (Accepted/In press) Proceedings of the 54th Hawaii International Conference on System Sciences. 10 p.

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

Computer-supported ethical rules for collaboratively sharing data

Zhao, R., Atkinson, M. P., Papapanagiotou, P., Fleuriot, J. D. & Pagé, C., 27 Sep 2020, (Accepted/In press) Proceedings of the Ethics in Design CSCW Workshop 2020. 6 p.

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

A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference

Papapanagiotou, P. & Fleuriot, J., 22 Apr 2019, Logic-Based Program Synthesis and Transformation. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer International Publishing, p. 77-93 17 p. (LNCS; vol. 11408).

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

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

Papapanagiotou, P. & Fleuriot, J., 11 Sep 2018, 28th International Symposium on Logic-Based Program Synthesis and Transformation. Frankfurt am Main, Germany: Springer, Cham, p. 77-93 16 p.

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

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. (Lecture Notes in Computer Science; vol. 11110)(Lecture Notes in Artificial Intelligence; vol. 11110).

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

Social Machines for All

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

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

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 proceeding › Conference contribution

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

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

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

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 proceeding › Conference contribution