The Birth of a WASP: Preliminary Report on a New ASP Solver. - Carmine Dodaro; Mario Alviano; Wolfgang Faber 001; Nicola Leone; Francesco Ricca; Marco Sirianni (CILC, 2011)

Comparing Alternative Solutions for Unfounded Set Propagation in ASP. - Mario Alviano; Carmine Dodaro; Francesco Ricca (AI*IA, 2013)

The Fourth Answer Set Programming Competition: Preliminary Report. - Mario Alviano; Francesco Calimeri; Günther Charwat; Minh Dao-Tran; Carmine Dodaro; Giovambattista Ianni; Thomas Krennwallner; Martin Kronegger; Johannes Oetsch; Andreas Pfandler; Jörg Pührer; Christoph Redl; et al. (LPNMR, 2013)

WASP: A Native ASP Solver Based on Constraint Learning. - Mario Alviano; Carmine Dodaro; Wolfgang Faber 001; Nicola Leone; Francesco Ricca (LPNMR, 2013)

Engineering an Efficient Native ASP Solver. - Carmine Dodaro (Theory Pract. Log. Program., 2013)

Core-Guided MaxSAT with Soft Cardinality Constraints. - António Morgado 001; Carmine Dodaro; João Marques-Silva 001 (CP, 2014)

Preliminary Report on WASP 2.0. - Mario Alviano; Carmine Dodaro; Francesco Ricca (CoRR, 2014)

Anytime Computation of Cautious Consequences in Answer Set Programming. - Mario Alviano; Carmine Dodaro; Francesco Ricca (Theory Pract. Log. Program., 2014)

JWASP: A New Java-Based ASP Solver. - Mario Alviano; Carmine Dodaro; Francesco Ricca (RCRA@AI*IA, 2015)

A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. - Mario Alviano; Carmine Dodaro; Francesco Ricca (IJCAI, 2015)

Advances in WASP. - Mario Alviano; Carmine Dodaro; Nicola Leone; Francesco Ricca (LPNMR, 2015)

Interactive Debugging of Non-ground ASP Programs. - Carmine Dodaro; Philip Gasteiger; Benjamin Musitsch; Francesco Ricca; Kostyantyn M. Shchekotykhin (LPNMR, 2015)

Allotment Problem in Travel Industry: A Solution Based on ASP. - Carmine Dodaro; Nicola Leone; Barbara Nardi; Francesco Ricca (RR, 2015)

Answer Set Enumeration via Assumption Literals. - Mario Alviano; Carmine Dodaro (AI*IA, 2016)

On the Application of Answer Set Programming to the Conference Paper Assignment Problem. - Giovanni Amendola; Carmine Dodaro; Nicola Leone; Francesco Ricca (AI*IA, 2016)

External Propagators in WASP: Preliminary Report. - Carmine Dodaro; Francesco Ricca; Peter Schüller (RCRA@AI*IA, 2016)

Completion of Disjunctive Logic Programs. - Mario Alviano; Carmine Dodaro (IJCAI, 2016)

ASPQ: An ASP-Based 2QBF Solver. - Giovanni Amendola; Carmine Dodaro; Francesco Ricca (QBF@SAT, 2016)

Driving CDCL Search. - Carmine Dodaro; Philip Gasteiger; Nicola Leone; Benjamin Musitsch; Francesco Ricca; Konstantin Schekotihin (CoRR, 2016)

An integrated Graphical User Interface for Debugging Answer Set Programs. - Philip Gasteiger; Carmine Dodaro; Benjamin Musitsch; Kristian Reale; Francesco Ricca; Konstantin Schekotihin (CoRR, 2016)

Anytime answer set optimization via unsatisfiable core shrinking. - Mario Alviano; Carmine Dodaro (Theory Pract. Log. Program., 2016)

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper). - Carmine Dodaro; Philip Gasteiger; Nicola Leone; Benjamin Musitsch; Francesco Ricca; Konstantin Schekotihin (Theory Pract. Log. Program., 2016)

On the Computation of Paracoherent Answer Sets. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Nicola Leone; Francesco Ricca (AAAI, 2017)

An Advanced Answer Set Programming Encoding for Nurse Scheduling. - Mario Alviano; Carmine Dodaro; Marco Maratea (AI*IA, 2017)

Unsatisfiable Core Shrinking for Anytime Answer Set Optimization. - Mario Alviano; Carmine Dodaro (IJCAI, 2017)

The ASP System DLV2. - Mario Alviano; Francesco Calimeri; Carmine Dodaro; Davide Fuscà; Nicola Leone; Simona Perri; Francesco Ricca; Pierfrancesco Veltri; Jessica Zangari (LPNMR, 2017)

Nurse Scheduling via Answer Set Programming. - Carmine Dodaro; Marco Maratea (LPNMR, 2017)

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. - Bernardo Cuteri; Carmine Dodaro; Francesco Ricca; Peter Schüller (Theory Pract. Log. Program., 2017)

Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Francesco Ricca (AAAI, 2018)

KR&R Approaches for Robot Manipulation Tasks with Articulated Objects. - Riccardo Bertolucci; Alessio Capitanelli; Carmine Dodaro; Marco Maratea; Fulvio Mastrogiovanni; Mauro Vallati (RiCeRcA@AI*IA, 2018)

Operating Room Scheduling via Answer Set Programming. - Carmine Dodaro; Giuseppe Galatà; Marco Maratea; Ivan Porro (AI*IA, 2018)

An Overview of ASP Applications in the Health-care Domain. - Carmine Dodaro; Giuseppe Galatà; Marco Maratea; Ivan Porro (RiCeRcA@AI*IA, 2018)

A Hybrid Approach to Optimization in Answer Set Programming. - Paul Saikko; Carmine Dodaro; Mario Alviano; Matti Järvisalo (KR, 2018)

Nurse (Re)scheduling via answer set programming. - Mario Alviano; Carmine Dodaro; Marco Maratea (Intelligenza Artificiale, 2018)

The ASP System DLV: Advancements and Applications. - Weronika T. Adrian; Mario Alviano; Francesco Calimeri; Bernardo Cuteri; Carmine Dodaro; Wolfgang Faber 001; Davide Fuscà; Nicola Leone; Marco Manna; Simona Perri; Francesco Ricca; Pierfrancesco Veltri; et al. (Künstliche Intell., 2018)

Cautious reasoning in ASP via minimal models and unsatisfiable cores. - Mario Alviano; Carmine Dodaro; Matti Järvisalo; Marco Maratea; Alessandro Previti (Theory Pract. Log. Program., 2018)

Shared aggregate sets in answer set programming. - Mario Alviano; Carmine Dodaro; Marco Maratea (Theory Pract. Log. Program., 2018)

Minipref: A Tool for Preferences in SAT (short paper). - Carmine Dodaro; Alessandro Previti (RCRA/RiCeRcA@AI*IA, 2019)

Empowering ASPQ to Win in QBFEval 2018. - Bernardo Cuteri; Carmine Dodaro; Francesco Ricca (CILC, 2019)

Computing Modular Paracoherent Answer Sets: Preliminary Result. - Bernardo Cuteri; Carmine Dodaro; Francesco Ricca (CILC, 2019)

Debugging of Answer Set Programs Using Paracoherent Reasoning. - Bernardo Cuteri; Carmine Dodaro; Francesco Ricca (CILC, 2019)

Algorithm Selection for Paracoherent Answer Set Computation. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Luca Pulina; Francesco Ricca (JELIA, 2019)

Evaluation of Disjunctive Programs in WASP. - Mario Alviano; Giovanni Amendola; Carmine Dodaro; Nicola Leone; Marco Maratea; Francesco Ricca (LPNMR, 2019)

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 (LPNMR, 2019)

An ASP-based Solution for Operating Room Scheduling with Beds Management. - Carmine Dodaro; Giuseppe Galatà; Muhammad Kamran Khan; Marco Maratea; Ivan Porro (RuleML+RR, 2019)

Model Enumeration via Assumption Literals. - Mario Alviano; Carmine Dodaro (Fundam. Informaticae, 2019)

An ASP-based framework for operating room scheduling. - Carmine Dodaro; Giuseppe Galatà; Marco Maratea; Ivan Porro (Intelligenza Artificiale, 2019)

Inconsistency Proofs for ASP: The ASP - DRUPE Format. - Mario Alviano; Carmine Dodaro; Johannes Klaus Fichte; Markus Hecher; Tobias Philipp; Jakob Rath (Theory Pract. Log. Program., 2019)

Abstract Solvers for Computing Cautious Consequences of ASP programs. - Giovanni Amendola; Carmine Dodaro; Marco Maratea (Theory Pract. Log. Program., 2019)

Better Paracoherent Answer Sets with Less Resources. - Giovanni Amendola; Carmine Dodaro; Francesco Ricca (Theory Pract. Log. Program., 2019)

Partial Compilation of ASP Programs. - Bernardo Cuteri; Carmine Dodaro; Francesco Ricca; Peter Schüller (Theory Pract. Log. Program., 2019)

Debugging Non-ground ASP Programs: Technique and Graphical Tools. - Carmine Dodaro; Philip Gasteiger; Kristian Reale; Francesco Ricca; Konstantin Schekotihin (Theory Pract. Log. Program., 2019)

Evaluation of disjunctive programs in WASP. - Mario Alviano; Giovanni Amendola; Carmine Dodaro; Nicola Leone; Marco Maratea; Francesco Ricca (Zenodo, 2019)

Answer Set Programming in Healthcare: Extended Overview. - Mario Alviano; Riccardo Bertolucci; Matteo Cardellini; Carmine Dodaro; Giuseppe Galatà; Muhammad Kamran Khan; Marco Maratea; Marco Mochi; Victoria Morozan; Ivan Porro; Marco Schouten (IPS-RCRA@AI*IA, 2020)

An ASP based Solution for Operating Room Scheduling with Surgical Teams in Hospital Environments. - Carmine Dodaro; Giuseppe Galatà; Muhammad Kamran Khan; Marco Maratea; Ivan Porro (IPS-RCRA@AI*IA, 2020)

Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming. - Carmine Dodaro; Giuseppe Galatà; Muhammad Kamran Khan; Marco Maratea; Ivan Porro (AI*IA, 2020)

Chemotherapy Treatment Scheduling via Answer Set Programming. - Carmine Dodaro; Giuseppe Galatà; Marco Maratea; Marco Mochi; Ivan Porro (CILC, 2020)

Compilation of Aggregates in ASP: Preliminary Results. - Giuseppe Mazzotta; Bernardo Cuteri; Carmine Dodaro; Francesco Ricca (CILC, 2020)

A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract). - Giovanni Amendola; Carmine Dodaro; Marco Maratea (IJCAI, 2020)

Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators. - Bernardo Cuteri; Carmine Dodaro; Francesco Ricca; Peter Schüller (IJCAI, 2020)

Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search. - Mario Alviano; Carmine Dodaro (Fundam. Informaticae, 2020)

Optimum stable model search: algorithms and implementation. - Mario Alviano; Carmine Dodaro; João Marques-Silva 001; Francesco Ricca (J. Log. Comput., 2020)

Efficiently Coupling the I-DLV Grounder with ASP Solvers. - Francesco Calimeri; Carmine Dodaro; Davide Fuscà; Simona Perri; Jessica Zangari (Theory Pract. Log. Program., 2020)

Managing caching strategies for stream reasoning with reinforcement learning. - Carmine Dodaro; Thomas Eiter; Paul Ogris; Konstantin Schekotihin (Theory Pract. Log. Program., 2020)

The External Interface for Extending WASP. - Carmine Dodaro; Francesco Ricca (Theory Pract. Log. Program., 2020)

Explaining ASP-based Operating Room Schedules. - Riccardo Bertolucci; Carmine Dodaro; Giuseppe Galatà; Marco Maratea; Ivan Porro; Francesco Ricca (IPS-RCRA@AI*IA, 2021)

Data Validation Meets Answer Set Programming. - Mario Alviano; Carmine Dodaro; Arnel D. Zamayla (PADL, 2021)

A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling. - Matteo Cardellini; Paolo De Nardi; Carmine Dodaro; Giuseppe Galatà; Anna Giardini; Marco Maratea; Ivan Porro (RuleML+RR, 2021)

Paracoherent answer set computation. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Francesco Ricca (Artif. Intell., 2021)

Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming. - Riccardo Bertolucci; Alessio Capitanelli; Carmine Dodaro; Nicola Leone; Marco Maratea; Fulvio Mastrogiovanni; Mauro Vallati (Theory Pract. Log. Program., 2021)

An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. - Carmine Dodaro; Giuseppe Galatà; Andrea Grioni; Marco Maratea; Marco Mochi; Ivan Porro (Theory Pract. Log. Program., 2021)

Compilation of Aggregates in ASP Systems. - Carmine Dodaro; Giuseppe Mazzotta; Francesco Ricca (Zenodo, 2021)

Compilation of Aggregates in ASP Systems. - Giuseppe Mazzotta; Francesco Ricca; Carmine Dodaro (AAAI, 2022)

Compilation of ASP Programs: Recent Developments (Short Paper). - Giuseppe Mazzotta; Carmine Dodaro; Francesco Ricca (DP@AI*IA, 2022)

A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. - Carmine Dodaro; Marco Maratea; Francesco Riccio (Datalog, 2022)

LTL on Weighted Finite Traces: Formal Foundations and Algorithms. - Carmine Dodaro; Valeria Fionda; Gianluigi Greco (IJCAI, 2022)

Enumeration of Minimal Models and MUSes in WASP. - Mario Alviano; Carmine Dodaro; Salvatore Fiorentino; Alessandro Previti; Francesco Ricca (LPNMR, 2022)

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 (LPNMR, 2022)

Operating Room (Re)Scheduling with Bed Management via ASP. - Carmine Dodaro; Giuseppe Galatà; Muhammad Kamran Khan; Marco Maratea; Ivan Porro (Theory Pract. Log. Program., 2022)

Scheduling Periodic Treatments Via Answer Set Programming. - Simone Caruso; Carmine Dodaro; Giuseppe Galatà; Marco Maratea (CILC, 2023)

Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 Liguria. - Marco Scanu; Marco Mochi; Carmine Dodaro; Giuseppe Galatà; Marco Maratea (CILC, 2023)

Compilation of Tight ASP Programs. - Carmine Dodaro; Giuseppe Mazzotta; Francesco Ricca (ECAI, 2023)

A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence. - Matteo Cardellini; Carmine Dodaro; Marco Maratea; Mauro Vallati (ITSC, 2023)

Comparing Planning Domain Models Using Answer Set Programming. - Lukás Chrpa; Carmine Dodaro; Marco Maratea; Marco Mochi; Mauro Vallati (JELIA, 2023)

On the Configuration of More and Less Expressive Logic Programs. - Carmine Dodaro; Marco Maratea; Mauro Vallati (Theory Pract. Log. Program., 2023)

Rescheduling rehabilitation sessions with answer set programming. - Matteo Cardellini; Carmine Dodaro; Giuseppe Galatà; Anna Giardini; Marco Maratea; Nicholas Nisopoli; Ivan Porro (J. Log. Comput., 2023)

Compilation of tight ASP programs. - Carmine Dodaro; Giuseppe Mazzotta; Francesco Ricca (Zenodo, 2023)

ASP and subset minimality: Enumeration, cautious reasoning and MUSes. - Mario Alviano; Carmine Dodaro; Salvatore Fiorentino; Alessandro Previti; Francesco Ricca (Artif. Intell., 2023)

ValAsp: A Tool for Data Validation in Answer Set Programming. - Mario Alviano; Carmine Dodaro; Arnel D. Zamayla (Theory Pract. Log. Program., 2023)

Hybrid Compilation-based ASP solving (Short paper). - Carmine Dodaro; Giuseppe Mazzotta; Francesco Ricca (DP@AI*IA, 2024)

Structured Declarative Language. - Mario Alviano; Carmine Dodaro; Ilaria R. Vasile (CILC, 2024)

Nuclear Medicine Scheduling via Answer Set Programming. - Carmine Dodaro; Giuseppe Galatà; Cinzia Marte; Marco Maratea; Marco Mochi (CILC, 2024)

A Tool For Reasoning Over CNL Sentences With Temporal Constructs. - Pierangela Bruno; Simone Caruso; Carmine Dodaro; Marco Maratea (Datalog, 2024)

Nuclear Medicine Rescheduling Problem: A Logic-based Approach. - Carmine Dodaro; Giuseppe Galatà; Marco Maratea; Cinzia Marte; Marco Mochi (HC@AIxIA, 2024)

Deep Learning Approaches for Segmentation and Classification of Breast Ultrasound Images (Short Paper). - Megan Macrì; Pierangela Bruno; Carmine Dodaro (HC@AIxIA, 2024)

AMO-aware Aggregates in Answer Set Programming. - Mario Alviano; Carmine Dodaro; Salvatore Fiorentino; Marco Maratea (IJCAI, 2024)

Blending Grounding and Compilation for Efficient ASP Solving. - Carmine Dodaro; Giuseppe Mazzotta; Francesco Ricca (KR, 2024)

Recent Answer Set Programming Applications to Scheduling Problems in Digital Health. - Paola Cappanera; Simone Caruso; Carmine Dodaro; Giuseppe Galatà; Marco Gavanelli; Marco Maratea; Cinzia Marte; Marco Mochi; Maddalena Nonato; Marco Roma (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Design and implementation of modern CDCL ASP solvers. - Carmine Dodaro (Intelligenza Artificiale, 2024)

Operating room scheduling via answer set programming: Improved encoding and test on real data. - Carmine Dodaro; Giuseppe Galatà; Martin Gebser; Marco Maratea; Cinzia Marte; Marco Mochi; Marco Scanu (J. Log. Comput., 2024)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming. - Matteo Cardellini; Carmine Dodaro; Marco Maratea; Mauro Vallati (Theory Pract. Log. Program., 2024)

Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach. - Matteo Cardellini; Paolo De Nardi; Carmine Dodaro; Giuseppe Galatà; Anna Giardini; Marco Maratea; Ivan Porro (Theory Pract. Log. Program., 2024)

CNL2ASP: Converting Controlled Natural Language Sentences into ASP. - Simone Caruso; Carmine Dodaro; Marco Maratea; Marco Mochi; Francesco Riccio (Theory Pract. Log. Program., 2024)

AMO-aware Aggregates in Answer Set Programming. - Mario Alviano; Carmine Dodaro; Salvatore Fiorentino; Marco Maratea (Zenodo, 2024)

Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals. - Carmine Dodaro; Marco Maratea; Nicola Ramacciati (CILC, 2025)

Improving ASP-based ORS Schedules through Machine Learning Predictions. - Pierangela Bruno; Carmine Dodaro; Giuseppe Galatà; Marco Maratea; Marco Mochi (CoRR, 2025)