scispace - formally typeset
D

Daniele Nardi

Researcher at Sapienza University of Rome

Publications -  382
Citations -  18489

Daniele Nardi is an academic researcher from Sapienza University of Rome. The author has contributed to research in topics: Robot & Mobile robot. The author has an hindex of 47, co-authored 364 publications receiving 17602 citations. Previous affiliations of Daniele Nardi include University of Wisconsin–Milwaukee & Selex ES.

Papers
More filters
BookDOI

The Description Logic Handbook: Theory, Implementation and Applications

TL;DR: The Description Logic Handbook as mentioned in this paper provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications, and can also be used for self-study or as a reference for knowledge representation and artificial intelligence courses.
Book

The Description Logic Handbook

TL;DR: This introduction presents the main motivations for the development of Description Logics as a formalism for representing knowledge, as well as some important basic notions underlying all systems that have been created in the DL tradition.
Book

An Introduction to Description Logic

TL;DR: This introduction presents the main motivations for the development of Description Logics as a formalism for representing knowledge, as well as some important basic notions underlying all systems that have been created in the DL tradition.
Book

Reasoning in description logics

TL;DR: Techniques for reasoning and computational complex problems in Description Logics are surveyed, including reasoning with plain concept expressions, reasoning with instances of concepts, and reasoning with axioms.