Fabio Papacchini

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 26

Top Venues

University of Manchester, UK (PHD)

Education History

University of Manchester, UK

PHD

Publications

Ullrich Hustadt, Fabio Papacchini, Cláudia Nalon, Clare Dixon
Model Construction for Modal Clauses. IJCAR (2) (2024)
Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic. CADE (2023)
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Local is Best: Efficient Reductions to Modal Logic K. J. Autom. Reason. 66 (4) (2022)
Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
Local Reductions for the Modal Cube. IJCAR (2022)
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Correction to: Local is Best: Efficient Reductions to Modal Logic K. J. Autom. Reason. 66 (4) (2022)
Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10 (2) (2021)
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. CoRR (2021)
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Efficient Local Reductions to Basic Modal Logic. CADE (2021)
Angelo Ferrando, Fabio Papacchini
StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms. EMAS@AAMAS (2021)
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
Automated Planning and BDI Agents: A Case Study. PAAMS (2021)
Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi
Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods Syst. Des. 59 (1) (2021)
Sven Linker, Fabio Papacchini, Michele Sevegnani
Finite Models for a Spatial Logic with Discrete and Topological Path Operators. MFCS (2021)
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. ACM Trans. Comput. Log. 21 (3) (2020)
Sven Linker, Fabio Papacchini, Michele Sevegnani
Analysing Spatial Properties on Neighbourhood Spaces. MFCS (2020)
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. CoRR (2020)
Sven Linker, Fabio Papacchini, Michele Sevegnani
Analysing Spatial Properties on Neighbourhood Spaces. CoRR (2020)
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. CoRR (2019)
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
Model Comparison Games for Horn Description Logics. LICS (2019)
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
Model Comparison Games for Horn Description Logics: A Summary. Description Logics (2019)
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
Model Comparison Games for Horn Description Logics. CoRR (2019)
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. SEFM (2019)
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. IJCAI (2018)
Fabio Papacchini, Frank Wolter
A Van Benthem Theorem for Horn Description and Modal Logic. Description Logics (2018)
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. CoRR (2018)
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. Description Logics (2017)
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. PODS (2017)
Fabio Papacchini, Renate A. Schmidt
Terminating Minimal Model Generation Procedures for Propositional Modal Logics. IJCAR (2014)
Fabio Papacchini, Renate A. Schmidt
Computing Minimal Models Modulo Subset-Simulation for Modal Logics. FroCos (2013)
Fabio Papacchini, Renate A. Schmidt
A Tableau Calculus for Minimal Modal Model Generation. Electron. Notes Theor. Comput. Sci. 278 (2011)

Fabio Papacchini.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fabio Papacchini