The following pages link to Nico Roos (Q1128614):
Displaying 10 items.
- Reasoning by cases in Default Logic (Q1128615) (← links)
- A logic for reasoning with inconsistent knowledge (Q1199925) (← links)
- (Q2753827) (← links)
- (Q3138714) (← links)
- (Q3930689) (← links)
- (Q4423523) (← links)
- Extending dynamic logic with refinements of abstract actions (Q5044543) (← links)
- (Q5283036) (← links)
- (Q5283039) (← links)
- KI 2005: Advances in Artificial Intelligence (Q5897746) (← links)
