| 2025 | ICLP | Resource Allocation with Cooperative Agents. | Stefania Costantini, Giovanni De Gasperis, Pasquale De Meo, Francesco Gullo, Alessandro Provetti |
| 2022 | EANN | Predicting Seriousness of Injury in a Traffic Accident: A New Imbalanced Dataset and Benchmark. | Paschalis Lagias, George D. Magoulas, Ylli Prifti, Alessandro Provetti |
| 2014 | EUMAS | MORE: Merged Opinions Reputation Model. | Nardine Osman, Alessandro Provetti, Valerio Riggi, Carles Sierra |
| 2011 | DASFAA | Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case. | Maria Amalfi, Alessandro Artale, Andrea Cal, Alessandro Provetti |
| 2011 | ISDA | Generalized Louvain method for community detection in large networks. | Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti |
| 2011 | ISDA | Improving recommendation quality by merging collaborative filtering and social relationships. | Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti |
| 2006 | ECAI | Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts. | Maria Amalfi, Katia Lo Presti, Alessandro Provetti, Franco Salvetti |
| 2004 | ICLP | Grid Service Selection with PPDL. | Massimo Marchi, Alessandra Mileo, Alessandro Provetti |
| 2004 | ICWS | Specification and Execution of Policies for Grid Service Selection. | Massimo Marchi, Alessandra Mileo, Alessandro Provetti |
| 2004 | JELIA | Qsmodels: ASP Planning in Interactive Gaming Environment. | Luca Padovani, Alessandro Provetti |
| 2003 | ISMIS | PDL with Maximum Consistency Monitors. | Elisa Bertino, Alessandra Mileo, Alessandro Provetti |
| 2002 | ISMIS | Disjunctive Logic Programs with Inheritance Revisited. | Stefania Costantini, Ramn P. Otero, Alessandro Provetti, Tran Cao Son |
| 1996 | AAAI | Formalizing Narratives Using Nested Circumscription. | Chitta Baral, Alfredo Gabaldon, Alessandro Provetti |
| 1996 | KR | Value Minimization in Circumscription. | Chitta Baral, Alfredo Gabaldon, Alessandro Provetti |
| 1994 | ECAI | Skeptical and Credulous Event Calculi for Supporting Modal Queries. | Luca Chittaro, Angelo Montanari, Alessandro Provetti |
| 1994 | TIME | Hypothetical Reasoning from Situation Calculus to Event Calculus. | Alessandro Provetti |