1 | -- | 5 | Maurizio Lenzerini, Marco Schaerf. The scientific legacy of Marco Cadoli in Artificial Intelligence |
7 | -- | 17 | Thomas Eiter, Georg Gottlob. Marco Cadoli's work on nonmonotonic reasoning |
19 | -- | 29 | Eufemia Tinelli, Francesco M. Donini, Eugenio Di Sciascio. Compiling subsumption to relational databases |
31 | -- | 35 | Paolo Liberatore, Marco Schaerf. The compilability framework |
37 | -- | 44 | Luigi Palopoli, Andrea Schaerf. spec{\sc np-spec} Project |
45 | -- | 56 | Gianluigi Greco, Francesco Scarcello. Fair division rules for funds distribution: The case of the Italian Research Assessment Program (VQR 2004-2010) |
57 | -- | 65 | Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini. Finite model reasoning on UML class diagrams via constraint programming |