An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem.
Author details: | Thomas Linke, Torsten SchaubORCiDGND |
---|---|
ISBN: | 3-540-65141-1 |
Publication type: | Article |
Language: | English |
Year of first publication: | 1998 |
Publication year: | 1998 |
Release date: | 2017/03/24 |
Source: | 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 |
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
Institution name at the time of the publication: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |