# About Me

## Dr. Fabio PapacchiniUniversity Teacher at the University of Liverpool Department of Computer Science Member of the Robotics and Autonomous Systems Group and the Argumentation and Representation of Knowledge Group Room
1.09, Ashton Building, Ashton Street, Liverpool, L69 3BX, UK
E-mail: Fabio.Papacchini@liverpool.ac.uk |

I am a University Teacher at the University of Liverpool since November 2020. My research interests include Knowledge Representation and Reasoning, Logic in Computer Science, Model Theory (particularly for non-classical logics such as spatial, temporal, modal and description logics), Automated Reasoning (with particular focus on tableaux and resolution methods), and Formal Verification. Before my current position, I have been a Research Associate at the University of Liverpool and worked on the following EPSRC projects: "iTract: island of tractability", "Robotics and Artificial Intelligence for Nuclear", "UK Robotics and Artificial Intelligence Hub for Offshore En- ergy Asset Integrity Management" and "Science of Sensor System Software". I have been an EPSRC Doctoral Prize fellow at The University of Manchester, the same university where I obtained my PhD in January 2015 under the supervision of Dr.-Ing. Renate A. Schmidt. Before that, I obtained my BSc and MSc in Computer Science Engineering at the "Università degli Studi Roma Tre" under the supervision of Prof. Marta Cialdea Mayer.

# Publications

## 2020

**Dichotomies in Ontology- Mediated Querying with the Guarded Fragment.**Together with A. Hernich, C. Lutz and F. Wolter.

*ACM Transactions on Computational Logic (TOCL)*, 21(3), 1-47. Full Paper

**Analysing Spatial Properties on Neighbourhood Spaces.**Together with S. Linker, and M. Sevegnani.

*45th International Symposium on Mathematical Foundations of Computer Science (MFCS)*, 66:1-66:14.

**LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest.**Together with R. C. Cardoso, and A. Ferrando. In

*The Multi-Agent Programming Contest 2019*, LNAI 12381, pp. 31–58.

## 2019

**Model Comparison Games for Horn Description Logics.**Together with J. C. Jung, F. Wolter, M. Zakharyaschev.

*Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019)*Full Paper doi

**Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.**Together with X. Zhao, M. Osborne, J. Lantair, V. Robu, D. Flynn, X. Huang, M. Fisher, and A. Ferrando.

*Proceedings of the 17th edition of the International Conference on Software Engineering and Formal Methods, (SEFM 2019)*, 105-124. doi

**Model Comparison Games for Horn Description Logics: A Summary.**Together with J. C. Jung, F. Wolter, M. Zakharyaschev.

*Proceedings of the 32nd International Workshop on Description Logics (DL 2019)*CEUR Workshop Proceedings, 2373, CEUR-WS.org . CEUR-WS link

## 2018

**Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying.**Together with A. Hernich, C. Lutz and F. Wolter.

*Proceedings of the 27th International Joint Conference on Artificial Intelligence, (IJCAI 2018)*1861-1867, ijcai.org. Full paper doi

**Extending the KSP Prover to More Expressive Modal Logics.**Together with C. Nalon, U. Hustadt and C. Dixon.

*Proceedings of the 25th Automated Reasoning Workshop (ARW 2018)*21-22. Prodeedings

## 2017

**Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. (Best Paper Award)**Together with A. Hernich, C. Lutz and F. Wolter.

*Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2017)*185-199, ACM. Full paper doi

**Horn Rewritability vs PTime Query Evaluation for Description Logic TBoxes.**Together with A. Hernich, C. Lutz and F. Wolter.

*Proceedings of the 30th International Workshop on Description Logics (DL 2017)*CEUR Workshop Proceedings, 1879, CEUR-WS.org . Full paper CEUR-WS link

## 2016

**Rewriting ALC-TBoxes of Depth One via Resolution.**

*Proceedings of the 23th Automated Reasoning Workshop (ARW 2016)*Paper

## 2015

**On the Feasibility of Ontology Debugging via Model Generation.**Together with R. A. Schmidt.

*Proceedings of the DEDUKTIONSTREFFEN 2015*Slides

**Debugging of ALC-Ontologies via Minimal Model Generation.**Together with R. A. Schmidt.

*Proceedings of the 22th Automated Reasoning Workshop (ARW 2015)*Link Slides Poster

**Minimal Model Reasoning for Modal Logic.**

*PhD Thesis.*supervised by Renate A. Schmidt, Link

## 2014

**Terminating Minimal Model Generation Procedures for Propositional Modal Logics.**Together with Renate A. Schmidt. In S. Demri, D. Kapur, C. Weidenbach (eds),

*Automated Reasoning (IJCAR 2014).*Lecture Notes in Artificial Intelligence, Vol. 8562, Springer, 381-395. Link Slides

**Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics.**Together with R. A. Schmidt.

*Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT 2014).*Link Slides

## 2013

**Computing Minimal Models Modulo Subset-Simulation for Propositional Modal Logics.**Together with R. A. Schmidt. In Fontaine, P. and Ringeissen, C. and Schmidt, R. A. (eds),

*Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013)*, Lecture Notes in Artificial Intelligence, Vol. 8152, Springer, 279-294. Link Slides

**Minimal Models Modulo Subset-Simulation for Modal Logics.**Together with R. A. Schmidt.

*Proceedings of the 20th Automated Reasoning Workshop (ARW 2013)*Link Slides Poster

## 2012

**Proceedings of the 19th Automated Reasoning Workshop.**Together with R. A. Schmidt (eds). Escholar

**uk-ac-man-scw:161817**, The University of Manchester, UK. Link

**Subset-Simulation as Model Minimality Criterion.**Together with R. A. Schmidt.

*Short paper for Advances in Modal Logic 2012 (AiML 2012)*Link Slides

**Minimal Models for Modal Logics.**Together with R. A. Schmidt.

*Proceedings of the 19th Automated Reasoning Workshop (ARW 2012)*Link Slides Poster

## 2011

**A Tableau Calculus for Minimal Modal Model Generation.**Together with R. A. Schmidt.

*Electronic Notes in Theoretical Computer Science*

**278**(3), 159-172. Link Long version Slides

**A Modal Tableau Approach for Minimal Model Generation.**Together with R. A. Schmidt.

*Proceedings of the 18th Automated Reasoning Workshop (ARW 2011)*Link Slides Poster

# Academic Responsibilities

## 2020/present

As University Teacher, I have contributed to the design (course material and exam questions) of the BSc module “Introduction to Artificial Intelligence”. I have also designed and run tutorials for the MSc module "Maths and Statistics for AI and Data Science", and contributed to the preparation of exam questions. From January 2021, I am responsible for the re-run of of the following three master modules: “Maths and Statistics for AI and Data Science”, “Advanced Algorithmic Techniques”, and “Multi-Core and Multi-Processor Programming”.## 2018/2020

I have taught the “Knowledge representation and reasoning” section of the course “Introduction to Artificial Intelligence” at the University of Liverpool (class size of about 200 students). I have contributed to the preparation of the course material by helping in the design of tutorials, slides, class tests and exam questions. I have also been a demonstrator for the module.## 2017/2018

I have contributed to the preparation of the course “Introduction to Artificial Intelligence” at the University of Liverpool. My contributions include: designing of tutorials, slides, class tests and exam questions. I have also been a demonstrator for the course.## 2016/2017

I have designed and ran a Protégé tutorial for the course “Ontology Languages” at the University of Liverpool.I have been a demonstrator for the course “Logic in Computer Science” at the University of Liverpool.

I have given a guest lecture for the course “Research Methods in Computer Science” at the University of Liverpool.

## 2014/2015

I was a teaching assistant for the course Automated Reasoning and Verification during the academic year 2014/2015 at The University of Manchester.## 2010 - 2013

I was supervising and teaching in labs (example classes), marking assessed coursework for the course of Algorithms and Imperative Programming from 2010 to 2013 at The University of Manchester.# Public Engagement

I, together with Francis Southern, organised and ran a workshop on Logic and Computing as part of the Discovery Computer Science event at The University of Manchester on 3 December 2014. SlidesI revisited, organised and ran a workshop on Logic and Computing as part of the Discovery Computer Science event at The University of Manchester on 15 July 2015. Slides

I revisited, organised and ran a workshop on Logic and Computing as part of the Discovery Computer Science event at The University of Manchester on 8 March 2016. Slides, Handout, Truth tables