The following pages link to Daniele Nardi (Q989168):
Displaying 29 items.
- The complexity of existential quantification in concept languages. (Q989170) (← links)
- (Q1128771) (redirect page) (← links)
- An epistemic operator for description logics (Q1128772) (← links)
- Reasoning about reasoning in a meta-level architecture (Q1183375) (← links)
- The complexity of concept languages (Q1363785) (← links)
- Reasoning in expressive description logics (Q2751375) (← links)
- (Q3047016) (← links)
- (Q3047245) (← links)
- (Q3047309) (← links)
- Formal synthesis of a unification algorithm by the deductive-tableau method (Q3835052) (← links)
- (Q4012243) (← links)
- (Q4013825) (← links)
- (Q4028788) (← links)
- (Q4264772) (← links)
- Deduction in Concept Languages: from Subsumption to Instance Checking (Q4305351) (← links)
- Ground Nonmonotonic Modal Logics (Q4351800) (← links)
- (Q4400805) (← links)
- (Q4406790) (← links)
- (Q4406940) (← links)
- (Q4406976) (← links)
- (Q4514013) (← links)
- (Q4518910) (← links)
- (Q4533541) (← links)
- Coordination in multi-agent RoboCup teams (Q4538619) (← links)
- A theory and implementation of cognitive mobile robots (Q4934814) (← links)
- A uniform tableaux method for nonmonotonic modal logics (Q5235255) (← links)
- Reasoning about actions with sensing under qualitative and probabilistic uncertainty (Q5277823) (← links)
- Description logics of minimal knowledge and negation as failure (Q5738954) (← links)
- An Overview of Environmental Features that Impact Deep Reinforcement Learning in Sparse-Reward Domains (Q6135976) (← links)