| 
| |  | |  |
Data Integration and Warehousing in Telecom Italia
Note: Links lead to the DBLP on the Web.
Daniele Nardi
36
Stefano Trisolini
,
Maurizio Lenzerini
, Daniele Nardi: Data Integration and Warehousing in Telecom Italia.
SIGMOD Conference 1999
: 538-539
35
Diego Calvanese
,
Maurizio Lenzerini
, Daniele Nardi: Unifying Class-Based Representation Formalisms.
JAIR 11
: 199-240 (1999)
34
M. De Rosa
,
Tiziana Catarci
,
Luca Iocchi
, Daniele Nardi,
Giuseppe Santucci
: Materializing the Web.
CoopIS 1998
: 24-31
33
Diego Calvanese
,
Giuseppe De Giacomo
,
Maurizio Lenzerini
, Daniele Nardi,
Riccardo Rosati
: Information Integration: Conceptual Modeling and Reasoning Support.
CoopIS 1998
: 280-291
32
Diego Calvanese
,
Giuseppe De Giacomo
,
Maurizio Lenzerini
, Daniele Nardi,
Riccardo Rosati
: Source Integration in Data Warehousing.
DEXA Workshop 1998
: 192-197
31
Diego Calvanese
,
Giuseppe De Giacomo
,
Maurizio Lenzerini
, Daniele Nardi,
Riccardo Rosati
: Description Logic Framework for Information Integration.
KR 1998
: 2-13
30
Diego Calvanese
,
Maurizio Lenzerini
, Daniele Nardi: Description Logics for Conceptual Data Modeling.
Logics for Databases and Information Systems 1998
: 229-263
29
Daniele Nardi,
Giorgio Clemente
,
Enrico Pagello
: ART - Azzurra Robot Team.
RoboCup 1998
: 458-463
28
Francesco M. Donini
,
Maurizio Lenzerini
, Daniele Nardi,
Werner Nutt
,
Andrea Schaerf
: An Epistemic Operator for Description Logics.
Artificial Intelligence 100
(1-2): 225-274 (1998)
27
Tiziana Catarci
, Daniele Nardi,
Giuseppe Santucci
,
Shi-Kuo Chang
: WAG: Web-at-a-Glance.
IJCIS 7
(2-3): 187-214 (1998)
26
Francesco M. Donini
,
Maurizio Lenzerini
, Daniele Nardi,
Andrea Schaerf
: AL-log: Integrating Datalog and Description Logics.
JIIS 10
(3): 227-252 (1998)
25
Francesco M. Donini
, Daniele Nardi,
Riccardo Rosati
: Autoepistemic Description Logics.
IJCAI (1) 1997
: 136-141
24
Tiziana Catarci
,
Luca Iocchi
, Daniele Nardi,
Giuseppe Santucci
: Conceptual Views over the Web.
KRDB 1997
: 3.1-3.6
23
Francesco M. Donini
,
Maurizio Lenzerini
, Daniele Nardi,
Werner Nutt
: The Complexity of Concept Languages.
Information and Computation 134
(1): 1-58 (1997)
22
Francesco M. Donini
, Daniele Nardi,
Riccardo Rosati
: Ground Nonmonotonic Modal Logics.
Journal of Logic and Computation 7
(4): 523-548 (1997)
21
Francesco M. Donini
,
Fabio Massacci
, Daniele Nardi,
Riccardo Rosati
: A Uniform Tableaux Method for Nonmonotonic Modal Logics.
JELIA 1996
: 87-103
20
Giuseppe De Giacomo
,
Luca Iocchi
, Daniele Nardi,
Riccardo Rosati
: Moving a Robot: The KR&R Approach at Work.
KR 1996
: 198-209
19
Francesco M. Donini
, Daniele Nardi,
Riccardo Rosati
: Non-first-order features in concept languages.
AI*IA 1995
: 91-102
18
Daniele Nardi,
Riccardo Rosati
: A Preference Semantics for Ground Nonmonotonic Modal Logics.
EPIA 1995
: 223-235
17
Diego Calvanese
,
Maurizio Lenzerini
, Daniele Nardi: A Unified Framework for Class-Based Representation Formalisms.
KR 1994
: 109-120
16
Francesco M. Donini
,
Maurizio Lenzerini
, Daniele Nardi,
Andrea Schaerf
: Deduction in Concept Languages: From Subsumption to Instance Checking.
Journal of Logic and Computation 4
(4): 423-452 (1994)
15
Francesco M. Donini
,
Maurizio Lenzerini
, Daniele Nardi,
Andrea Schaerf
,
Werner Nutt
: Adding Epistemic Operators to Concept Languages.
KR 1992
: 342-353
14
Daniele Nardi,
Riccardo Rosati
: Deductive Synthesis of Programs for Query Answering.
LOPSTR 1992
: 15-29
13
Francesco M. Donini
,
Maurizio Lenzerini
, Daniele Nardi,
Bernhard Hollunder
,
Werner Nutt
,
Alberto Marchetti-Spaccamela
: The Complexity of Existential Quantification in Concept Languages.
Artificial Intelligence 53
(2-3): 309-327 (1992)
12
Francesco M. Donini
,
Maurizio Lenzerini
, Daniele Nardi,
Andrea Schaerf
: A Hybrid System with Datalog and Concept Languages.
AI*IA 1991
: 88-97
11
Francesco M. Donini
,
Maurizio Lenzerini
, Daniele Nardi,
Werner Nutt
: Tractable Concept Languages.
Description Logics 1991
: 39-42
10
Francesco M. Donini
,
Maurizio Lenzerini
, Daniele Nardi,
Werner Nutt
: The Complexity of Concept Languages (Extended Abstract).
Description Logics 1991
: 87-90
9
Luigia Carlucci Aiello
,
Maria Cialdea
, Daniele Nardi: Reasoning about Student Knowledge and Reasoning.
IJCAI 1991
: 1087-1093
8
Francesco M. Donini
,
Maurizio Lenzerini
, Daniele Nardi,
Werner Nutt
: Tractable Concept Languages.
IJCAI 1991
: 458-465
7
Francesco M. Donini
,
Maurizio Lenzerini
, Daniele Nardi,
Werner Nutt
: The Complexity of Concept Languages.
KR 1991
: 151-162
6
Francesco M. Donini
,
Maurizio Lenzerini
, Daniele Nardi: An Efficient Method for Hybrid Deduction.
ECAI 1990
: 246-252
5
Daniele Nardi,
Marco Tucci
: An Application of the Event Calculus for Representing the History of a Software Project.
ESEC 1989
: 176-190
4
Daniele Nardi: Formal Synthesis of a Unification Algorithm by the Deductive-Tableau Method.
JLP 7
(1): 1-43 (1989)
3
Maurizio Lenzerini
, Daniele Nardi: Belief Revision as Meta-Reasoning.
ECAI 1988
: 577-579
2
Luigia Carlucci Aiello
, Daniele Nardi,
Marco Schaerf
: Reasoning About Knowledge and Ignorance.
FGCS 1988
: 618-627
1
Luigia Carlucci Aiello
, Daniele Nardi,
Marco Schaerf
: Yet Another Solution to the Three Wisemen Puzzle.
ISMIS 1988
: 398-407
Copyright(C) 2000 ACM | | | | | | |
