In September 2015 I have moved to the University of Liverpool and will no longer maintain this website. Go to my current website

About Me

Dr. Fabio Papacchini


EPSRC Doctoral Prize Fellow at The University of Manchester
School of Computer Science, Formal Methods Group

Currently working on ontology debugging via minimal model generation,
supervised by Dr.-Ing. Renate A. Schmidt

Room 2.108, Kilburn Building, Oxford Road, Manchester, M13 9PL, UK
Tel: +44 (0) 161 27 56266
E-mail: papacchf@cs.man.ac.uk


I am an EPSRC Doctoral Prize fellow at The University of Manchester since November 2014. My research interests include Automated Reasoning, Tableaux Methods, Modal Logics, Description Logics and Model Generation. I obtained my PhD at The University of Manchester 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

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

I was a teaching assistant for the course Automated Reasoning and Verification during the academic year 2014/2015.

I was supervising and teaching in labs (example classes), marking assessed coursework for the course of Algorithms and Imperative Programming from 2010 to 2013.


Public Engagement

I, together with Francis Southern, organised and ran a workshop on Logic and Computing as part of the Discovery Computer Science event on 3 December 2014. Slides

I revisited, organised and ran a workshop on Logic and Computing as part of the Discovery Computer Science event on 15 July 2015. Slides