Volume 7, Number 1 / 2013 of Intelligenza Artificiale is out!

posted Sep 16, 2013, 2:22 AM by Amministratore Sito Web
Volume 7, Number 1 / 2013 of Intelligenza Artificiale is out! It is a special issue devoted to the Scientific Legacy of Marco Cadoli in Artificial Intelligence.

Members can access the full text free of charge by asking fabrizio.riguzzi@unife.it for a token.

You can find the issue at


Table of contents

The scientific legacy of Marco Cadoli in Artificial Intelligence
AuthorsMaurizio Lenzerini and Marco Schaerf

Marco Cadoli's work on nonmonotonic reasoning
AuthorsThomas Eiter and Georg Gottlob

Compiling subsumption to relational databases
AuthorsEufemia Tinelli, Francesco M. Donini and Eugenio Di Sciascio

The compilability framework
AuthorsPaolo Liberatore and Marco Schaerf

The Project
AuthorsLuigi Palopoli and Andrea Schaerf

Fair division rules for funds distribution: The case of the Italian Research Assessment Program (VQR 2004–2010)
AuthorsGianluigi Greco and Francesco Scarcello

Finite model reasoning on UML class diagrams via constraint programming
AuthorsMarco Cadoli, Diego Calvanese, Giuseppe De Giacomo and Toni Mancini