Carmine Dodaro

141 papers A* 14A 2B 16C 1Journal 65Unranked 39
YearRankTypeTitle / Venue / Authors
2026 J jnl
ASP-based approaches for solving the nuclear medicine scheduling problem.
J. Log. Comput.
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Cinzia Marte, Marco Mochi
2025 J jnl
A Dual-stage Deep Learning Framework for Breast Ultrasound Image Segmentation and Classification.
J. Medical Syst.
Pierangela Bruno, Megan Macrì, Carmine Dodaro
2025 A* conf
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms.
IJCAI
Simone Caruso, Carmine Dodaro, Marco Maratea, Alice Tarzariol
2025 — conf
AI-Enabled Connected Autonomous Vehicles Sustainable Routing in Urban Areas.
ITSC
Salvatore Fiorentino, Carmine Dodaro, Marco Maratea, Mauro Vallati
2025 — conf
ASP and PDDL+ Applications in Urban Traffic Distribution and Control.
ICLP Workshops
Mauro Vallati, Carmine Dodaro, Francesco Doria, Salvatore Fiorentino, Marco Maratea, Francesco Percassi, Alice Tarzariol
2025 — conf
Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals.
CILC
Carmine Dodaro, Marco Maratea, Nicola Ramacciati
2025 J jnl
Improving ASP-Based ORS Schedules through Machine Learning Predictions.
Theory Pract. Log. Program.
Pierangela Bruno, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi
2025 J jnl
Improving ASP-based ORS Schedules through Machine Learning Predictions.
CoRR
Pierangela Bruno, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi
2025 B ed.
Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings
LPNMR
Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez
2025 J jnl
Logic-based Approach and Visualization for the Nuclear Medicine Rescheduling Problem.
J. Medical Syst.
Cinzia Marte, Marco Mochi, Carmine Dodaro, Giuseppe Galatà, Marco Maratea
2025 A* conf
Model Checker for Recursive Aggregates.
KR
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino
2025 — conf
On the Translation of ASP Rules to (Controlled) Natural Language Sentences.
ICLP Workshops
Simone Caruso, Carmine Dodaro, Fabrizio Lo Scudo, Marco Maratea, Kristian Reale
2025 — conf
Representing and Evaluating SBVR Specification via ASP.
ICLP Workshops
Simone Caruso, Carmine Dodaro, Marco Maratea
2024 — conf
A Tool For Reasoning Over CNL Sentences With Temporal Constructs.
Datalog
Pierangela Bruno, Simone Caruso, Carmine Dodaro, Marco Maratea
2024 A* conf
AMO-aware Aggregates in Answer Set Programming.
IJCAI
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea
2024 A* conf
Blending Grounding and Compilation for Efficient ASP Solving.
KR
Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
2024 J jnl
CNL2ASP: Converting Controlled Natural Language Sentences into ASP.
Theory Pract. Log. Program.
Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio
2024 — conf
Deep Learning Approaches for Segmentation and Classification of Breast Ultrasound Images (Short Paper).
HC@AIxIA
Megan Macrì, Pierangela Bruno, Carmine Dodaro
2024 J jnl
Design and implementation of modern CDCL ASP solvers.
Intelligenza Artificiale
Carmine Dodaro
2024 — conf
Hybrid Compilation-based ASP solving (Short paper).
DP@AI*IA
Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
2024 — conf
Nuclear Medicine Rescheduling Problem: A Logic-based Approach.
HC@AIxIA
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Cinzia Marte, Marco Mochi
2024 — conf
Nuclear Medicine Scheduling via Answer Set Programming.
CILC
Carmine Dodaro, Giuseppe Galatà, Cinzia Marte, Marco Maratea, Marco Mochi
2024 J jnl
Operating room scheduling via answer set programming: Improved encoding and test on real data.
J. Log. Comput.
Carmine Dodaro, Giuseppe Galatà, Martin Gebser, Marco Maratea, Cinzia Marte, Marco Mochi, Marco Scanu
2024 J jnl
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming.
CoRR
Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati
2024 J jnl
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming.
Theory Pract. Log. Program.
Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati
2024 — conf
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health.
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Paola Cappanera, Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Gavanelli, Marco Maratea, Cinzia Marte, Marco Mochi, Maddalena Nonato, Marco Roma
2024 J jnl
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach.
Theory Pract. Log. Program.
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
2024 — conf
Structured Declarative Language.
CILC
Mario Alviano, Carmine Dodaro, Ilaria R. Vasile
2023 — conf
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence.
ITSC
Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati
2023 J jnl
ASP and subset minimality: Enumeration, cautious reasoning and MUSes.
Artif. Intell.
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
2023 J jnl
CNL2ASP: converting controlled natural language sentences into ASP.
CoRR
Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio
2023 B conf
Comparing Planning Domain Models Using Answer Set Programming.
JELIA
Lukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati
2023 A conf
Compilation of Tight ASP Programs.
ECAI
Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
2023 J jnl
On the Configuration of More and Less Expressive Logic Programs.
Theory Pract. Log. Program.
Carmine Dodaro, Marco Maratea, Mauro Vallati
2023 — conf
Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 Liguria.
CILC
Marco Scanu, Marco Mochi, Carmine Dodaro, Giuseppe Galatà, Marco Maratea
2023 B ed.
Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023.
ICLP
Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
2023 J jnl
Rescheduling rehabilitation sessions with answer set programming.
J. Log. Comput.
Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Nicholas Nisopoli, Ivan Porro
2023 — conf
Scheduling Periodic Treatments Via Answer Set Programming.
CILC
Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Maratea
2023 J jnl
Solving Rehabilitation Scheduling problems via a Two-Phase ASP approach.
CoRR
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
2023 J jnl
ValAsp: A Tool for Data Validation in Answer Set Programming.
Theory Pract. Log. Program.
Mario Alviano, Carmine Dodaro, Arnel D. Zamayla
2022 — conf
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules.
Datalog
Carmine Dodaro, Marco Maratea, Francesco Riccio
2022 — conf
Compilation of ASP Programs: Recent Developments (Short Paper).
DP@AI*IA
Giuseppe Mazzotta, Carmine Dodaro, Francesco Ricca
2022 A* conf
Compilation of Aggregates in ASP Systems.
AAAI
Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro
2022 B conf
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring.
LPNMR
Carmine Dodaro, Davide Ilardi, Luca Oneto, Francesco Ricca
2022 B conf
Enumeration of Minimal Models and MUSes in WASP.
LPNMR
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
2022 A* conf
LTL on Weighted Finite Traces: Formal Foundations and Algorithms.
IJCAI
Carmine Dodaro, Valeria Fionda, Gianluigi Greco
2022 J jnl
On the Configuration of More and Less Expressive Logic Programs.
CoRR
Carmine Dodaro, Marco Maratea, Mauro Vallati
2022 J jnl
Operating Room (Re)Scheduling with Bed Management via ASP.
Theory Pract. Log. Program.
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
2022 — ed.
Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022.
ICLP Technical Communications / Doctoral Consortium
Yuliya Lierler, José F. Morales, Carmine Dodaro, Verónica Dahl, Martin Gebser, K. Tuncay Tekle
2022 J jnl
ValAsp: a tool for data validation in Answer Set Programming.
CoRR
Mario Alviano, Carmine Dodaro, Arnel D. Zamayla
2021 B conf
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling.
RuleML+RR
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
2021 J jnl
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem.
CoRR
Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro
2021 J jnl
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem.
Theory Pract. Log. Program.
Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro
2021 C conf
Data Validation Meets Answer Set Programming.
PADL
Mario Alviano, Carmine Dodaro, Arnel D. Zamayla
2021 — conf
Explaining ASP-based Operating Room Schedules.
IPS-RCRA@AI*IA
Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca
2021 J jnl
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming.
Theory Pract. Log. Program.
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2021 J jnl
Operating Room (Re)Scheduling with Bed Management via ASP.
CoRR
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
2021 J jnl
Paracoherent answer set computation.
Artif. Intell.
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca
2021 — ed.
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021.
ICLP Technical Communications
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou
2020 A* conf
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract).
IJCAI
Giovanni Amendola, Carmine Dodaro, Marco Maratea
2020 — conf
An ASP based Solution for Operating Room Scheduling with Surgical Teams in Hospital Environments.
IPS-RCRA@AI*IA
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
2020 — conf
Answer Set Programming in Healthcare: Extended Overview.
IPS-RCRA@AI*IA
Mario Alviano, Riccardo Bertolucci, Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro, Marco Schouten
2020 — conf
Chemotherapy Treatment Scheduling via Answer Set Programming.
CILC
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
2020 — conf
Compilation of Aggregates in ASP: Preliminary Results.
CILC
Giuseppe Mazzotta, Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
2020 J jnl
Efficiently Coupling the I-DLV Grounder with ASP Solvers.
Theory Pract. Log. Program.
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
2020 — ed.
International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020.
ICLP Workshops
Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily Leblanc, Michael Morak, Jessica Zangari
2020 J jnl
Managing caching strategies for stream reasoning with reinforcement learning.
CoRR
Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
2020 J jnl
Managing caching strategies for stream reasoning with reinforcement learning.
Theory Pract. Log. Program.
Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
2020 J jnl
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming.
CoRR
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2020 J jnl
Optimum stable model search: algorithms and implementation.
J. Log. Comput.
Mario Alviano, Carmine Dodaro, João Marques-Silva, Francesco Ricca
2020 A* conf
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators.
IJCAI
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
2020 — conf
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming.
AI*IA
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
2020 J jnl
The External Interface for Extending WASP.
Theory Pract. Log. Program.
Carmine Dodaro, Francesco Ricca
2020 J jnl
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search.
Fundam. Informaticae
Mario Alviano, Carmine Dodaro
2019 J jnl
Abstract Solvers for Computing Cautious Consequences of ASP programs.
CoRR
Giovanni Amendola, Carmine Dodaro, Marco Maratea
2019 J jnl
Abstract Solvers for Computing Cautious Consequences of ASP programs.
Theory Pract. Log. Program.
Giovanni Amendola, Carmine Dodaro, Marco Maratea
2019 B conf
Algorithm Selection for Paracoherent Answer Set Computation.
JELIA
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca
2019 B conf
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots.
LPNMR
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2019 B conf
An ASP-based Solution for Operating Room Scheduling with Beds Management.
RuleML+RR
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
2019 J jnl
An ASP-based framework for operating room scheduling.
Intelligenza Artificiale
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
2019 J jnl
Better Paracoherent Answer Sets with Less Resources.
CoRR
Giovanni Amendola, Carmine Dodaro, Francesco Ricca
2019 J jnl
Better Paracoherent Answer Sets with Less Resources.
Theory Pract. Log. Program.
Giovanni Amendola, Carmine Dodaro, Francesco Ricca
2019 — conf
Computing Modular Paracoherent Answer Sets: Preliminary Result.
CILC
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
2019 J jnl
Debugging Non-ground ASP Programs: Technique and Graphical Tools.
Theory Pract. Log. Program.
Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
2019 — conf
Debugging of Answer Set Programs Using Paracoherent Reasoning.
CILC
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
2019 — conf
Empowering ASPQ to Win in QBFEval 2018.
CILC
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
2019 B conf
Evaluation of Disjunctive Programs in WASP.
LPNMR
Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca
2019 J jnl
Inconsistency Proofs for ASP: The ASP - DRUPE Format.
Theory Pract. Log. Program.
Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
2019 J jnl
Inconsistency Proofs for ASP: The ASP-DRUPE Format.
CoRR
Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
2019 — conf
Minipref: A Tool for Preferences in SAT (short paper).
RCRA/RiCeRcA@AI*IA
Carmine Dodaro, Alessandro Previti
2019 J jnl
Model Enumeration via Assumption Literals.
Fundam. Informaticae
Mario Alviano, Carmine Dodaro
2019 J jnl
Partial Compilation of ASP Programs.
CoRR
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
2019 J jnl
Partial Compilation of ASP Programs.
Theory Pract. Log. Program.
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
2018 A* conf
A Hybrid Approach to Optimization in Answer Set Programming.
KR
Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo
2018 — conf
An Overview of ASP Applications in the Health-care Domain.
RiCeRcA@AI*IA
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
2018 J jnl
Cautious reasoning in ASP via minimal models and unsatisfiable cores.
CoRR
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
2018 J jnl
Cautious reasoning in ASP via minimal models and unsatisfiable cores.
Theory Pract. Log. Program.
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
2018 J jnl
Debugging Non-Ground ASP Programs: Technique and Graphical Tools.
CoRR
Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
2018 J jnl
Efficiently Coupling the I-DLV Grounder with ASP Solvers.
CoRR
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
2018 A* conf
Externally Supported Models for Efficient Computation of Paracoherent Answer Sets.
AAAI
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca
2018 — conf
KR&R Approaches for Robot Manipulation Tasks with Articulated Objects.
RiCeRcA@AI*IA
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
2018 J jnl
Nurse (Re)scheduling via answer set programming.
Intelligenza Artificiale
Mario Alviano, Carmine Dodaro, Marco Maratea
2018 — conf
Operating Room Scheduling via Answer Set Programming.
AI*IA
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
2018 J jnl
Shared aggregate sets in answer set programming.
CoRR
Mario Alviano, Carmine Dodaro, Marco Maratea
2018 J jnl
Shared aggregate sets in answer set programming.
Theory Pract. Log. Program.
Mario Alviano, Carmine Dodaro, Marco Maratea
2018 J jnl
The ASP System DLV: Advancements and Applications.
Künstliche Intell.
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
2018 J jnl
The External Interface for Extending WASP.
CoRR
Carmine Dodaro, Francesco Ricca
2017 — conf
An Advanced Answer Set Programming Encoding for Nurse Scheduling.
AI*IA
Mario Alviano, Carmine Dodaro, Marco Maratea
2017 J jnl
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis.
CoRR
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
2017 J jnl
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis.
Theory Pract. Log. Program.
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
2017 B conf
Nurse Scheduling via Answer Set Programming.
LPNMR
Carmine Dodaro, Marco Maratea
2017 A* conf
On the Computation of Paracoherent Answer Sets.
AAAI
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
2017 J jnl
On the Computation of Paracoherent Answer Sets.
CoRR
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
2017 B conf
The ASP System DLV2.
LPNMR
Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2017 A* conf
Unsatisfiable Core Shrinking for Anytime Answer Set Optimization.
IJCAI
Mario Alviano, Carmine Dodaro
2016 — conf
ASPQ: An ASP-Based 2QBF Solver.
QBF@SAT
Giovanni Amendola, Carmine Dodaro, Francesco Ricca
2016 J jnl
An integrated Graphical User Interface for Debugging Answer Set Programs.
CoRR
Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
2016 — conf
Answer Set Enumeration via Assumption Literals.
AI*IA
Mario Alviano, Carmine Dodaro
2016 J jnl
Anytime answer set optimization via unsatisfiable core shrinking.
CoRR
Mario Alviano, Carmine Dodaro
2016 J jnl
Anytime answer set optimization via unsatisfiable core shrinking.
Theory Pract. Log. Program.
Mario Alviano, Carmine Dodaro
2016 J jnl
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper).
CoRR
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin
2016 J jnl
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper).
Theory Pract. Log. Program.
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
2016 A* conf
Completion of Disjunctive Logic Programs.
IJCAI
Mario Alviano, Carmine Dodaro
2016 J jnl
Driving CDCL Search.
CoRR
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
2016 — conf
External Propagators in WASP: Preliminary Report.
RCRA@AI*IA
Carmine Dodaro, Francesco Ricca, Peter Schüller
2016 — conf
On the Application of Answer Set Programming to the Conference Paper Assignment Problem.
AI*IA
Giovanni Amendola, Carmine Dodaro, Nicola Leone, Francesco Ricca
2015 A* conf
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size.
IJCAI
Mario Alviano, Carmine Dodaro, Francesco Ricca
2015 B conf
Advances in WASP.
LPNMR
Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca
2015 — conf
Allotment Problem in Travel Industry: A Solution Based on ASP.
RR
Carmine Dodaro, Nicola Leone, Barbara Nardi, Francesco Ricca
2015 B conf
Interactive Debugging of Non-ground ASP Programs.
LPNMR
Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin
2015 — conf
JWASP: A New Java-Based ASP Solver.
RCRA@AI*IA
Mario Alviano, Carmine Dodaro, Francesco Ricca
2015 — ed.
Proceedings of the Second Doctoral Workshop in Artificial Intelligence (DWAI 2014) An official workshop of the 13th Symposium of the Italian Association for Artificial Intelligence "Artificial Intelligence for Society and Economy" (AI*IA 2014), Pisa, Italy, December 11, 2014.
DWAI@AI*IA
Luigi Di Caro, Carmine Dodaro, Andrea Loreggia, Roberto Navigli, Alan Perotti, Manuela Sanguinetti
2014 J jnl
Anytime Computation of Cautious Consequences in Answer Set Programming.
CoRR
Mario Alviano, Carmine Dodaro, Francesco Ricca
2014 J jnl
Anytime Computation of Cautious Consequences in Answer Set Programming.
Theory Pract. Log. Program.
Mario Alviano, Carmine Dodaro, Francesco Ricca
2014 A conf
Core-Guided MaxSAT with Soft Cardinality Constraints.
CP
António Morgado, Carmine Dodaro, João Marques-Silva
2014 J jnl
Preliminary Report on WASP 2.0.
CoRR
Mario Alviano, Carmine Dodaro, Francesco Ricca
2013 — conf
Comparing Alternative Solutions for Unfounded Set Propagation in ASP.
AI*IA
Mario Alviano, Carmine Dodaro, Francesco Ricca
2013 J jnl
Engineering an Efficient Native ASP Solver.
Theory Pract. Log. Program.
Carmine Dodaro
2013 B conf
The Fourth Answer Set Programming Competition: Preliminary Report.
LPNMR
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, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
2013 B conf
WASP: A Native ASP Solver Based on Constraint Learning.
LPNMR
Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
2011 — conf
The Birth of a WASP: Preliminary Report on a New ASP Solver.
CILC
Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni