Photo of Dr Fabio Papacchini

Dr Fabio Papacchini

Research Assistant Computer Science

Publications

2017

Dichotomies in ontology-mediated querying with the guarded fragment (Conference Paper)

Hernich, A., Lutz, C., Papacchini, F., & Wolter, F. (2017). Dichotomies in ontology-mediated querying with the guarded fragment. In Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems Vol. Part F127745 (pp. 185-199). doi:10.1145/3034786.3056108

DOI: 10.1145/3034786.3056108

Horn rewritability vs PTime query evaluation for description logic TBoxes (Conference Paper)

Hernich, A., Lutz, C., Papacchini, F., & Wolter, F. (2017). Horn rewritability vs PTime query evaluation for description logic TBoxes. In CEUR Workshop Proceedings Vol. 1879.

2014

Terminating Minimal Model Generation Procedures for Propositional Modal Logics (Conference Paper)

Papacchini, F., & Schmidt, R. A. (2014). Terminating Minimal Model Generation Procedures for Propositional Modal Logics. In AUTOMATED REASONING, IJCAR 2014 Vol. 8562 (pp. 381-395). Retrieved from http://gateway.webofknowledge.com/
Untitled Document