A polynomial translation of logic programs with nested expressions into disjunctive logic programs : preliminary report
Verfasserangaben: | David Pearce, Vladimir Sarsakov, Torsten SchaubORCiDGND, Hans Tompits, Stefan WoltranORCiDGND |
---|---|
Publikationstyp: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Jahr der Erstveröffentlichung: | 2002 |
Erscheinungsjahr: | 2002 |
Datum der Freischaltung: | 24.03.2017 |
Quelle: | Proceedings of the Ninth International Workshop on Non-Monotonic Reasoning, April 19 - 21, 2002, Toulouse, France (NMR2002) / ed. Salem Benferhat ; Enrico Giunchiglia. - Toulouse, 2002. - S. 57 - 66 |
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 |