Chancellor's Fellow in Digital Technologies
- 2020
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
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
- 2019
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
- 2018
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
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
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
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
- 2017
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
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