Items where Author is "Papacchini, Fabio"

Nalon, Cláudia and Hustadt, Ullrich and Papacchini, Fabio and Dixon, Clare (2023) Buy One Get 14 Free : Evaluating Local Reductions for Modal Logic. In: Automated Deduction – CADE 29 :. Lecture Notes in Computer Science . Springer, Cham, pp. 382-400. ISBN 9783031384981

Papacchini, Fabio and Nalon, Cláudia and Hustadt, Ullrich and Dixon, Clare (2022) Local is Best: Efficient Reductions to Modal Logic K. Journal of Automated Reasoning, 66 (4): 4. pp. 639-666. ISSN 0168-7433

Ferrando, Angelo and Papacchini, Fabio (2022) StreamB : A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms. In: Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers :. Lecture Notes in Computer Science . Springer, Cham, pp. 114-136. ISBN 978-3-030-97456-5

Cardoso, Rafael C. and Ferrando, Angelo and Papacchini, Fabio and Luckcuck, Matt and Linker, Sven and Payne, Terry R. (2021) MLFC : From 10 to 50 Planners in the Multi-Agent Programming Contest. In: The Multi-Agent Programming Contest 2021 : One-and-a-Half Decades of Exploring Multi-Agent Systems. Lecture Notes in Computer Science . Springer, Cham, pp. 82-107. ISBN 9783030885489

Cardoso, Rafael C. and Ferrando, Angelo and Papacchini, Fabio (2021) Automated Planning and BDI Agents : A Case Study. In: Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection : 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6–8, 2021, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 52-63. ISBN 9783030857387

Linker, Sven and Papacchini, Fabio and Sevegnani, Michele (2021) Finite Models for a Spatial Logic with Discrete and Topological Path Operators. In: 46th International Symposium on Mathematical Foundations of Computer Science :. Leibniz International Proceedings in Informatics, LIPIcs, 202 . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 72:1-72:16. ISBN 9783959772013

Papacchini, Fabio and Nalon, Cláudia and Hustadt, Ullrich and Dixon, Clare (2021) Efficient Local Reductions to Basic Modal Logic. In: Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 76-92. ISBN 9783030798758

Fisher, Michael and Cardoso, Rafael C. and Collins, Emily C. and Dadswell, Christopher and Dennis, Louise A. and Dixon, Clare and Farrell, Marie and Ferrando, Angelo and Huang, Xiaowei and Jump, Mike and Kourtis, Georgios and Lisitsa, Alexei and Luckcuck, Matt and Luo, Shan and Page, Vincent and Papacchini, Fabio and Webster, Matthew T. (2021) An Overview of Verification and Validation Challenges for Inspection Robots. Robotics, 10 (2): 67. ISSN 2218-6581

Cardoso, Rafael C. and Ferrando, Angelo and Papacchini, Fabio (2020) LFC : Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. In: The Multi-Agent Programming Contest 2019 : Agents Assemble – Block by Block to Victory. Lecture Notes in Computer Science . Springer, Cham, pp. 31-58. ISBN 9783030592981

Linker, Sven and Papacchini, Fabio and Sevegnani, Michele (2020) Analysing spatial properties on neighbourhood spaces. In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 :. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, CZE, 66:1-66:14. ISBN 9783959771597

Hernich, André and Lutz, Carsten and Papacchini, Fabio and Wolter, Frank (2020) Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. ACM Transactions on Computational Logic (TOCL), 21 (3): 20. ISSN 1529-3785

Jung, Jean Christoph and Papacchini, Fabio and Wolter, Frank and Zakharyaschev, Michael (2019) Model Comparison Games for Horn Description Logics. In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) :. IEEE. ISBN 9781728136097

Jung, Jean Christoph and Papacchini, Fabio and Wolter, Frank and Zakharyaschev, Michael (2019) Model Comparison Games for Horn Description Logics: A Summary. In: Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019 :. CEUR Workshop Proceedings, 2373 . UNSPECIFIED.

Zhao, Xingyu and Osborne, Matt and Lantair, Jenny and Robu, Valentin and Flynn, David and Huang, Xiaowei and Fisher, Michael and Papacchini, Fabio and Ferrando, Angelo (2019) Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings :. UNSPECIFIED.

Hernich, André and Papacchini, Fabio and Lutz, Carsten and Wolter, Frank (2018) Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden :. IJCAI, pp. 1861-1867.

Papacchini, Fabio and Wolter, Frank (2018) A Van Benthem Theorem for Horn Description and Modal Logic. In: 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 - 29th, 2018 :. UNSPECIFIED.

Hernich, André and Lutz, Carsten and Papacchini, Fabio and Wolter, Frank (2017) Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. In: Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017 :. UNSPECIFIED.

Hernich, André and Lutz, Carsten and Papacchini, Fabio and Wolter, Frank (2017) Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017 :. UNSPECIFIED.

Papacchini, Fabio (2015) Minimal model reasoning for modal logic. PhD thesis, University of Manchester.

Papacchini, Fabio and Schmidt, Renate A. (2014) Terminating Minimal Model Generation Procedures for Propositional Modal Logics. In: Automated Reasoning - 7th International Joint Conference, IJCAR :. Springer, AUT, pp. 381-395. ISBN 9783319085869

Papacchini, Fabio and Schmidt, Renate A. (2013) Computing Minimal Models Modulo Subset-Simulation for Modal Logics. In: Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings :. Springer, Berlin, pp. 279-294. ISBN 9783642408847

Papacchini, Fabio and Schmidt, Renate A. (2011) A Tableau Calculus for Minimal Modal Model Generation. Electronic Notes in Theoretical Computer Science, 278. pp. 159-172. ISSN 1571-0661