Daniele Nardi
Daniele Nardi
Sapienza Univ. Roma, Dept. Computer, Control and Management Engineering
Verified email at dis.uniroma1.it - Homepage
TitleCited byYear
The description logic handbook: Theory, implementation and applications
F Baader, D Calvanese, D McGuinness, P Patel-Schneider, D Nardi
Cambridge university press, 2003
112272003
Reasoning in description logics
FM Donini, M Lenzerini, D Nardi, A Schaerf
Principles of knowledge representation 1, 191-236, 1996
5481996
The complexity of concept languages
FM Donini, M Lenzerini, D Nardi, W Nutt
Information and Computation 134 (1), 1-58, 1997
5121997
An introduction to description logics.
D Nardi, RJ Brachman
Description logic handbook 1, 40, 2003
4462003
Multirobot systems: a classification focused on coordination
A Farinelli, L Iocchi, D Nardi
IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics) 34 …, 2004
4162004
AL-log: Integrating Datalog and Description Logics
FM Donini, M Lenzerini, D Nardi, A Schaerf
Journal of Intelligent Information Systems 10 (3), 227-252, 1998
3701998
Description logics for conceptual data modeling
D Calvanese, M Lenzerini, D Nardi
Logics for databases and information systems, 229-263, 1998
3451998
Meta-level architectures and reflection
P Maes, D Nardi
Elsevier Science Pub. Co. Inc., New York, NY, 1988
3391988
Meta-level architectures and reflection
P Maes, D Nardi
Elsevier Science Pub. Co. Inc., New York, NY, 1988
3391988
Description logic framework for information integration
D Calvanese, G De Giacomo, M Lenzerini, D Nardi, R Rosati
KR, 2-13, 1998
3371998
Search and rescue robotics
RR Murphy, S Tadokoro, D Nardi, A Jacoff, P Fiorini, H Choset, ...
Springer handbook of robotics, 1151-1173, 2008
2842008
Search and rescue robotics
RR Murphy, S Tadokoro, D Nardi, A Jacoff, P Fiorini, H Choset, ...
Springer handbook of robotics, 1151-1173, 2008
2842008
Description logics of minimal knowledge and negation as failure
FM Donini, D Nardi, R Rosati
ACM Transactions on Computational Logic (TOCL) 3 (2), 177-225, 2002
2702002
Unifying class-based representation formalisms
D Calvanese, M Lenzerini, D Nardi
Journal of Artificial Intelligence Research 11, 199-240, 1999
2451999
Information integration: Conceptual modeling and reasoning support
D Calvanese, G De Giacomo, M Lenzerini, D Nardi, R Rosati
Proceedings. 3rd IFCIS International Conference on Cooperative Information …, 1998
2241998
Fast and accurate SLAM with Rao–Blackwellized particle filters
G Grisetti, GD Tipaldi, C Stachniss, W Burgard, D Nardi
Robotics and Autonomous Systems 55 (1), 30-38, 2007
1902007
Tractable Concept Languages.
FM Donini, M Lenzerini, D Nardi, W Nutt
IJCAI 91, 458-463, 1991
1831991
Data integration in data warehousing
D Calvanese, G De Giacomo, M Lenzerini, D Nardi, R Rosati
International Journal of Cooperative Information Systems 10 (03), 237-271, 2001
1802001
Reactivity and deliberation: a survey on multi-robot systems
L Iocchi, D Nardi, M Salerno
Workshop on Balancing Reactivity and Social Deliberation in Multi-Agent …, 2000
1742000
An epistemic operator for description logics
FM Donini, M Lenzerini, D Nardi, W Nutt, A Schaerf
Artificial Intelligence 100 (1-2), 225-274, 1998
1711998
The system can't perform the operation now. Try again later.
Articles 1–20