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 J. Lang (Ed.), IJCAI (pp. 1861-1867). ijcai.org. Retrieved from http://www.ijcai.org/proceedings/2018/

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