Approaching the core of unfounded sets
Author details: | Christian Anger, Martin GebserORCiD, Torsten SchaubORCiDGND |
---|---|
URL: | http://www.cs.uni-potsdam.de/wv/pdfformat/angesc06a.pdf |
Publication type: | Article |
Language: | English |
Year of first publication: | 2006 |
Publication year: | 2006 |
Release date: | 2017/03/24 |
Source: | Proceedings of the 11th Workshop on Nonmonotonic Reasoning, NMR 2006, 30 May to 1 Juni 2006, Lakes District, England / Hrsg.: Jürgen Dix ; Anthony Hunter. - Clausthal : Univ., 2006. - (Ifl Technical Report Series ; ifl-06- 04). - S. 58 - 66 |
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 |