TY - GEN
T1 - Relativized hyperequivalence of logic programs for modular programming
AU - Truszczyński, Mirosław
AU - Woltran, Stefan
PY - 2008
Y1 - 2008
N2 - A recent framework of relativized hyperequivalence of programs offers a unifying generalization of strong and uniform equivalence. It seems to be especially well suited for applications in program optimization and modular programming due to its flexibility that allows us to restrict, independently of each other, the head and body alphabets in context programs. We study relativized hyperequivalence for the three semantics of logic programs given by stable, supported and supported minimal models. For each semantics, we identify four types of contexts, depending on whether the head and body alphabets are given directly or as the complement of a given set. Hyperequivalence relative to contexts where the head and body alphabets are specified directly has been studied before. In this paper, we establish the complexity of deciding relativized hyperequivalence wrt the three other types of context programs.
AB - A recent framework of relativized hyperequivalence of programs offers a unifying generalization of strong and uniform equivalence. It seems to be especially well suited for applications in program optimization and modular programming due to its flexibility that allows us to restrict, independently of each other, the head and body alphabets in context programs. We study relativized hyperequivalence for the three semantics of logic programs given by stable, supported and supported minimal models. For each semantics, we identify four types of contexts, depending on whether the head and body alphabets are given directly or as the complement of a given set. Hyperequivalence relative to contexts where the head and body alphabets are specified directly has been studied before. In this paper, we establish the complexity of deciding relativized hyperequivalence wrt the three other types of context programs.
UR - http://www.scopus.com/inward/record.url?scp=58549086191&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=58549086191&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-89982-2_48
DO - 10.1007/978-3-540-89982-2_48
M3 - Conference contribution
AN - SCOPUS:58549086191
SN - 3540899812
SN - 9783540899815
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 576
EP - 590
BT - Logic Programming - 24th International Conference, ICLP 2008, Proceedings
T2 - 24th International Conference on Logic Programming, ICLP 2008
Y2 - 9 December 2008 through 13 December 2008
ER -