<div class="csl-bib-body">
<div class="csl-entry">Heindl, A. (2007). <i>On replacements in answer-set programming based on partial evaluation</i> [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/181940</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/181940
-
dc.description
Zsfassung in dt. Sprache
-
dc.description.abstract
Diese Masterarbeitet beschäftigt sich mit Ersetzungen bei nicht-monotonen logischen Programmen im Context von Antwortmengenprogrammierung. Sie betrachtet im Speziellen die Transformationsregeln GPPE und WGPPE von Brass und Dix. Des weiteren werden Generalisierungen zu diesen Regeln eingeführt, diskutiert und auf die Erhaltung spezieller Equivalenzen überprüft. Auch die Arbeiten von Lin and Chen werden untersucht und Ergebnisse von ihnen vereinfacht und neu formuliert.
de
dc.description.abstract
In this thesis, we have discussed rule replacements in non-monotonic logic programs within the answer-set programming paradigm. Of particular interest were the replacement schemas GPPE and WGPPE, standing for "generalized principle of partial evaluation" and "weak generalized principle of partial evaluation", respectively, originally studied by Brass and Dix. We have introduced generalizations and variants of these rules in the setting of ground and non-ground logic programs and examined relations to well-known equivalence notions.<br />Furthermore, we simplified a Theorem of Lin and Chen by rephrasing it with other transformation rules.
en
dc.language
English
-
dc.language.iso
en
-
dc.subject
Antwortmengenprogrammierung/GPPE/WGPPE/Lin/Logik
de
dc.subject
Answer-set programming/GPPE/WGPPE/Lin/logic
en
dc.title
On replacements in answer-set programming based on partial evaluation