关注
Fabio Papacchini
Fabio Papacchini
Lecturer in Computer Science, Lancaster University Leipzig, Germany
在 lancaster.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
472021
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
272020
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, ...
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
182019
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
152019
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
132019
Analysing spatial properties on neighbourhood spaces
S Linker, F Papacchini, M Sevegnani
arXiv preprint arXiv:2007.01266, 2020
122020
A tableau calculus for minimal modal model generation
F Papacchini, RA Schmidt
Electronic Notes in Theoretical Computer Science 278, 159-172, 2011
122011
Efficient Local Reductions to Basic Modal Logic.
F Papacchini, C Nalon, U Hustadt, C Dixon
CADE, 76-92, 2021
112021
Terminating minimal model generation procedures for propositional modal logics
F Papacchini, RA Schmidt
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014
82014
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying.
A Hernich, C Lutz, F Papacchini, F Wolter
IJCAI, 1861-1867, 2018
72018
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 59 (1), 44-76, 2021
52021
Finite models for a spatial logic with discrete and topological path operators
S Linker, F Papacchini, M Sevegnani
42021
Computing minimal models modulo subset-simulation for modal logics
F Papacchini, RA Schmidt
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013 …, 2013
42013
Local reductions for the modal cube
C Nalon, U Hustadt, F Papacchini, C Dixon
International Joint Conference on Automated Reasoning, 486-505, 2022
32022
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
32021
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
32021
Local is best: efficient reductions to modal logic K
F Papacchini, C Nalon, U Hustadt, C Dixon
Journal of Automated Reasoning 66 (4), 639-666, 2022
22022
StreamB: a declarative language for automatically processing data streams in abstract environments for agent platforms
A Ferrando, F Papacchini
International Workshop on Engineering Multi-Agent Systems, 114-136, 2021
22021
Horn Rewritability vs PTime Query Answering for Description Logic TBoxes.
A Hernich, C Lutz, F Papacchini, F Wolter
Description Logics, 2017
22017
Minimal model reasoning for modal logic
F Papacchini
PQDT-UK & Ireland, 2015
22015
系统目前无法执行此操作,请稍后再试。
文章 1–20