Daniele Nardi

From MaRDI portal
Person:989168

Available identifiers

zbMath Open nardi.danieleDBLPn/DanieleNardiWikidataQ56426158 ScholiaQ56426158MaRDI QIDQ989168

List of research outcomes





PublicationDate of PublicationType
An Overview of Environmental Features that Impact Deep Reinforcement Learning in Sparse-Reward Domains2023-08-28Paper
A uniform tableaux method for nonmonotonic modal logics2019-10-08Paper
Reasoning about actions with sensing under qualitative and probabilistic uncertainty2017-07-12Paper
Description logics of minimal knowledge and negation as failure2017-06-13Paper
The complexity of existential quantification in concept languages.2010-08-27Paper
https://portal.mardi4nfdi.de/entity/Q30470162004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q30472452004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q30473092004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44067902003-06-26Paper
https://portal.mardi4nfdi.de/entity/Q44069402003-06-26Paper
https://portal.mardi4nfdi.de/entity/Q44069762003-06-26Paper
Coordination in multi-agent RoboCup teams2002-07-14Paper
https://portal.mardi4nfdi.de/entity/Q45335412002-06-11Paper
A theory and implementation of cognitive mobile robots2002-02-13Paper
Reasoning in expressive description logics2001-10-21Paper
https://portal.mardi4nfdi.de/entity/Q45140132001-03-04Paper
https://portal.mardi4nfdi.de/entity/Q45189102000-12-03Paper
https://portal.mardi4nfdi.de/entity/Q42647721999-10-10Paper
An epistemic operator for description logics1998-08-13Paper
https://portal.mardi4nfdi.de/entity/Q44008051998-08-02Paper
Ground Nonmonotonic Modal Logics1998-01-27Paper
The complexity of concept languages1997-08-11Paper
Deduction in Concept Languages: from Subsumption to Instance Checking1994-10-17Paper
https://portal.mardi4nfdi.de/entity/Q40287881993-03-28Paper
https://portal.mardi4nfdi.de/entity/Q40122431992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q40138251992-09-27Paper
Reasoning about reasoning in a meta-level architecture1992-06-28Paper
Formal synthesis of a unification algorithm by the deductive-tableau method1989-01-01Paper

Research outcomes over time

This page was built for person: Daniele Nardi