| 2026 | AAAI | Traffic Signal Plans Explorer: A General Framework for Visualising Traffic Evolution. | Francesco Doria, Francesco Percassi, Marco Maratea, Mauro Vallati |
| 2026 | AAAI | A Domain-specific Heuristic for PDDL+-based Traffic Signal Optimisation. | Francesco Doria, Francesco Percassi, Marco Maratea, Mauro Vallati |
| 2026 | AAAI | A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint). | Martin Gebser, Enrico Giunchiglia, Marco Maratea, Marco Mochi |
| 2025 | CP | Constraint-Based In-Station Train Dispatching. | Andreas Schutt, Matteo Cardellini, Jip J. Dekker, Daniel Harabor, Marco Maratea, Mauro Vallati |
| 2025 | ICAPS | Initial Condition Retrieving for Hybrid and Numeric Planning Problems. | Matteo Cardellini, Francesco Percassi, Marco Maratea, Mauro Vallati |
| 2025 | ICLP | Representing and Evaluating SBVR Specification via ASP. | Simone Caruso, Carmine Dodaro, Marco Maratea |
| 2025 | ICLP | On the Translation of ASP Rules to (Controlled) Natural Language Sentences. | Simone Caruso, Carmine Dodaro, Fabrizio Lo Scudo, Marco Maratea, Kristian Reale |
| 2025 | ICLP | ASP and PDDL+ Applications in Urban Traffic Distribution and Control. | Mauro Vallati, Carmine Dodaro, Francesco Doria, Salvatore Fiorentino, Marco Maratea, Francesco Percassi, Alice Tarzariol |
| 2025 | IJCAI | A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms. | Simone Caruso, Carmine Dodaro, Marco Maratea, Alice Tarzariol |
| 2024 | AAAI | Symbolic Numeric Planning with Patterns. | Matteo Cardellini, Enrico Giunchiglia, Marco Maratea |
| 2024 | ICAPS | Taming Discretised PDDL+ through Multiple Discretisations. | Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati |
| 2024 | IJCAI | AMO-aware Aggregates in Answer Set Programming. | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea |
| 2024 | SoCS | Taming Discretised PDDL+ through Multiple Discretisations (Extended Abstract). | Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati |
| 2023 | JELIA | Comparing Planning Domain Models Using Answer Set Programming. | Luks Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati |
| 2021 | ESANN | In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models. | Gianluca Boleto, Luca Oneto, Matteo Cardellini, Marco Maratea, Mauro Vallati, Renzo Canepa, Davide Anguita |
| 2021 | ICCS | An Efficient Hybrid Planning Framework for In-Station Train Dispatching. | Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto |
| 2021 | SoCS | A Planning-based Approach for In-Station Train Dispatching. | Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto |
| 2020 | IJCAI | A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract). | Giovanni Amendola, Carmine Dodaro, Marco Maratea |
| 2020 | ICTAI | Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity. | Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati |
| 2019 | LPNMR | Evaluation of Disjunctive Programs in WASP. | Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca |
| 2019 | LPNMR | An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots. | Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati |
| 2018 | IJCAI | Evaluation Techniques and Systems for Answer Set Programming: a Survey. | Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub |
| 2018 | IJCAI | Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving. | Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, Stefan Woltran |
| 2017 | LPNMR | Nurse Scheduling via Answer Set Programming. | Carmine Dodaro, Marco Maratea |
| 2017 | LPNMR | The Design of the Seventh Answer Set Programming Competition. | Martin Gebser, Marco Maratea, Francesco Ricca |
| 2016 | AAAI | What's Hot in the Answer Set Programming Competition. | Martin Gebser, Marco Maratea, Francesco Ricca |
| 2016 | COMMA | Introducing the Second International Competition on Computational Models of Argumentation. | Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran |
| 2015 | ICLP | Abstract Answer Set Solvers for Cautious Reasoning. | Rmi Brochenin, Marco Maratea |
| 2015 | LPNMR | The Design of the Sixth Answer Set Programming Competition - - Report -. | Martin Gebser, Marco Maratea, Francesco Ricca |
| 2015 | LPNMR | Multi-level Algorithm Selection for ASP. | Marco Maratea, Luca Pulina, Francesco Ricca |
| 2014 | ECAI | Abstract Disjunctive Answer Set Solvers. | Rmi Brochenin, Yuliya Lierler, Marco Maratea |
| 2012 | ICLP | Applying Machine Learning Techniques to ASP Solving. | Marco Maratea, Luca Pulina, Francesco Ricca |
| 2012 | JELIA | The Multi-Engine ASP Solver me-asp. | Marco Maratea, Luca Pulina, Francesco Ricca |
| 2010 | CPAIOR | An Experimental Evaluation of Max-SAT and PB Solvers on Over-Subscription Planning Problems. | Marco Maratea |
| 2010 | JELIA | DLV | Marco Maratea, Francesco Ricca, Pierfrancesco Veltri |
| 2009 | FUSION | Maximum likelihood approach to HF radar performance characterization. | Craig Carthel, Stefano Coraluppi, Peter Willett, Marco Maratea, Alain Maguer |
| 2008 | CP | Computing All Optimal Solutions in Satisfiability Problems with Preferences. | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
| 2008 | ECAI | A new Approach for Solving Satisfiability Problems with Qualitative Preferences. | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
| 2007 | AAAI | Planning as Satisfiability with Preferences. | Enrico Giunchiglia, Marco Maratea |
| 2007 | LPNMR | Experimenting with Look-Back Heuristics for Hard ASP Programs. | Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca |
| 2006 | ECAI | Solving Optimization Problems with DLL. | Enrico Giunchiglia, Marco Maratea |
| 2006 | JELIA | optsat: A Tool for Solving SAT Related Optimization Problems. | Enrico Giunchiglia, Marco Maratea |
| 2005 | ICLP | On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). | Enrico Giunchiglia, Marco Maratea |
| 2004 | AAAI | SAT-Based Answer Set Programming. | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea |
| 2004 | LPNMR | Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. | Yuliya Lierler, Marco Maratea |
| 2004 | SAT | A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
| 2004 | SAT | A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
| 2003 | CP | (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. | Enrico Giunchiglia, Marco Maratea, Armando Tacchella |
| 2002 | JELIA | Dependent and Independent Variables in Propositional Satisfiability. | Enrico Giunchiglia, Marco Maratea, Armando Tacchella |
| 2001 | CADE | Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. | Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin |