A Tableau Calculus for Minimal Modal Model Generation. - Fabio Papacchini; Renate A. Schmidt (M4M/LAMAS, 2011)

Computing Minimal Models Modulo Subset-Simulation for Modal Logics. - Fabio Papacchini; Renate A. Schmidt (FroCos, 2013)

Terminating Minimal Model Generation Procedures for Propositional Modal Logics. - Fabio Papacchini; Renate A. Schmidt (IJCAR, 2014)

Minimal model reasoning for modal logic. - Fabio Papacchini (2015)

Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. - André Hernich; Carsten Lutz; Fabio Papacchini; Frank Wolter (Description Logics, 2017)

A Van Benthem Theorem for Horn Description and Modal Logic. - Fabio Papacchini; Frank Wolter (Description Logics, 2018)

Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. - André Hernich; Carsten Lutz; Fabio Papacchini; Frank Wolter (IJCAI, 2018)

Model Comparison Games for Horn Description Logics: A Summary. - Jean Christoph Jung; Fabio Papacchini; Frank Wolter; Michael Zakharyaschev (Description Logics, 2019)

Model Comparison Games for Horn Description Logics. - Jean Christoph Jung; Fabio Papacchini; Frank Wolter; Michael Zakharyaschev (LICS, 2019)

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. - Xingyu Zhao 001; Matthew Osborne; Jenny Lantair; Valentin Robu; David Flynn; Xiaowei Huang 001; Michael Fisher 001; Fabio Papacchini; Angelo Ferrando 001 (SEFM, 2019)

LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. - Rafael C. Cardoso 001; Angelo Ferrando 001; Fabio Papacchini (The Multi-Agent Programming Contest, 2019)

Analysing Spatial Properties on Neighbourhood Spaces. - Sven Linker; Fabio Papacchini; Michele Sevegnani (MFCS, 2020)

LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. - Rafael C. Cardoso 001; Angelo Ferrando 001; Fabio Papacchini (CoRR, 2020)

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. - André Hernich; Carsten Lutz; Fabio Papacchini; Frank Wolter (ACM Trans. Comput. Log., 2020)

Efficient Local Reductions to Basic Modal Logic. - Fabio Papacchini; Cláudia Nalon; Ullrich Hustadt; Clare Dixon (CADE, 2021)

StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms. - Angelo Ferrando 001; Fabio Papacchini (EMAS@AAMAS, 2021)

Finite Models for a Spatial Logic with Discrete and Topological Path Operators. - Sven Linker; Fabio Papacchini; Michele Sevegnani (MFCS, 2021)

Automated Planning and BDI Agents: A Case Study. - Rafael C. Cardoso 001; Angelo Ferrando 001; Fabio Papacchini (PAAMS, 2021)

MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. - Rafael C. Cardoso 001; Angelo Ferrando 001; Fabio Papacchini; Matt Luckcuck; Sven Linker; Terry R. Payne (CoRR, 2021)

Bridging the gap between single- and multi-model predictive runtime verification. - Angelo Ferrando 001; Rafael C. Cardoso 001; Marie Farrell; Matt Luckcuck; Fabio Papacchini; Michael Fisher 001; Viviana Mascardi (Formal Methods Syst. Des., 2021)

An Overview of Verification and Validation Challenges for Inspection Robots. - Michael Fisher 001; Rafael C. Cardoso 001; Emily C. Collins 001; Christopher Dadswell; Louise A. Dennis; Clare Dixon; Marie Farrell; Angelo Ferrando 001; Xiaowei Huang 001; Mike Jump; Georgios Kourtis; Alexei Lisitsa 001; et al. (Robotics, 2021)

Local Reductions for the Modal Cube. - Cláudia Nalon; Ullrich Hustadt; Fabio Papacchini; Clare Dixon (IJCAR, 2022)

Local is Best: Efficient Reductions to Modal Logic K. - Fabio Papacchini; Cláudia Nalon; Ullrich Hustadt; Clare Dixon (J. Autom. Reason., 2022)

Correction to: Local is Best: Efficient Reductions to Modal Logic K. - Fabio Papacchini; Cláudia Nalon; Ullrich Hustadt; Clare Dixon (J. Autom. Reason., 2022)

Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic. - Cláudia Nalon; Ullrich Hustadt; Fabio Papacchini; Clare Dixon (CADE, 2023)

Model Construction for Modal Clauses. - Ullrich Hustadt; Fabio Papacchini; Cláudia Nalon; Clare Dixon (IJCAR (2), 2024)