| 2025 | ECAI | A Prototyping Framework for Reduct-Based ELP Solvers: Methodology and Implementation. | Stefania Costantini, Andrea Formisano |
| 2024 | LPNMR | Towards Explainable Weather Forecasting Through FastLAS. | Talissa Dreossi, Agostino Dovier, Andrea Formisano, Mark Law, Agostino Manzato, Alessandra Russo, Matthew Tait |
| 2023 | CPAIOR | Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. | Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli |
| 2022 | ICLP | Epistemic Logic Programs: a Novel Perspective and Some Extensions. | Stefania Costantini, Andrea Formisano |
| 2022 | IJCAI | Cognitive Aspects in Epistemic Logic L-DINF. | Stefania Costantini, Andrea Formisano, Valentina Pitoni |
| 2022 | LPNMR | Epistemic Logic Programs: A Study of Some Properties. | Stefania Costantini, Andrea Formisano |
| 2021 | EMAS | An Epistemic Logic for Modular Development of Multi-Agent Systems. | Stefania Costantini, Andrea Formisano, Valentina Pitoni |
| 2021 | JELIA | An Epistemic Logic for Multi-agent Systems with Budget and Costs. | Stefania Costantini, Andrea Formisano, Valentina Pitoni |
| 2017 | LPNMR | Multi-Context Systems: Dynamics and Evolution. | Pedro Cabalar, Stefania Costantini, Andrea Formisano |
| 2017 | SC | Accelerating Energy Games Solvers on Modern Architectures. | Andrea Formisano, Raffaella Gentilini, Flavio Vella |
| 2016 | ECAI | Multi-Context Systems in Time. | Stefania Costantini, Andrea Formisano |
| 2016 | PADL | A GPU Implementation of the ASP Computation. | Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella |
| 2015 | ICLP | Parallel Execution of the ASP Computation - an Investigation on GPUs. | Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella |
| 2013 | LPNMR | Negation as a Resource: A Novel View on Answer Set Semantics. | Stefania Costantini, Andrea Formisano |
| 2011 | ICLP | BAAC: A Prolog System for Action Description and Agents Coordination. | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2011 | LPNMR | Weight Constraints with Preferences in ASP. | Stefania Costantini, Andrea Formisano |
| 2009 | LPNMR | Representing Multi-agent Planning in CLP. | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2007 | AAAI | An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2007 | ICLP | Multivalued Action Languages with Constraints in CLP(FD). | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2005 | ICLP | A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2001 | CADE | Instructing Equational Set-Reasoning with Otter. | Andrea Formisano, Eugenio G. Omodeo, Marco Temperini |