Highly Influenced

# Discovering Classes of Strongly Equivalent Logic Programs

@inproceedings{Lin1995DiscoveringCO, title={Discovering Classes of Strongly Equivalent Logic Programs}, author={Fangzhen Lin and Yin Chen}, booktitle={IJCAI}, year={1995} }

- Published 1995 in IJCAI
DOI:10.1145/315891.316022

This paper presents a framework for discovering and verifying logic program properties (first order formulas). The aim of this work is the definition of new strategies for transforming logic programs from Horn clauses specifications 171. The property discovery is one of major hurdles in automating the transformation of logic programs. This paper addresses aspects of these related problem. Especially we characterize the manipulated formulas by some syntactical conditions (the notion of eligible… CONTINUE READING

Highly Cited

This paper has 42 citations. REVIEW CITATIONS