Volgen
Fabio Papacchini
Fabio Papacchini
Lecturer in Computer Science, Lancaster University Leipzig, Germany
Geverifieerd e-mailadres voor lancaster.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
242020
An overview of verification and validation challenges for inspection robots
M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ...
Robotics 10 (2), 67, 2021
132021
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
132019
A tableau calculus for minimal modal model generation
F Papacchini, RA Schmidt
Electronic Notes in Theoretical Computer Science 278, 159-172, 2011
122011
LFC: combining autonomous agents and automated planning in the multi-agent programming contest
RC Cardoso, A Ferrando, F Papacchini
Multi-Agent Progamming Contest, 31-58, 2019
112019
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
112019
Efficient Local Reductions to Basic Modal Logic.
F Papacchini, C Nalon, U Hustadt, C Dixon
CADE, 76-92, 2021
72021
Analysing spatial properties on neighbourhood spaces
S Linker, F Papacchini, M Sevegnani
arXiv preprint arXiv:2007.01266, 2020
72020
Horn-rewritability vs PTime query evaluation in ontology-mediated querying
A Hernich, C Lutz, F Papacchini, F Wolter
Proceedings of the Twenty-Seventh International Joint Conference on …, 2018
72018
Terminating minimal model generation procedures for propositional modal logics
F Papacchini, RA Schmidt
International Joint Conference on Automated Reasoning, 381-395, 2014
72014
Computing Minimal Models Modulo Subset-Simulation for Modal Logics
F Papacchini, RA Schmidt
International Symposium on Frontiers of Combining Systems, 279-294, 2013
42013
Automated Planning and BDI Agents: A Case Study
RC Cardoso, A Ferrando, F Papacchini
International Conference on Practical Applications of Agents and Multi-Agent …, 2021
22021
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest
RC Cardoso, A Ferrando, F Papacchini, M Luckcuck, S Linker, TR Payne
Multi-Agent Progamming Contest, 82-107, 2021
22021
Minimal model reasoning for modal logic
F Papacchini
PQDT-UK & Ireland, 2015
22015
Local is Best: Efficient Reductions to Modal Logic K
F Papacchini, C Nalon, U Hustadt, C Dixon
Journal of Automated Reasoning, 1-28, 2022
12022
Debugging of ALC-Ontologies via Minimal Model Generation
F Papacchini, RA Schmidt
Automated Reasoning Workshop, 5-6, 2015
12015
Bridging the gap between single-and multi-model predictive runtime verification
A Ferrando, RC Cardoso, M Farrell, M Luckcuck, F Papacchini, M Fisher, ...
Formal Methods in System Design, 1-33, 2022
2022
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy
RC Cardoso, A Ferrando, F Papacchini, M Askarpour, LA Dennis
arXiv preprint arXiv:2207.09058, 2022
2022
Local Reductions for the Modal Cube
C Nalon, U Hustadt, F Papacchini, C Dixon
International Joint Conference on Automated Reasoning, 486-505, 2022
2022
Finite Models for a Spatial Logic with Discrete and Topological Path Operators
S Linker, F Papacchini, M Sevegnani
Leibniz International Proceedings in Informatics, LIPIcs 202, 2021
2021
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20