Nico Roos
From MaRDI portal
Person:1128614
Available identifiers
zbMath Open roos.nicoMaRDI QIDQ1128614
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Extending dynamic logic with refinements of abstract actions | 2022-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5283039 | 2017-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5283036 | 2017-07-18 | Paper |
| KI 2005: Advances in Artificial Intelligence | 2006-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4423523 | 2003-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753827 | 2001-12-09 | Paper |
| Reasoning by cases in Default Logic | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138714 | 1994-09-20 | Paper |
| A logic for reasoning with inconsistent knowledge | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3930689 | 1981-01-01 | Paper |
Research outcomes over time
This page was built for person: Nico Roos
