A top-down procedure for disjucntive well-founded semantics
Verfasserangaben: | Kewen Wang |
---|---|
Publikationstyp: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Jahr der Erstveröffentlichung: | 2001 |
Erscheinungsjahr: | 2001 |
Datum der Freischaltung: | 24.03.2017 |
Quelle: | 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 |
Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
Name der Einrichtung zum Zeitpunkt der Publikation: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |