Fabio Papacchini
Fabio Papacchini
RA at the Department of Computer Science, University of Liverpool, UK
Dirección de correo verificada de liverpool.ac.uk - Página principal
Citado por
Citado por
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
A tableau calculus for minimal modal model generation
F Papacchini, RA Schmidt
Electronic Notes in Theoretical Computer Science 278, 159-172, 2011
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
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
Terminating minimal model generation procedures for propositional modal logics
F Papacchini, RA Schmidt
International Joint Conference on Automated Reasoning, 381-395, 2014
Computing Minimal Models Modulo Subset-Simulation for Modal Logics
F Papacchini, RA Schmidt
International Symposium on Frontiers of Combining Systems, 279-294, 2013
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
Minimal model reasoning for modal logic
F Papacchini
PQDT-UK & Ireland, 2015
Debugging of ALC-Ontologies via Minimal Model Generation
F Papacchini, RA Schmidt
Automated Reasoning Workshop, 5-6, 2015
Analysing Spatial Properties on Neighbourhood Spaces
S Linker, F Papacchini, M Sevegnani
arXiv preprint arXiv:2007.01266, 2020
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest
RC Cardoso, A Ferrando, F Papacchini
arXiv preprint arXiv:2006.02736, 2020
Model Comparison Games for Horn Description Logics: A Summary.
JC Jung, F Papacchini, F Wolter, M Zakharyaschev
Description Logics, 2019
Horn rewritability vs PTime query evaluation for description logic TBoxes
A Hernich, C Lutz, F Papacchini, F Wolter
CEUR Workshop Proceedings 1879, 2018
Extending the KSP Prover to More Expressive Modal Logics
F Papacchini, C Nalon, U Hustadt, C Dixon
25th Automated Reasoning Workshop, 21, 2018
A Van Benthem Theorem for Horn Description and Modal Logic.
F Papacchini, F Wolter
Description Logics, 2018
Rewriting ALC-TBoxes of Depth One via Resolution
F Papacchini
Automated Reasoning Workshop 2016 Bridging the Gap between Theory and …, 2016
Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics
F Papacchini, RA Schmidt
Joint Automated Reasoning Workshop and Deduktionstreffen, 2014
A Modal Tableau Approach for Minimal Model Generation
F Papacchini, RA Schmidt
Automated Reasoning Workshop 2011, 11, 2010
ARW 2012
RA Schmidt, F Papacchini
Subset-Simulation as Minimality Criterion
F Papacchini, RA Schmidt
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20