A top-down procedure for disjucntive well-founded semantics
Author details: | Kewen Wang |
---|---|
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. 181 - 192 |
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 |