Daniele Nardi

Available identifiers

zbMath Open nardi.danieleDBLPn/DanieleNardiWikidataQ56426158 ScholiaQ56426158MaRDI QIDQ989168

List of research outcomes

Publication	Date of Publication	Type
An Overview of Environmental Features that Impact Deep Reinforcement Learning in Sparse-Reward Domains	2023-08-28	Paper
A uniform tableaux method for nonmonotonic modal logics	2019-10-08	Paper
Reasoning about actions with sensing under qualitative and probabilistic uncertainty	2017-07-12	Paper
Description logics of minimal knowledge and negation as failure	2017-06-13	Paper
The complexity of existential quantification in concept languages.	2010-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q3047016	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3047245	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3047309	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4406790	2003-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4406940	2003-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4406976	2003-06-26	Paper
Coordination in multi-agent RoboCup teams	2002-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4533541	2002-06-11	Paper
A theory and implementation of cognitive mobile robots	2002-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q2751375	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q4514013	2001-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4518910	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4264772	1999-10-10	Paper
An epistemic operator for description logics	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4400805	1998-08-02	Paper
Ground Nonmonotonic Modal Logics	1998-01-27	Paper
The complexity of concept languages	1997-08-11	Paper
Deduction in Concept Languages: from Subsumption to Instance Checking	1994-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4028788	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4012243	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4013825	1992-09-27	Paper
Reasoning about reasoning in a meta-level architecture	1992-06-28	Paper
Formal synthesis of a unification algorithm by the deductive-tableau method	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daniele Nardi