BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nardi:Daniele

Contributed to:

KR 20002000
SIGMOD 19991999
KR 19981998
KR 19961996
KR 19941994
KR 19921992
LOPSTR 19921992
KR 19911991
ESEC 19891989

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.