Travelled to:1 × Germany
1 × Italy
1 × United Kingdom
4 × USA
Collaborated with:M.Lenzerini R.Rosati L.Iocchi D.Calvanese M.Tucci G.D.Giacomo F.M.Donini W.Nutt S.Trisolini A.Schaerf
Talks about:framework (3) languag (2) concept (2) integr (2) logic (2) event (2) represent (1) implement (1) synthesi (1) descript (1)
Person: Daniele Nardi
DBLP: Nardi:Daniele
Contributed to:
2000
19991998199619941992
19921991
1989Wrote 9 papers:
- KR-2000-IocchiNR #concurrent #framework #implementation #logic
- Planning with sensing, concurrency, and exogenous events: logical framework and implementation (LI, DN, RR), pp. 678–689.
- SIGMOD-1999-TrisoliniLN #integration
- Data Integration and Warehousing in Telecom Italia (ST, ML, DN), pp. 538–539.
- KR-1998-CalvaneseGLNR #framework #integration #logic
- Description Logic Framework for Information Integration (DC, GDG, ML, DN, RR), pp. 2–13.
- KR-1996-GiacomoINR #approach
- Moving a Robot: The KR&R Approach at Work (GDG, LI, DN, RR), pp. 198–209.
- KR-1994-CalvaneseLN #framework #representation
- A Unified Framework for Class-Based Representation Formalisms (DC, ML, DN), pp. 109–120.
- KR-1992-DoniniLNSN #concept
- Adding Epistemic Operators to Concept Languages (FMD, ML, DN, AS, WN), pp. 342–353.
- LOPSTR-1992-NardiR #deduction #query #source code #synthesis
- Deductive Synthesis of Programs for Query Answering (DN, RR), pp. 15–29.
- KR-1991-DoniniLNN #complexity #concept
- The Complexity of Concept Languages (FMD, ML, DN, WN), pp. 151–162.
- ESEC-1989-NardiT #calculus #representation
- An Application of the Event Calculus for Representing the History of a Software Project (DN, MT), pp. 176–190.