Carmine Dodaro

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 99

Top Venues

CoRR

Theory Pract. Log. Program.

CILC

LPNMR

Publications

Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio
CNL2ASP: Converting Controlled Natural Language Sentences into ASP. Theory Pract. Log. Program. 24 (2) (2024)
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach. Theory Pract. Log. Program. 24 (2) (2024)
Carmine Dodaro, Giuseppe Galatà, Cinzia Marte, Marco Maratea, Marco Mochi
Nuclear Medicine Scheduling via Answer Set Programming. CILC (2024)
Mario Alviano, Carmine Dodaro, Ilaria R. Vasile
Structured Declarative Language. CILC (2024)
Carmine Dodaro, Marco Maratea, Mauro Vallati
On the Configuration of More and Less Expressive Logic Programs. Theory Pract. Log. Program. 23 (2) (2023)
Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
Compilation of Tight ASP Programs. ECAI (2023)
Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio
CNL2ASP: converting controlled natural language sentences into ASP. CoRR (2023)
Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
Proceedings 39th International Conference on Logic Programming. CoRR (2023)
Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Maratea
Scheduling Periodic Treatments Via Answer Set Programming. CILC (2023)
Marco Scanu, Marco Mochi, Carmine Dodaro, Giuseppe Galatà, Marco Maratea
Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 Liguria. CILC (2023)
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
ASP and subset minimality: Enumeration, cautious reasoning and MUSes. Artif. Intell. 320 (2023)
Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Nicholas Nisopoli, Ivan Porro
Rescheduling rehabilitation sessions with answer set programming. J. Log. Comput. 33 (4) (2023)
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
Solving Rehabilitation Scheduling problems via a Two-Phase ASP approach. CoRR (2023)
Lukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati
Comparing Planning Domain Models Using Answer Set Programming. JELIA (2023)
Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence. ITSC (2023)
Mario Alviano, Carmine Dodaro, Arnel Zamayla
ValAsp: A Tool for Data Validation in Answer Set Programming. Theory Pract. Log. Program. 23 (5) (2023)
Giuseppe Mazzotta, Carmine Dodaro, Francesco Ricca
Compilation of ASP Programs: Recent Developments (Short Paper). DP@AI*IA (2022)
Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro
Compilation of Aggregates in ASP Systems. AAAI (2022)
Carmine Dodaro, Valeria Fionda, Gianluigi Greco
LTL on Weighted Finite Traces: Formal Foundations and Algorithms. IJCAI (2022)
Carmine Dodaro, Marco Maratea, Mauro Vallati
On the Configuration of More and Less Expressive Logic Programs. CoRR (2022)
Carmine Dodaro, Davide Ilardi, Luca Oneto, Francesco Ricca
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring. LPNMR (2022)
Mario Alviano, Carmine Dodaro, Arnel Zamayla
ValAsp: a tool for data validation in Answer Set Programming. CoRR (2022)
Carmine Dodaro, Marco Maratea, Francesco Riccio
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. Datalog (2022)
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
Enumeration of Minimal Models and MUSes in WASP. LPNMR (2022)
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
Operating Room (Re)Scheduling with Bed Management via ASP. Theory Pract. Log. Program. 22 (2) (2022)
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
Operating Room (Re)Scheduling with Bed Management via ASP. CoRR (2021)
Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. CoRR (2021)
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming. Theory Pract. Log. Program. 21 (3) (2021)
Mario Alviano, Carmine Dodaro, Arnel Zamayla
Data Validation Meets Answer Set Programming. PADL (2021)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca
Paracoherent answer set computation. Artif. Intell. 299 (2021)
Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca
Explaining ASP-based Operating Room Schedules. IPS-RCRA@AI*IA (2021)
Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. Theory Pract. Log. Program. 21 (6) (2021)
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling. RuleML+RR (2021)
Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
Managing caching strategies for stream reasoning with reinforcement learning. CoRR (2020)
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming. AI*IA (2020)
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
Efficiently Coupling the I-DLV Grounder with ASP Solvers. Theory Pract. Log. Program. 20 (2) (2020)
Mario Alviano, Riccardo Bertolucci, Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro, Marco Schouten
Answer Set Programming in Healthcare: Extended Overview. IPS-RCRA@AI*IA (2020)
Giuseppe Mazzotta, Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
Compilation of Aggregates in ASP: Preliminary Results. CILC (2020)
Mario Alviano, Carmine Dodaro
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search. Fundam. Informaticae 176 (3-4) (2020)
Giovanni Amendola, Carmine Dodaro, Marco Maratea
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract). IJCAI (2020)
Carmine Dodaro, Francesco Ricca
The External Interface for Extending WASP. Theory Pract. Log. Program. 20 (2) (2020)
Mario Alviano, Carmine Dodaro, João Marques-Silva, Francesco Ricca
Optimum stable model search: algorithms and implementation. J. Log. Comput. 30 (4) (2020)
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
An ASP based Solution for Operating Room Scheduling with Surgical Teams in Hospital Environments. IPS-RCRA@AI*IA (2020)
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
Chemotherapy Treatment Scheduling via Answer Set Programming. CILC (2020)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators. IJCAI (2020)
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming. CoRR (2020)
Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
Managing caching strategies for stream reasoning with reinforcement learning. Theory Pract. Log. Program. 20 (5) (2020)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca
Algorithm Selection for Paracoherent Answer Set Computation. JELIA (2019)
Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
Inconsistency Proofs for ASP: The ASP-DRUPE Format. CoRR (2019)
Giovanni Amendola, Carmine Dodaro, Marco Maratea
Abstract Solvers for Computing Cautious Consequences of ASP programs. Theory Pract. Log. Program. 19 (5-6) (2019)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
Empowering ASPQ to Win in QBFEval 2018. CILC (2019)
Giovanni Amendola, Carmine Dodaro, Marco Maratea
Abstract Solvers for Computing Cautious Consequences of ASP programs. CoRR (2019)
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots. LPNMR (2019)
Giovanni Amendola, Carmine Dodaro, Francesco Ricca
Better Paracoherent Answer Sets with Less Resources. CoRR (2019)
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
An ASP-based framework for operating room scheduling. Intelligenza Artificiale 13 (1) (2019)
Mario Alviano, Carmine Dodaro
Model Enumeration via Assumption Literals. Fundam. Informaticae 167 (1-2) (2019)
Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca
Evaluation of Disjunctive Programs in WASP. LPNMR (2019)
Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
Debugging Non-ground ASP Programs: Technique and Graphical Tools. Theory Pract. Log. Program. 19 (2) (2019)
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
An ASP-based Solution for Operating Room Scheduling with Beds Management. RuleML+RR (2019)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
Debugging of Answer Set Programs Using Paracoherent Reasoning. CILC (2019)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
Partial Compilation of ASP Programs. Theory Pract. Log. Program. 19 (5-6) (2019)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
Partial Compilation of ASP Programs. CoRR (2019)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
Computing Modular Paracoherent Answer Sets: Preliminary Result. CILC (2019)
Giovanni Amendola, Carmine Dodaro, Francesco Ricca
Better Paracoherent Answer Sets with Less Resources. Theory Pract. Log. Program. 19 (5-6) (2019)
Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
Inconsistency Proofs for ASP: The ASP - DRUPE Format. Theory Pract. Log. Program. 19 (5-6) (2019)
Carmine Dodaro, Alessandro Previti
Minipref: A Tool for Preferences in SAT (short paper). RCRA/RiCeRcA@AI*IA (2019)
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
Cautious reasoning in ASP via minimal models and unsatisfiable cores. CoRR (2018)
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
An Overview of ASP Applications in the Health-care Domain. RiCeRcA@AI*IA (2018)
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
Efficiently Coupling the I-DLV Grounder with ASP Solvers. CoRR (2018)
Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo
A Hybrid Approach to Optimization in Answer Set Programming. KR (2018)
Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
The ASP System DLV: Advancements and Applications. Künstliche Intell. 32 (2-3) (2018)
Carmine Dodaro, Francesco Ricca
The External Interface for Extending WASP. CoRR (2018)
Mario Alviano, Carmine Dodaro, Marco Maratea
Nurse (Re)scheduling via answer set programming. Intelligenza Artificiale 12 (2) (2018)
Mario Alviano, Carmine Dodaro, Marco Maratea
Shared aggregate sets in answer set programming. CoRR (2018)
Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
Debugging Non-Ground ASP Programs: Technique and Graphical Tools. CoRR (2018)
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
KR&R Approaches for Robot Manipulation Tasks with Articulated Objects. RiCeRcA@AI*IA (2018)
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
Operating Room Scheduling via Answer Set Programming. AI*IA (2018)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca
Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. AAAI (2018)
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
Cautious reasoning in ASP via minimal models and unsatisfiable cores. Theory Pract. Log. Program. 18 (3-4) (2018)
Mario Alviano, Carmine Dodaro, Marco Maratea
Shared aggregate sets in answer set programming. Theory Pract. Log. Program. 18 (3-4) (2018)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
On the Computation of Paracoherent Answer Sets. CoRR (2017)
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
On the Computation of Paracoherent Answer Sets. AAAI (2017)
Carmine Dodaro, Marco Maratea
Nurse Scheduling via Answer Set Programming. LPNMR (2017)
Mario Alviano, Carmine Dodaro, Marco Maratea
An Advanced Answer Set Programming Encoding for Nurse Scheduling. AI*IA (2017)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. Theory Pract. Log. Program. 17 (5-6) (2017)
Mario Alviano, Carmine Dodaro
Unsatisfiable Core Shrinking for Anytime Answer Set Optimization. IJCAI (2017)
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis. CoRR (2017)
Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
The ASP System DLV2. LPNMR (2017)
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
Driving CDCL Search. CoRR (2016)
Carmine Dodaro, Francesco Ricca, Peter Schüller
External Propagators in WASP: Preliminary Report. RCRA@AI*IA (2016)
Mario Alviano, Carmine Dodaro
Anytime answer set optimization via unsatisfiable core shrinking. Theory Pract. Log. Program. 16 (5-6) (2016)
Mario Alviano, Carmine Dodaro
Completion of Disjunctive Logic Programs. IJCAI (2016)
Mario Alviano, Carmine Dodaro
Anytime answer set optimization via unsatisfiable core shrinking. CoRR (2016)
Mario Alviano, Carmine Dodaro
Answer Set Enumeration via Assumption Literals. AI*IA (2016)
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper). Theory Pract. Log. Program. 16 (5-6) (2016)
Giovanni Amendola, Carmine Dodaro, Francesco Ricca
ASPQ: An ASP-Based 2QBF Solver. QBF@SAT (2016)
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper). CoRR (2016)
Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
An integrated Graphical User Interface for Debugging Answer Set Programs. CoRR (2016)
Giovanni Amendola, Carmine Dodaro, Nicola Leone, Francesco Ricca
On the Application of Answer Set Programming to the Conference Paper Assignment Problem. AI*IA (2016)
Mario Alviano, Carmine Dodaro, Francesco Ricca
JWASP: A New Java-Based ASP Solver. RCRA@AI*IA (2015)

Carmine Dodaro.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carmine Dodaro