Carmine Dodaro

Available identifiers

zbMath Open dodaro.carmineDBLP115/6847WikidataQ58386146 ScholiaQ58386146MaRDI QIDQ2238695

List of research outcomes

Publication	Date of Publication	Type
Comparing planning domain models using answer set programming	2024-05-29	Paper
AMO-aware Aggregates in Answer Set Programming	2024-05-05	Dataset
Compilation of tight ASP programs	2023-07-24	Dataset
ASP and subset minimality: enumeration, cautious reasoning and MUSes	2023-06-27	Paper
Rescheduling rehabilitation sessions with answer set programming	2023-06-15	Paper
Enumeration of minimal models and MUSes in WASP	2023-04-04	Paper
Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring	2023-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q5020967	2022-01-11	Paper
Compilation of Aggregates in ASP Systems	2021-12-03	Dataset
Paracoherent answer set computation	2021-11-02	Paper
Efficiently Coupling the I-DLV Grounder with ASP Solvers	2021-09-03	Paper
The External Interface for Extending WASP	2021-09-03	Paper
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming	2021-09-03	Paper
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search	2021-05-20	Paper
Managing caching strategies for stream reasoning with reinforcement learning	2020-12-13	Paper
Optimum stable model search: algorithms and implementation	2020-08-05	Paper
Paracoherent Answer Set Computation	2020-07-28	Dataset
Partial Compilation of ASP Programs	2020-05-04	Paper
Better Paracoherent Answer Sets with Less Resources	2020-05-04	Paper
Inconsistency Proofs for ASP: The ASP - DRUPE Format	2020-05-04	Paper
Abstract Solvers for Computing Cautious Consequences of ASP programs	2020-05-04	Paper
Algorithm selection for paracoherent answer set computation	2020-02-18	Paper
Answer Set Enumeration via Assumption Literals	2020-02-10	Paper
Evaluation of disjunctive programs in WASP	2019-10-10	Paper
An ASP-based framework for the manipulation of articulated objects using dual-arm robots	2019-10-10	Paper
Debugging Non-ground ASP Programs: Technique and Graphical Tools	2019-09-19	Paper
Model Enumeration via Assumption Literals	2019-07-17	Paper
Evaluation of disjunctive programs in WASP	2019-03-25	Dataset
Shared aggregate sets in answer set programming	2018-12-04	Paper
Cautious reasoning in ASP via minimal models and unsatisfiable cores	2018-12-04	Paper
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)	2017-11-09	Paper
Anytime answer set optimization via unsatisfiable core shrinking	2017-11-09	Paper
The ASP system DLV2	2017-09-05	Paper
Nurse scheduling via answer set programming	2017-09-05	Paper
Advances in WASP	2015-11-04	Paper
Interactive Debugging of Non-ground ASP Programs	2015-11-04	Paper
Anytime Computation of Cautious Consequences in Answer Set Programming	2014-11-25	Paper

Research outcomes over time

This page was built for person: Carmine Dodaro