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

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

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

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

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

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

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