Graph theoretical characterization and computation of answer sets
Author details: | Thomas Linke |
---|---|
Publication type: | Article |
Language: | English |
Year of first publication: | 2001 |
Publication year: | 2001 |
Release date: | 2017/03/24 |
Source: | Proceedings of the Fifth Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications, DGNMR'2001, Potsdam, 4. - 6. April 2001 / Gerhard Brewka ; Cees Witteveen ; Torsten Schaub. - Potsdam, 2001. - S. 126 - 131 |
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 |