The following pages link to Carmine Dodaro (Q2238695):
Displaying 37 items.
- Paracoherent answer set computation (Q2238696) (← links)
- Algorithm selection for paracoherent answer set computation (Q2296732) (← links)
- An ASP-based framework for the manipulation of articulated objects using dual-arm robots (Q2326711) (← links)
- Evaluation of disjunctive programs in WASP (Q2326731) (← links)
- The ASP system DLV2 (Q2401936) (← links)
- Nurse scheduling via answer set programming (Q2401947) (← links)
- Enumeration of minimal models and MUSes in WASP (Q2694547) (← links)
- Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring (Q2694562) (← links)
- Anytime Computation of Cautious Consequences in Answer Set Programming (Q2931278) (← links)
- Optimum stable model search: algorithms and implementation (Q3304091) (← links)
- Advances in WASP (Q3449189) (← links)
- Interactive Debugging of Non-ground ASP Programs (Q3449213) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) (Q4593048) (← links)
- Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
- The External Interface for Extending WASP (Q4957194) (← links)
- Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming (Q4957224) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- (Q5020967) (← links)
- Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499) (← links)
- Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
- Partial Compilation of ASP Programs (Q5108506) (← links)
- Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
- Managing caching strategies for stream reasoning with reinforcement learning (Q5140004) (← links)
- Debugging Non-ground ASP Programs: Technique and Graphical Tools (Q5197755) (← links)
- Answer Set Enumeration via Assumption Literals (Q5215367) (← links)
- Model Enumeration via Assumption Literals (Q5223207) (← links)
- ASP and subset minimality: enumeration, cautious reasoning and MUSes (Q6103676) (← links)
- Rescheduling rehabilitation sessions with answer set programming (Q6162124) (← links)
- Comparing planning domain models using answer set programming (Q6545534) (← links)
- Evaluation of disjunctive programs in WASP (Q6697724) (← links)
- AMO-aware Aggregates in Answer Set Programming (Q6701328) (← links)
- Paracoherent Answer Set Computation (Q6702042) (← links)
- Compilation of Aggregates in ASP Systems (Q6702053) (← links)
- Compilation of tight ASP programs (Q6702055) (← links)
