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.
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
NONMONOTONIC REASONING
1990 Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
Ragionamento Non-Monotono
1991 Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
Type data bases with incomplete information
1991 Lenzerini, Maurizio
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
Concept Language with Number Restrictions and Fixpoints, and its Relationship with mu-Calculus
1994 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Boosting the Correspondence between Description Logics and Propositional Dynamic Logics
1994 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
PDL-Based Framework for Reasoning about Actions
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.
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets
1995 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Reasoning in Description Logics
1996 Donini, F. M.; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, A.
TBox and ABox Reasoning in Expressive Description Logics
1996 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Knowledge-based Access to the Network
1996 Barcaroli, C.; Iocchi, Luca; Lenzerini, Maurizio; Nardi, Daniele
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. | |
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 | |
NONMONOTONIC REASONING | 1990 | Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
Ragionamento Non-Monotono | 1991 | Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
Type data bases with incomplete information | 1991 | Lenzerini, Maurizio | |
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 | |
Concept Language with Number Restrictions and Fixpoints, and its Relationship with mu-Calculus | 1994 | DE GIACOMO, Giuseppe; Lenzerini, Maurizio | |
Boosting the Correspondence between Description Logics and Propositional Dynamic Logics | 1994 | DE GIACOMO, Giuseppe; Lenzerini, Maurizio | |
PDL-Based Framework for Reasoning about Actions | 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. | |
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets | 1995 | DE GIACOMO, Giuseppe; Lenzerini, Maurizio | |
Reasoning in Description Logics | 1996 | Donini, F. M.; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, A. | |
TBox and ABox Reasoning in Expressive Description Logics | 1996 | DE GIACOMO, Giuseppe; Lenzerini, Maurizio | |
Knowledge-based Access to the Network | 1996 | Barcaroli, C.; Iocchi, Luca; Lenzerini, Maurizio; Nardi, Daniele |
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