Fabio Papacchini

32 papers A* 3A 4B 3Misc 1Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2024 — conf
Model Construction for Modal Clauses.
IJCAR (2)
Ullrich Hustadt, Fabio Papacchini, Cláudia Nalon, Clare Dixon
2023 A conf
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic.
CADE
Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
2022 J jnl
Correction to: Local is Best: Efficient Reductions to Modal Logic K.
J. Autom. Reason.
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2022 A conf
Local Reductions for the Modal Cube.
IJCAR
Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
2022 J jnl
Local is Best: Efficient Reductions to Modal Logic K.
J. Autom. Reason.
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2022 — ed.
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022.
AREA@IJCAI-ECAI
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour, Louise A. Dennis
2021 J jnl
An Overview of Verification and Validation Challenges for Inspection Robots.
Robotics
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
2021 Misc conf
Automated Planning and BDI Agents: A Case Study.
PAAMS
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
2021 J jnl
Bridging the gap between single- and multi-model predictive runtime verification.
Formal Methods Syst. Des.
Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi
2021 A conf
Efficient Local Reductions to Basic Modal Logic.
CADE
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2021 B conf
Finite Models for a Spatial Logic with Discrete and Topological Path Operators.
MFCS
Sven Linker, Fabio Papacchini, Michele Sevegnani
2021 J jnl
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest.
CoRR
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne
2021 — conf
StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms.
EMAS@AAMAS
Angelo Ferrando, Fabio Papacchini
2020 B conf
Analysing Spatial Properties on Neighbourhood Spaces.
MFCS
Sven Linker, Fabio Papacchini, Michele Sevegnani
2020 J jnl
Analysing Spatial Properties on Neighbourhood Spaces.
CoRR
Sven Linker, Fabio Papacchini, Michele Sevegnani
2020 J jnl
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.
ACM Trans. Comput. Log.
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2020 J jnl
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest.
CoRR
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
2019 — ch.
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest.
The Multi-Agent Programming Contest
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
2019 A* conf
Model Comparison Games for Horn Description Logics.
LICS
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
2019 J jnl
Model Comparison Games for Horn Description Logics.
CoRR
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
2019 — conf
Model Comparison Games for Horn Description Logics: A Summary.
Description Logics
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
2019 B conf
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.
SEFM
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
2019 J jnl
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.
CoRR
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
2018 — conf
A Van Benthem Theorem for Horn Description and Modal Logic.
Description Logics
Fabio Papacchini, Frank Wolter
2018 J jnl
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.
CoRR
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2018 A* conf
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying.
IJCAI
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2017 A* conf
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.
PODS
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2017 — conf
Horn Rewritability vs PTime Query Answering for Description Logic TBoxes.
Description Logics
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2015 — —
Minimal model reasoning for modal logic.
Fabio Papacchini
2014 A conf
Terminating Minimal Model Generation Procedures for Propositional Modal Logics.
IJCAR
Fabio Papacchini, Renate A. Schmidt
2013 — conf
Computing Minimal Models Modulo Subset-Simulation for Modal Logics.
FroCos
Fabio Papacchini, Renate A. Schmidt
2011 — conf
A Tableau Calculus for Minimal Modal Model Generation.
M4M/LAMAS
Fabio Papacchini, Renate A. Schmidt