Carmine Dodaro | DeepAI

DeepAI AI Chat

Featured Co-authors

Francesca Toni
56 publications
Fulvio Mastrogiovanni
51 publications
Alessandra Russo
33 publications
Thomas Eiter
32 publications
Martin Gebser
27 publications
Mario Alviano
26 publications
Francesco Ricca
25 publications
Bart Bogaerts
25 publications
Joost Vennekens
23 publications
Artur d'Avila Garcez
22 publications
Yuliya Lierler
22 publications

∙ 08/28/2023

Proceedings 39th International Conference on Logic Programming

This volume contains the Technical Communications presented at the 39th ...

0 Enrico Pontelli, et al. ∙

∙ 03/15/2023

Solving Rehabilitation Scheduling problems via a Two-Phase ASP approach

A core part of the rehabilitation scheduling process consists of plannin...

0 Matteo Cardellini, et al. ∙

∙ 08/04/2022

Proceedings 38th International Conference on Logic Programming

ICLP is the premier international event for presenting research in logic...

0 Yuliya Lierler, et al. ∙

∙ 03/02/2022

On the Configuration of More and Less Expressive Logic Programs

The decoupling between the representation of a certain problem, i.e., it...

0 Carmine Dodaro, et al. ∙

∙ 02/19/2022

ValAsp: a tool for data validation in Answer Set Programming

The development of complex software requires tools promoting fail-fast a...

0 Mario Alviano, et al. ∙

∙ 09/15/2021

Proceedings 37th International Conference on Logic Programming (Technical Communications)

ICLP is the premier international event for presenting research in logic...

0 Andrea Formisano, et al. ∙

∙ 08/05/2021

An ASP-based Solution to the Chemotherapy Treatment Scheduling problem

The problem of scheduling chemotherapy treatments in oncology clinics is...

8 Carmine Dodaro, et al. ∙

∙ 05/05/2021

Operating Room (Re)Scheduling with Bed Management via ASP

The Operating Room Scheduling (ORS) problem is the task of assigning pat...

0 Carmine Dodaro, et al. ∙

∙ 10/02/2020

Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming

The manipulation of articulated objects is of primary importance in Robo...

0 Riccardo Bertolucci, et al. ∙

∙ 08/07/2020

Managing caching strategies for stream reasoning with reinforcement learning

Efficient decision-making over continuously changing data is essential f...

0 Carmine Dodaro, et al. ∙

∙ 07/24/2019

Partial Compilation of ASP Programs

Answer Set Programming (ASP) is a well-known declarative formalism in lo...

0 Bernardo Cuteri, et al. ∙

∙ 07/24/2019

Inconsistency Proofs for ASP: The ASP-DRUPE Format

Answer Set Programming (ASP) solvers are highly-tuned and complex proced...

0 Mario Alviano, et al. ∙

∙ 07/22/2019

Better Paracoherent Answer Sets with Less Resources

Answer Set Programming (ASP) is a well-established formalism for logic p...

0 Giovanni Amendola, et al. ∙

∙ 07/22/2019

Abstract Solvers for Computing Cautious Consequences of ASP programs

Abstract solvers are a method to formally analyze algorithms that have b...

0 Giovanni Amendola, et al. ∙

∙ 11/05/2018

The External Interface for Extending WASP

Answer set programming (ASP) is a successful declarative formalism for k...

0 Carmine Dodaro, et al. ∙

∙ 09/28/2018

Efficiently Coupling the I-DLV Grounder with ASP Solvers

We present I-DLV+MS , a new Answer Set Programming (ASP) system that int...

0 Francesco Calimeri, et al. ∙

∙ 08/01/2018

Debugging Non-Ground ASP Programs: Technique and Graphical Tools

Answer Set Programming (ASP) is one of the major declarative programming...

0 Carmine Dodaro, et al. ∙

∙ 04/23/2018

Shared aggregate sets in answer set programming

Aggregates are among the most frequently used linguistic extensions of a...

0 Mario Alviano, et al. ∙

∙ 04/23/2018

Cautious reasoning in ASP via minimal models and unsatisfiable cores

Answer Set Programming (ASP) is a logic-based knowledge representation f...

0 Mario Alviano, et al. ∙

∙ 07/21/2017

On the Computation of Paracoherent Answer Sets

Answer Set Programming (ASP) is a well-established formalism for nonmono...

0 Giovanni Amendola, et al. ∙

∙ 07/13/2017

Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis

Answer Set Programming (ASP) is a well-established declarative paradigm....

0 Bernardo Cuteri, et al. ∙

∙ 11/16/2016

Driving CDCL Search

The CDCL algorithm is the leading solution adopted by state-of-the-art s...

0 Carmine Dodaro, et al. ∙

∙ 11/15/2016

An integrated Graphical User Interface for Debugging Answer Set Programs

Answer Set Programming (ASP) is an expressive knowledge representation a...

0 Philip Gasteiger, et al. ∙

∙ 08/02/2016

Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)

Answer Set Programming (ASP) is a popular logic programming paradigm tha...

0 Carmine Dodaro, et al. ∙

∙ 05/14/2014

Anytime Computation of Cautious Consequences in Answer Set Programming

Query answering in Answer Set Programming (ASP) is usually solved by com...

0 Mario Alviano, et al. ∙

∙ 04/28/2014

Preliminary Report on WASP 2.0

Answer Set Programming (ASP) is a declarative programming paradigm. The ...

0 Mario Alviano, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world