Alternative foundations for Reiter's default logic.
| Verfasserangaben: | Thomas Linke, Torsten H. SchaubORCiDGND |
|---|---|
| ISSN: | 0004-3702 |
| Publikationstyp: | Wissenschaftlicher Artikel |
| Sprache: | Englisch |
| Jahr der Erstveröffentlichung: | 2000 |
| Erscheinungsjahr: | 2000 |
| Datum der Freischaltung: | 24.03.2017 |
| Quelle: | Artificial intelligence : an international journal. - ISSN 0004-3702. - 124 (2001), 1, S. 31 - 86 |
| Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
| Name der Einrichtung zum Zeitpunkt der Publikation: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |
