DONINI, FRANCESCO MARIA

DONINI, FRANCESCO MARIA  

Mostra prodotti
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.01 secondi).
Titolo Data di pubblicazione Autore(i) File
A uniform tableaux method for nonmonotonic modal logics 1996 Donini, FRANCESCO MARIA; Massacci, Fabio; Nardi, Daniele; Rosati, Riccardo
Deduction in concept languages: From subsumption to instance checking 1994 Donini, FRANCESCO MARIA; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, Andrea
Is intractability of non-monotonic reasoning a real drawback? 1994 Cadoli, Marco; Donini Francesco, M.; Schaerf, Marco
Non-first-order features in concept languages 1995 Donini, FRANCESCO MARIA; Nardi, Daniele; Rosati, Riccardo
On compact representations of propositional circumscription 1995 Cadoli, M.; Donini, F. M.; Schaerf, M.
Size of a revised knowledge base 1995 Cadoli, Marco; Donini Francesco, M.; Liberatore, Paolo; Schaerf, Marco
Using terminological reasoning in hybrid systems 1990 Donini, FRANCESCO MARIA; Lenzerini, Maurizio; Nardi, Daniele