Carmine Dodaro

Available identifiers

zbMath Open dodaro.carmineWikidataQ58386146 ScholiaQ58386146MaRDI QIDQ2238695

List of research outcomes

Publication	Date of Publication	Type
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
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
Abstract Solvers for Computing Cautious Consequences of ASP programs	2020-05-04	Paper
Better Paracoherent Answer Sets with Less Resources	2020-05-04	Paper
Partial Compilation of ASP Programs	2020-05-04	Paper
Inconsistency Proofs for ASP: The ASP - DRUPE Format	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
An ASP-based framework for the manipulation of articulated objects using dual-arm robots	2019-10-10	Paper
Evaluation of disjunctive programs in WASP	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
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
Anytime answer set optimization via unsatisfiable core shrinking	2017-11-09	Paper
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Carmine Dodaro