Browse by People

Linker, Sven ORCID: 0000-0003-2913-7943, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Sevegnani, Michele (2020) Analysing Spatial Properties on Neighbourhood Spaces. In: 45th International Symposium on Mathematical Foundations of Computer Science, Prague.

Ferrando, Angelo ORCID: 0000-0002-8711-4670, Cardoso, Rafael C, Farrell, Marie, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Papacchini, Fabio, Fisher, Michael and Mascardi, Viviana (2021) Bridging the gap between single- and multi-model predictive runtime verification. FORMAL METHODS IN SYSTEM DESIGN, 59 (1-3). pp. 44-76.

Wolter, Frank, Hernich, Andre, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Lutz, Carsten (2020) Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. ACM Transactions on Computational Logic, 21 (3). pp. 1-47.

Hernich, Andre, Lutz, Carsten, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Wolter, Frank (2017) Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. In: SIGMOD/PODS'17: International Conference on Management of Data, 2017-5-14 - 2017-5-19, Chicago, IL, USA.

Papacchini, Fabio ORCID: 0000-0002-0310-7378, Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare ORCID: 0000-0002-4610-9533 (2021) Efficient Local Reductions to Basic Modal Logic. In: Automated Deduction – CADE 28. Lecture Notes in Computer Science, 12699 . Springer International Publishing, pp. 76-92. ISBN 978-3-030-79875-8

Hernich, Andre, Lutz, Carsten, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Wolter, Frank (2018) Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. In: Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}, 2018-7-13 - 2018-7-19.

Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Ferrando, Angelo ORCID: 0000-0002-8711-4670 and Papacchini, Fabio ORCID: 0000-0002-0310-7378 (2020) LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. In: Multi-Agent Programming Contest, MAPC 2019.

Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Dixon, Clare ORCID: 0000-0002-4610-9533 (2022) Local Reductions for the Modal Cube. In: Automated Reasoning. Lecture Notes in Computer Science, 13385 . Springer International Publishing, pp. 486-505. ISBN 978-3-031-10768-9

Papacchini, Fabio ORCID: 0000-0002-0310-7378, Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare ORCID: 0000-0002-4610-9533 (2022) Local is Best: Efficient Reductions to Modal Logic K. JOURNAL OF AUTOMATED REASONING, 66 (4). pp. 639-666.

Papacchini, Fabio ORCID: 0000-0002-0310-7378, Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare ORCID: 0000-0002-4610-9533 (2022) Local is Best: Efficient Reductions to Modal Logic K (Sep, 2022, 10.1007/s10817-022-09630-6). JOURNAL OF AUTOMATED REASONING, 66 (4). p. 1099.

Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Papacchini, Fabio ORCID: 0000-0002-0310-7378, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Linker, Sven ORCID: 0000-0003-2913-7943 and Payne, Terry R ORCID: 0000-0002-0106-8731 (2021) MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. In: The Multi-Agent Programming Contest 2021. Springer International Publishing, pp. 82-107. ISBN 9783030885489

MacConville, Dara, Farrell, Marie, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Monahan, Rosemary (2022) Modelling the Turtle Python library in CSP. .

Collapse authors list.
Fisher, Michael, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Collins, Emily C ORCID: 0000-0001-9396-536X, Dadswell, Christopher, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Farrell, Marie ORCID: 0000-0001-7708-3877, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Jump, Mike ORCID: 0000-0002-1028-2334 et al (show 7 more authors) , Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Luo, Shan ORCID: 0000-0003-4760-0372, Page, Vincent, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Webster, Matt ORCID: 0000-0002-8817-6881 (2021) An Overview of Verification and Validation Challenges for Inspection Robots. ROBOTICS, 10 (2). p. 67.

Zhao, Xingyu ORCID: 0000-0002-3474-349X, Osborne, Matt, Lantair, Jenny, Robu, Valentin, Flynn, David, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Fisher, Michael, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Ferrando, Angelo ORCID: 0000-0002-8711-4670 (2019) Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. .