DONINI, FRANCESCO MARIA
DONINI, FRANCESCO MARIA
Mostra
prodotti
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.024 secondi).
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
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 |