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
Reasoning in expressive description logics	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

This page was built for person: Daniele Nardi