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
Technical note. Efficiently coupling the \(\mathscr{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