Fabio Papacchini
Fabio Papacchini
RA at the Department of Computer Science, University of Liverpool, UK
Verifierad e-postadress på liverpool.ac.uk - Startsida
Titel
Citeras av
Citeras av
År
Dichotomies in ontology-mediated querying with the guarded fragment
A Hernich, C Lutz, F Papacchini, F Wolter
ACM Transactions on Computational Logic (TOCL) 21 (3), 1-47, 2020
112020
A tableau calculus for minimal modal model generation
F Papacchini, RA Schmidt
Electronic Notes in Theoretical Computer Science 278, 159-172, 2011
112011
Horn-rewritability vs PTime query evaluation in ontology-mediated querying
A Hernich, C Lutz, F Papacchini, F Wolter
IJCAI International Joint Conference on Artificial Intelligence 2018, 1861-1867, 2018
52018
Terminating minimal model generation procedures for propositional modal logics
F Papacchini, RA Schmidt
International Joint Conference on Automated Reasoning, 381-395, 2014
52014
Computing Minimal Models Modulo Subset-Simulation for Modal Logics
F Papacchini, RA Schmidt
International Symposium on Frontiers of Combining Systems, 279-294, 2013
52013
Model comparison games for Horn description logics
JC Jung, F Papacchini, F Wolter, M Zakharyaschev
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019
42019
Minimal model reasoning for modal logic
F Papacchini
PQDT-UK & Ireland, 2015
22015
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
X Zhao, M Osborne, J Lantair, V Robu, D Flynn, X Huang, M Fisher, ...
International Conference on Software Engineering and Formal Methods, 105-124, 2019
12019
Debugging of ALC-Ontologies via Minimal Model Generation
F Papacchini, RA Schmidt
Automated Reasoning Workshop 2015 Bridging the Gap between Theory and …, 2015
12015
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
D Flynn, X Huang, M Fisher, F Papacchini, A Ferrando
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
2019
Horn rewritability vs PTime query evaluation for description logic TBoxes
A Hernich, C Lutz, F Papacchini, F Wolter
CEUR Workshop Proceedings 1879, 2018
2018
Extending the KSP Prover to More Expressive Modal Logics
F Papacchini, C Nalon, U Hustadt, C Dixon
25th Automated Reasoning Workshop, 21, 2018
2018
A Van Benthem Theorem for Horn Description and Modal Logic.
F Papacchini, F Wolter
Description Logics, 2018
2018
Rewriting ALC-TBoxes of Depth One via Resolution
F Papacchini
Automated Reasoning Workshop 2016 Bridging the Gap between Theory and …, 2016
2016
Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics
F Papacchini, RA Schmidt
Joint Automated Reasoning Workshop and Deduktionstreffen, 2014
2014
A Modal Tableau Approach for Minimal Model Generation
F Papacchini, RA Schmidt
Automated Reasoning Workshop 2011, 11, 2010
2010
Model Comparison Games for Horn Description Logics: A Summary⋆
JC Jung, F Papacchini, F Wolter, M Zakharyaschev
ARW 2012
RA Schmidt, F Papacchini
Subset-Simulation as Minimality Criterion
F Papacchini, RA Schmidt
Minimal Models for Modal Logics
F Papacchini, RA Schmidt
ARW 2012, 25, 0
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20