MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Discovering Classes of Strongly Equivalent Logic Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

ATOM

Discovering Classes of Strongly Equivalent Logic Programs
by Fangzhen Lin, Yin Chen — 2005 — In: Proc. of the Intl. Joint Conf. on Artificial Intelligence (IJCAI’05
…/07 Discovering Classes of Strongly Equivalent Logic Programs Fangzhen Lin flin@(email omitted); Department of Computer…
Cited by 15 (3 self) – Add To MetaCart

SELP - a system for studying strong equivalence between logic programs
by Yin Chen, Fangzhen Lin, Lei Li — 2005 — In Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning(LPNMR 2005
…. In the following, we discuss its use in discovering classes of strongly equivalent logic programs [7…
Cited by 6 (1 self) – Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB