Home > Research > Researchers > Dr Fabio Papacchini > Publications

Research

Dr Fabio Papacchini

Senior Lecturer in Computer Science

1 - 24 out of 24Page size: 100
RSS feed of this list
Sort by: Title
  1. Published

    A Tableau Calculus for Minimal Modal Model Generation

    Papacchini, F. & Schmidt, R. A., 3/11/2011, In: Electronic Notes in Theoretical Computer Science. 278, p. 159-172 14 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  2. Published

    A Van Benthem Theorem for Horn Description and Modal Logic

    Papacchini, F. & Wolter, F., 2018, 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.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  3. Published

    An Overview of Verification and Validation Challenges for Inspection Robots

    Fisher, M., Cardoso, R. C., Collins, E. C., Dadswell, C., Dennis, L. A., Dixon, C., Farrell, M., Ferrando, A., Huang, X., Jump, M., Kourtis, G., Lisitsa, A., Luckcuck, M., Luo, S., Page, V., Papacchini, F. & Webster, M. T., 29/04/2021, In: Robotics. 10, 2, 29 p., 67.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  4. Published

    Analysing spatial properties on neighbourhood spaces

    Linker, S., Papacchini, F. & Sevegnani, M., 1/08/2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 66:1-66:14 14 p. MFCS-2020-66. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  5. Published

    Automated Planning and BDI Agents: A Case Study

    Cardoso, R. C., Ferrando, A. & Papacchini, F., 25/09/2021, 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. Dignum, F., Corchado, J. M. & Prieta, F. D. L. (eds.). Cham: Springer, p. 52-63 12 p. (Lecture Notes in Computer Science ; vol. 12946).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  6. Published

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

    Ferrando, A., Cardoso, R. C., Farrell, M., Luckcuck, M., Papacchini, F., Fisher, M. & Mascardi, V., 18/08/2022, In: Formal Methods in System Design. 59, 1-3, p. 44-76 33 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  7. Published

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

    Nalon, C., Hustadt, U., Papacchini, F. & Dixon, C., 2/09/2023, Automated Deduction – CADE 29 . Pientka, B. & Tinelli, C. (eds.). Cham: Springer, p. 382-400 19 p. (Lecture Notes in Computer Science; vol. 14132).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  8. Published

    Computing Minimal Models Modulo Subset-Simulation for Modal Logics

    Papacchini, F. & Schmidt, R. A., 18/09/2013, Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Berlin: Springer, Vol. 8152. p. 279-294 16 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  9. Published

    Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

    Hernich, A., Lutz, C., Papacchini, F. & Wolter, F., 31/05/2020, In: ACM Transactions on Computational Logic (TOCL). 21, 3, 47 p., 20.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  10. Published

    Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

    Hernich, A., Lutz, C., Papacchini, F. & Wolter, F., 2017, Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  11. Published

    Efficient Local Reductions to Basic Modal Logic

    Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 7/07/2021, Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Cham: Springer, p. 76-92 17 p. (Lecture Notes in Computer Science ; vol. 12699).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  12. Published

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

    Linker, S., Papacchini, F. & Sevegnani, M., 18/08/2021, 46th International Symposium on Mathematical Foundations of Computer Science. Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 202. p. 72:1-72:16 16 p. 72. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 202).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  13. Published

    Horn Rewritability vs PTime Query Answering for Description Logic TBoxes

    Hernich, A., Lutz, C., Papacchini, F. & Wolter, F., 2017, Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  14. Published

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

    Hernich, A., Papacchini, F., Lutz, C. & Wolter, F., 13/07/2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. IJCAI, p. 1861-1867 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  15. Published

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

    Cardoso, R. C., Ferrando, A. & Papacchini, F., 23/09/2020, The Multi-Agent Programming Contest 2019: Agents Assemble – Block by Block to Victory. Ahlbrecht, T., Dix, J., Fiekas, N. & Krausburg, T. (eds.). Cham: Springer, p. 31-58 28 p. (Lecture Notes in Computer Science ; vol. 12381).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  16. Published

    Local is Best: Efficient Reductions to Modal Logic K

    Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 23/05/2022, In: Journal of Automated Reasoning. 66, 4, p. 639-666 28 p., 4.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  17. Published

    Local Reductions for the Modal Cube

    Nalon, C., Hustadt, U., Papacchini, F. & Dixon, C., 1/08/2022, International Joint Conference on Automated Reasoning. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Vol. 13385. p. 486-505 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13385 LNAI).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  18. Published

    Minimal model reasoning for modal logic

    Papacchini, F., 2015, University of Manchester. 170 p.

    Research output: Thesis › Doctoral Thesis

  19. Published

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

    Cardoso, R. C., Ferrando, A., Papacchini, F., Luckcuck, M., Linker, S. & Payne, T. R., 1/10/2021, The Multi-Agent Programming Contest 2021: One-and-a-Half Decades of Exploring Multi-Agent Systems. Ahlbrecht, T., Dix, J., Fiekas, N. & Krausberg, T. (eds.). Cham: Springer, p. 82-107 27 p. (Lecture Notes in Computer Science; vol. 12947).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  20. Published

    Model Comparison Games for Horn Description Logics

    Jung, J. C., Papacchini, F., Wolter, F. & Zakharyaschev, M., 5/08/2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 14 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  21. Published

    Model Comparison Games for Horn Description Logics: A Summary

    Jung, J. C., Papacchini, F., Wolter, F. & Zakharyaschev, M., 2019, Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. Vol. 2373. (CEUR Workshop Proceedings).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  22. Published

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

    Ferrando, A. & Papacchini, F., 10/03/2022, Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers. Alechina, N., Baldoni, M. & Logan, B. (eds.). Cham: Springer, p. 114-136 23 p. (Lecture Notes in Computer Science; vol. 13190).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  23. Published

    Terminating Minimal Model Generation Procedures for Propositional Modal Logics

    Papacchini, F. & Schmidt, R. A., 22/07/2014, Automated Reasoning - 7th International Joint Conference, IJCAR . Cham: Springer, Vol. 8562. p. 381-395 15 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  24. Published

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

    Zhao, X., Osborne, M., Lantair, J., Robu, V., Flynn, D., Huang, X., Fisher, M., Papacchini, F. & Ferrando, A., 2019, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Back to top