EasyChair Smart SlideDocs/Log in
Author: Carmine Dodaro

This page shows all presentations of this author published in EasyChair Smart Slide.

Scheduling Periodic Treatments via Answer Set Programming

Scheduling Periodic Treatments via Answer Set Programming

Simone Caruso, Carmine Dodaro, Giuseppe Galatà and Marco Maratea

Externally Supported Models for Efficient Computation of Paracoherent Answer Sets

Externally Supported Models for Efficient Computation of Paracoherent Answer Sets

Giovanni Amendola, Carmine Dodaro, Wolfgang Faber and Francesco Ricca

Shared aggregate sets in answer set programming

Shared aggregate sets in answer set programming

Mario Alviano, Carmine Dodaro and Marco Maratea

Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores

Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores

Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea and Alessandro Previti

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair