Carmine Dodaro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
10
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2025 | KR | Model Checker for Recursive Aggregates. | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino |
| 2024 | IJCAI | AMO-aware Aggregates in Answer Set Programming. | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea |
| 2024 | KR | Blending Grounding and Compilation for Efficient ASP Solving. | Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca |
| 2023 | ECAI | Compilation of Tight ASP Programs. | Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca |
| 2023 | JELIA | Comparing Planning Domain Models Using Answer Set Programming. | Luks Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati |
| 2022 | AAAI | Compilation of Aggregates in ASP Systems. | Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro |
| 2022 | IJCAI | LTL on Weighted Finite Traces: Formal Foundations and Algorithms. | Carmine Dodaro, Valeria Fionda, Gianluigi Greco |
| 2022 | LPNMR | Enumeration of Minimal Models and MUSes in WASP. | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca |
| 2022 | LPNMR | Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring. | Carmine Dodaro, Davide Ilardi, Luca Oneto, Francesco Ricca |
| 2021 | PADL | Data Validation Meets Answer Set Programming. | Mario Alviano, Carmine Dodaro, Arnel D. Zamayla |
| 2020 | IJCAI | A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract). | Giovanni Amendola, Carmine Dodaro, Marco Maratea |
| 2020 | IJCAI | Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators. | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schller |
| 2019 | JELIA | Algorithm Selection for Paracoherent Answer Set Computation. | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca |
| 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 | AAAI | Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca |
| 2018 | KR | A Hybrid Approach to Optimization in Answer Set Programming. | Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Jrvisalo |
| 2017 | AAAI | On the Computation of Paracoherent Answer Sets. | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca |
| 2017 | IJCAI | Unsatisfiable Core Shrinking for Anytime Answer Set Optimization. | Mario Alviano, Carmine Dodaro |
| 2017 | LPNMR | The ASP System DLV2. | Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fusc, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
| 2017 | LPNMR | Nurse Scheduling via Answer Set Programming. | Carmine Dodaro, Marco Maratea |
| 2016 | IJCAI | Completion of Disjunctive Logic Programs. | Mario Alviano, Carmine Dodaro |
| 2016 | SAT | ASPQ: An ASP-Based 2QBF Solver. | Giovanni Amendola, Carmine Dodaro, Francesco Ricca |
| 2015 | IJCAI | A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. | Mario Alviano, Carmine Dodaro, Francesco Ricca |
| 2015 | LPNMR | Advances in WASP. | Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca |
| 2015 | LPNMR | Interactive Debugging of Non-ground ASP Programs. | Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin |
| 2014 | CP | Core-Guided MaxSAT with Soft Cardinality Constraints. | Antnio Morgado, Carmine Dodaro, Joo Marques-Silva |
| 2013 | LPNMR | The Fourth Answer Set Programming Competition: Preliminary Report. | Mario Alviano, Francesco Calimeri, Gnther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jrg Phrer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2013 | LPNMR | WASP: A Native ASP Solver Based on Constraint Learning. | Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca |