Fabio Papacchini

According to our database, Fabio Papacchini authored at least 26 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Model Construction for Modal Clauses.

Ullrich Hustadt, Fabio Papacchini, Cláudia Nalon, Clare Dixon

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic.

Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon

Proceedings of the Automated Deduction - CADE 29, 2023

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

Local is Best: Efficient Reductions to Modal Logic K.

Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon

J. Autom. Reason., 2022

Local Reductions for the Modal Cube.

Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

An Overview of Verification and Validation Challenges for Inspection Robots.

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

Robotics, 2021

Bridging the gap between single- and multi-model predictive runtime verification.

Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi

Formal Methods Syst. Des., 2021

MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest.

Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne

CoRR, 2021

Automated Planning and BDI Agents: A Case Study.

Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 2021

Finite Models for a Spatial Logic with Discrete and Topological Path Operators.

Sven Linker, Fabio Papacchini, Michele Sevegnani

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms.

Angelo Ferrando, Fabio Papacchini

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

Efficient Local Reductions to Basic Modal Logic.

Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.

André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter

ACM Trans. Comput. Log., 2020

LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest.

Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini

CoRR, 2020

Analysing Spatial Properties on Neighbourhood Spaces.

Sven Linker, Fabio Papacchini, Michele Sevegnani

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

2019

LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest.

Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini

The Multi-Agent Programming Contest, 2019

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.

Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Model Comparison Games for Horn Description Logics.

Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Model Comparison Games for Horn Description Logics: A Summary.

Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev

Proceedings of the 32nd International Workshop on Description Logics, 2019

2018

Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying.

André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

A Van Benthem Theorem for Horn Description and Modal Logic.

Fabio Papacchini, Frank Wolter

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

Horn Rewritability vs PTime Query Answering for Description Logic TBoxes.

André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter

Proceedings of the 30th International Workshop on Description Logics, 2017

2015

Minimal model reasoning for modal logic.

Fabio Papacchini

PhD thesis, 2015

2014

Terminating Minimal Model Generation Procedures for Propositional Modal Logics.

Fabio Papacchini, Renate A. Schmidt

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Computing Minimal Models Modulo Subset-Simulation for Modal Logics.

Fabio Papacchini, Renate A. Schmidt

Proceedings of the Frontiers of Combining Systems, 2013

2011

A Tableau Calculus for Minimal Modal Model Generation.

Fabio Papacchini, Renate A. Schmidt

Proceedings of the 7th Workshop on Methods for Modalities, 2011