An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem.
| Verfasserangaben: | Thomas Linke, Torsten H. SchaubORCiDGND |
|---|---|
| ISBN: | 3-540-65141-1 |
| Publikationstyp: | Wissenschaftlicher Artikel |
| Sprache: | Englisch |
| Jahr der Erstveröffentlichung: | 1998 |
| Erscheinungsjahr: | 1998 |
| Datum der Freischaltung: | 24.03.2017 |
| Quelle: | Logics in artificial intelligence : European workshop, JELIA '98, Dagstuhl, Germany, October 12 - 15, 1998 ; proceedings / Hrsg.: Jürgen Dix [u.a.]. - Berlin [u.a] : Springer, 1998. - (Lecture notes in computer science ; 1489 : Lecture notes in artificial intelligence). - ISBN 3-540-65141-1. - S. 233 - 247 |
| 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 |
