DMCA
Polynomial Translations of Nested Logic Programs into Disjunctive Logic Programs (2002)
by
Abtg Wissensbasierte Systeme
,
Stefan Woltran
,
David Pearce
,
David Pearce
,
Vladimir Sarsakov
,
Vladimir Sarsakov
,
Torsten Schaub
,
Torsten Schaub
,
Hans Tompits
,
Hans Tompits
BibTeX
@MISC{Systeme02polynomialtranslations,
author = {Abtg Wissensbasierte Systeme and Stefan Woltran and David Pearce and David Pearce and Vladimir Sarsakov and Vladimir Sarsakov and Torsten Schaub and Torsten Schaub and Hans Tompits and Hans Tompits},
title = {Polynomial Translations of Nested Logic Programs into Disjunctive Logic Programs},
year = {2002}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Nested logic programs have recently been introduced in order to allow for arbitrarily nested formulas in the heads and the bodies of logic program rules under the answer sets semantics.
