Sfoglia per Autore
INCOD: A System for Interactive Conceptual Data Base Design
1981 Batini, C.; Lenzerini, M.
A Comparative Analysis of Methodologies for Database Schema Integration
1986 Batini, C.; Lenzerini, M.; Navathe, S. B.
NONMONOTONIC REASONING
1990 Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
Survey on Non-Monotonic Reasoning
1990 Carlucci, Luigia; FRANCESCO MARIA, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
Using terminological reasoning in hybrid systems
1990 Donini, FRANCESCO MARIA; Lenzerini, Maurizio; Nardi, Daniele
Type data bases with incomplete information
1991 Lenzerini, Maurizio
Ragionamento Non-Monotono
1991 Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
The complexity of existential quantification in concept languages
1992 F., Donini; Lenzerini, Maurizio; Nardi, Daniele; B., Hollunder; W., Nutt; MARCHETTI SPACCAMELA, Alberto
Representing and Using Interschema Knowledge in Cooperative Information Systems
1993 Catarci, Tiziana; Lenzerini, Maurizio
Description Logics with Inverse Roles, Functional Restrictions, and n-ary Relations
1994 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Deduction in concept languages: From subsumption to instance checking
1994 Donini, FRANCESCO MARIA; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, Andrea
Boosting the Correspondence between Description Logics and Propositional Dynamic Logics
1994 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Concept Language with Number Restrictions and Fixpoints, and its Relationship with mu-Calculus
1994 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets
1995 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Structured Objects: Modeling and Reasoning
1995 Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Conceptual language for statistical data modeling
1995 Catarci, T.; D'Angiolini, G.; Lenzerini, M.
PDL-Based Framework for Reasoning about Actions
1995 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Reasoning in Description Logics
1996 Donini, F. M.; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, A.
Knowledge-based Access to the Network
1996 Barcaroli, C.; Iocchi, Luca; Lenzerini, Maurizio; Nardi, Daniele
TBox and ABox Reasoning in Expressive Description Logics
1996 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| INCOD: A System for Interactive Conceptual Data Base Design | 1981 | Batini, C.; Lenzerini, M. | |
| A Comparative Analysis of Methodologies for Database Schema Integration | 1986 | Batini, C.; Lenzerini, M.; Navathe, S. B. | |
| NONMONOTONIC REASONING | 1990 | Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
| Survey on Non-Monotonic Reasoning | 1990 | Carlucci, Luigia; FRANCESCO MARIA, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
| Using terminological reasoning in hybrid systems | 1990 | Donini, FRANCESCO MARIA; Lenzerini, Maurizio; Nardi, Daniele | |
| Type data bases with incomplete information | 1991 | Lenzerini, Maurizio | |
| Ragionamento Non-Monotono | 1991 | Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
| The complexity of existential quantification in concept languages | 1992 | F., Donini; Lenzerini, Maurizio; Nardi, Daniele; B., Hollunder; W., Nutt; MARCHETTI SPACCAMELA, Alberto | |
| Representing and Using Interschema Knowledge in Cooperative Information Systems | 1993 | Catarci, Tiziana; Lenzerini, Maurizio | |
| Description Logics with Inverse Roles, Functional Restrictions, and n-ary Relations | 1994 | DE GIACOMO, Giuseppe; Lenzerini, Maurizio | |
| Deduction in concept languages: From subsumption to instance checking | 1994 | Donini, FRANCESCO MARIA; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, Andrea | |
| Boosting the Correspondence between Description Logics and Propositional Dynamic Logics | 1994 | DE GIACOMO, Giuseppe; Lenzerini, Maurizio | |
| Concept Language with Number Restrictions and Fixpoints, and its Relationship with mu-Calculus | 1994 | DE GIACOMO, Giuseppe; Lenzerini, Maurizio | |
| What's in an Aggregate: Foundations for Description Logics with Tuples and Sets | 1995 | DE GIACOMO, Giuseppe; Lenzerini, Maurizio | |
| Structured Objects: Modeling and Reasoning | 1995 | Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio | |
| Conceptual language for statistical data modeling | 1995 | Catarci, T.; D'Angiolini, G.; Lenzerini, M. | |
| PDL-Based Framework for Reasoning about Actions | 1995 | DE GIACOMO, Giuseppe; Lenzerini, Maurizio | |
| Reasoning in Description Logics | 1996 | Donini, F. M.; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, A. | |
| Knowledge-based Access to the Network | 1996 | Barcaroli, C.; Iocchi, Luca; Lenzerini, Maurizio; Nardi, Daniele | |
| TBox and ABox Reasoning in Expressive Description Logics | 1996 | DE GIACOMO, Giuseppe; Lenzerini, Maurizio |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile