A polynomial translation of logic programs with nested expressions into disjunctive logic programs
Verfasserangaben: | David Pearce, Vladimir Sarsakov, Torsten SchaubORCiDGND, Hans Tompits, Stefan WoltranORCiDGND |
---|---|
ISBN: | 3-540-43930-7 |
Publikationstyp: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Jahr der Erstveröffentlichung: | 2002 |
Erscheinungsjahr: | 2002 |
Datum der Freischaltung: | 24.03.2017 |
Quelle: | Logic programming : 18th international conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 ; proceedings / Hrsg.: Peter J. Stuckey. - Berlin [u.a.] : Springer, 2002. - (Lecture notes in computer science ; 2401). - ISBN 3-540-43930-7. - S. 405 - 420 |
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 |