• search hit 100 of 960
Back to Result List

An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem.

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Thomas Linke, Torsten SchaubORCiDGND
ISBN:3-540-65141-1
Document Type:Article
Language:English
Year of first Publication:1998
Year of Completion: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 publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik