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
106922003
Reasoning in description logics
FM Donini, M Lenzerini, D Nardi, A Schaerf
Principles of knowledge representation 1, 191-236, 1996
5431996
The complexity of concept languages
FM Donini, M Lenzerini, D Nardi, W Nutt
Information and Computation 134 (1), 1-58, 1997
5051997
Collision detection and safe reaction with the DLR-III lightweight manipulator arm
A De Luca, A Albu-Schaffer, S Haddadin, G Hirzinger
2006 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2006
4882006
An introduction to description logics.
D Nardi, RJ Brachman
Description logic handbook 1, 40, 2003
4232003
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
3832004
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
3651998
Description logics for conceptual data modeling
D Calvanese, M Lenzerini, D Nardi
Logics for databases and information systems, 229-263, 1998
3441998
Meta-level architectures and reflection
P Maes, D Nardi
Elsevier Science Pub. Co. Inc., New York, NY, 1988
3351988
Meta-level architectures and reflection
P Maes, D Nardi
Elsevier Science Pub. Co. Inc., New York, NY, 1988
3351988
Description logic framework for information integration
D Calvanese, G De Giacomo, M Lenzerini, D Nardi, R Rosati
KR, 2-13, 1998
3311998
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
2502002
Unifying class-based representation formalisms
D Calvanese, M Lenzerini, D Nardi
Journal of Artificial Intelligence Research 11, 199-240, 1999
2451999
Search and rescue robotics
RR Murphy, S Tadokoro, D Nardi, A Jacoff, P Fiorini, H Choset, ...
Springer handbook of robotics, 1151-1173, 2008
2402008
Search and rescue robotics
RR Murphy, S Tadokoro, D Nardi, A Jacoff, P Fiorini, H Choset, ...
Springer handbook of robotics, 1151-1173, 2008
2402008
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
2201998
Tractable Concept Languages.
FM Donini, M Lenzerini, D Nardi, W Nutt
IJCAI 91, 458-463, 1991
1821991
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
1812007
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
1762001
An epistemic operator for description logics
FM Donini, M Lenzerini, D Nardi, W Nutt, A Schaerf
Artificial Intelligence 100 (1-2), 225-274, 1998
1681998
The system can't perform the operation now. Try again later.
Articles 1–20