Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Carmine Dodaro
Map detail
Carmine Dodaro13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipCarmine DodaroACarmine DodaroResearcherOn the Configuration of More and Less Expressive Logic ProgramsWOn the Configuration of...preprint / 2022Managing caching strategies for stream reasoning with reinforcement learningWManaging caching strate...preprint / 2020The External Interface for Extending WASPWThe External Interface ...preprint / 2018Debugging Non-Ground ASP Programs: Technique and Graphical ToolsWDebugging Non-Ground AS...preprint / 2018Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)WCombining Answer Set Pr...preprint / 2016Driving CDCL SearchWDriving CDCL Searchpreprint / 2016Partial Compilation of ASP ProgramsWPartial Compilation of ...preprint / 2019Abstract Solvers for Computing Cautious Consequences of ASP programsWAbstract Solvers for Co...preprint / 2019Better Paracoherent Answer Sets with Less ResourcesWBetter Paracoherent Ans...preprint / 2019Efficiently Coupling the I-DLV Grounder with ASP SolversWEfficiently Coupling th...preprint / 2018Anytime Computation of Cautious Consequences in Answer Set ProgrammingWAnytime Computation of ...preprint / 2014Improving ASP-based ORS Schedules through Machine Learning PredictionsWImproving ASP-based ORS...preprint / 2025
Person12 links

Carmine Dodaro

Researcher