Photo of Dr Fabio Papacchini

Dr Fabio Papacchini

Research Assistant Computer Science

Publications

2018

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. (Journal article)

Hernich, A., Lutz, C., Papacchini, F., & Wolter, F. (2018). Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.. CoRR, abs/1804.06894.

Horn-rewritability vs PTIMe query evaluation in ontology-mediated querying (Conference Paper)

Hernich, A., Lutz, C., Papacchini, F., & Wolter, F. (2018). Horn-rewritability vs PTIMe query evaluation in ontology-mediated querying. In IJCAI International Joint Conference on Artificial Intelligence Vol. 2018-July (pp. 1861-1867).

2017

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment (Conference Paper)

Hernich, A., Lutz, C., Papacchini, F., & Wolter, F. (n.d.). Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. 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