PUBLICATIONS

• Luca Giuliani, Andrea Zecchini. “Beyond Temporal Relationships: Causal Support in Declarative Process Modeling.” PMAI25, 4th International Workshop on Process Management in the AI era, co-located with ECAI 2025 - the 28th European Conference on Artificial Intelligence, Bologna, Italy, October 25, 2025. To appear.

• Mario Alviano, Wolfgang Faber, Luis Angel Rodriguez Reiners. "ASP Chef grows Mustache to look better" ICLP 2025, The 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy. To appear.

• Michela Vespa, Elena Bellodi, Marco Gavanelli, Evelina Lamma. "SCIFFprob: A Probabilistic Abductive Framework for Compliance Verification." The 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, Extended abstract, pp. 1–4. To appear. 

• Michela Vespa, Elena Bellodi. "A Scalable Approach to Probabilistic Compliance in Declarative Process Mining." PLP 2025: 12th Workshop on Probabilistic Logic Programming, Co-located with ICLP 2025, Rende, Italy, CEUR.org. To appear.

• Mario Alviano, Lorenzo Grillo, Fabrizio Lo Scudo, Luis Angel Rodriguez Reiners. "Integrating Answer Set Programming and Large Language Models for Enhanced Structured Representation of Complex Knowledge in Natural Language", IJCAI 2025, Montreal, 16th – 22nd August, 2025. To appear.

• Mario Alviano, Pietro Macrì, Luis Angel Rodriguez Reiners. "ASP Chef Chats with Large Language Models"IJCAI 2025 (Demo Track), Montreal, 16th – 22nd August, 2025. To appear.

• Michela Vespa and Elena Bellodi. "Probabilistic compliance of uncertain traces in Declarative Process Mining." 40th Italian Conference on Computational Logic (CILC 2025), June 25–27, 2025, Alghero, Italy. CEUR.org. To appear. 

• Mario Alviano, Luis Angel Rodriguez Reiners. "ASP Chef for Water Waste Monitoring", 40th Italian Conference on Computational Logic (CILC 2025), June 25–27, 2025, Alghero, Italy. CEUR.org. To appear. 

• Mario Alviano, Pietro Marcrì. "Logic, Leaves, and Labels: Visualizing SELinux Trees with ASP Chef", 40th Italian Conference on Computational Logic (CILC 2025), June 25–27, 2025, Alghero, Italy. CEUR.org. To appear. 

• Mario Alviano, Paola Guarasci. "Querying and Visualizing Digital Twins with ASP and ASP Chef: Preliminary Report", 40th Italian Conference on Computational Logic (CILC 2025), June 25–27, 2025, Alghero, Italy. CEUR.org. To appear. 

• Alviano M, Sestito P. "User Armor: An Extension for AppArmor". Algorithms. 2025; 18(4):185. https://doi.org/10.3390/a18040185

• Mario Alviano, Pasquale Tudda. "Generative Datalog for Procedural Content Generation in Video Games", Journal of Advances in Artificial Intelligence vol. 3, no. 1, pp. 90-108, 2025.

• Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini. "The XAI system for answer set programming xASP2", J. Log. Comput. 34(8): 1500-1525 (2024)

• Mario Alviano, Laura Giordano, Daniele Theseider Dupré. "Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typically", J. Log. Comput. 34(8): 1469-1499 (2024).

• Alviano M, Gabriele G. "Improve Parallel Resistance of Hashcash Tree". Cryptography. 2024; 8(3):30. https://doi.org/10.3390/cryptography8030030

• Alviano M, Amendola D, Rodriguez Reiners LA. "Addressing marketplace logistic tasks in answer set programming". Intelligenza Artificiale. 2024;18(2):261-278. doi:10.3233/IA-240024.

• Mario Alviano, Laura Giordano, Daniele Theseider Dupré. "Towards Temporal Many-valued Conditional Logics for Gradual Argumentation: a Preliminary Report" AI³@AI*IA 2024. Available at: https://ceur-ws.org/Vol-3871/paper5.pdf

• Michela Vespa. "A probabilistic semantics for process mining." Proceedings of the AIxIA Doctoral Consortium 2024 co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), 2024, Vol. 3914, pp. 1–6. Edited by Davide Bacciu and Ivan Donadello. CEUR-WS. ISSN: 1613-0073. Available at: https://ceur-ws.org/Vol-3914/short73.pdf 

• Mario Alviano, Laura Giordano, Daniele Theseider Dupré. "Temporal Many-valued Conditional Logics: an Abridged Report", OVERLAY 2024, Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, Bolzano, Italy, November 28—29, 2024. Available at: https://ceur-ws.org/Vol-3904/paper4.pdf

• Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini, Marco Gavanelli, and Riccardo Zese. "Probabilistic Traces in Declarative Process Mining." AIxIA 2024 – Advances in Artificial Intelligence: XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, Vol. 15450, pp. 330–345, 2025. Springer Cham. DOI: 10.1007/978-3-031-80607-0_25. 

• Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, and Anna Ciampolini. "Probabilistic Compliance in Declarative Process Mining." Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024), 2024, Vol. 3779, pp. 11–22. CEUR Workshop Proceedings. Available at: https://ceur-ws.org/Vol-3779/paper1.pdf

• Mario Alviano, Lorenzo Grillo, Fabrizio Lo Scudo and Luis Angel Rodriguez Reiners. "Answer Set Programming and Large Language Models interaction with YAML: Second Report", SYNERGY 2024, Joint Proceedings of the Joint Workshop on Knowledge Diversity and Cognitive Aspects of KR and the Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology (KoDis-CAKR-SYNERGY 2024), co-located with the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2–8, 2024.

• Mario Alviano and Luis Angel Rodriguez Reiners. 2024. "ASP chef: draw and expand". In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR '24), Vol. 21. Article 68, 720–730. https://doi.org/10.24963/kr.2024/68

• Mario Alviano, Antonio Ielo, Francesco Ricca. “Efficient Compliance Computation in Probabilistic Declarative Specifications.” In Proceedings of PLP 2024: Workshop on Probabilistic Logic Programming (co‑localized with ICLP 2024), October 2024, Dallas (USA), CEUR Workshop Proceedings, ISSN 1613‑0073.

• Mario Alviano, Susana Hahn, Orkunt Sabuncu, and Hannes Weichelt. 2024. "Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets". In Logic Programming and Nonmonotonic Reasoning: 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings. Springer-Verlag, Berlin, Heidelberg, 187–199. https://doi.org/10.1007/978-3-031-74209-5_15

• Mario Alviano and Luis Angel Rodriguez Reiners. 2024. "Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping". In Logic Programming and Nonmonotonic Reasoning: 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings. Springer-Verlag, Berlin, Heidelberg, 174–186. https://doi.org/10.1007/978-3-031-74209-5_14

• Mario Alviano, Paola Guarasci, Luis Angel Rodriguez Reiners, and Ilaria R. Vasile. 2024. "Integrating Structured Declarative Language (SDL) into ASP Chef". In Logic Programming and Nonmonotonic Reasoning: 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings. Springer-Verlag, Berlin, Heidelberg, 387–392. https://doi.org/10.1007/978-3-031-74209-5_29

• Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea. “AMO‑aware Aggregates in Answer Set Programming.” In Proceedings of the Thirty‑third International Joint Conference on Artificial Intelligence (IJCAI 2024), Main Track, pp. 3215–3223, August 2024. DOI: 10.24963/ijcai.2024/356.

• Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré, "Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability", Proceedings of the 39th Italian Conference on Computational Logic (CILC 2024), Rome, Italy, June 26-28, 2024. Available at: https://ceur-ws.org/Vol-3733/paper16.pdf

• Mario Alviano, Carmine Dodaro, Ilaria R. Vasile. "Structured Declarative Language", Proceedings of the 39th Italian Conference on Computational Logic (CILC 2024), Rome, Italy, June 26-28, 2024. Available at: https://ceur-ws.org/Vol-3733/paper6.pdf

• Mario Alviano, Lorenzo Grillo. "Answer Set Programming and Large Language Models interaction with YAML: Preliminary Report", Proceedings of the 39th Italian Conference on Computational Logic (CILC 2024), Rome, Italy, June 26-28, 2024. Available at: https://ceur-ws.org/Vol-3733/short2.pdf

• Alviano M, Giordano L, Dupré DT. "Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics". Intelligenza Artificiale. June 29, 2024;18(1):153-174. doi:10.3233/IA-240031

• Mario Alviano, Danilo Amendola, and Luis Angel Rodriguez Reiners. 2024. "Marketplace Logistics via Answer Set Programming". In Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings. Springer-Verlag, Berlin, Heidelberg, 54–63. https://doi.org/10.1007/978-3-031-52038-9_4

• Mario Alviano, Giovambattista Ianni, Francesco Pacenza, and Jessica Zangari. 2024. "Rethinking Answer Set Programming Templates". In Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings. Springer-Verlag, Berlin, Heidelberg, 82–99. https://doi.org/10.1007/978-3-031-52038-9_6