SELP - A System for Studying Strong Equivalence Between Logic Programs

Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given ground disjunctive logic programs are equivalent, and if not, return a counter-example. This allows us to investigate some interesting properties of strong equivalence, such as a complete characterization for a rule to be strongly equivalent to another one, and checking whether a given set of rules is strongly equivalent to another, perhaps simpler set of rules.

• Type: Conference
• Year: 2005
• Where: LPNMR
• Authors: Yin Chen, Fangzhen Lin, Lei Li
• Keywords: Answer Set Logic, Ground Disjunctive Logic, LPNMR 2005, Strong Equivalence