Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection
暂无分享,去创建一个
[1] David Pearce,et al. Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..
[2] Fangzhen Lin,et al. SELP - A System for Studying Strong Equivalence between Logic Programs , 2005, Answer Set Programming.
[3] Stefan Woltran,et al. Representing Paraconsistent Reasoning via Quantified Propositional Logic , 2005, Inconsistency Tolerance.
[4] Stefan Woltran,et al. Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case , 2005, AAAI.
[5] Stefan Woltran,et al. Characterizations for Relativized Notions of Equivalence in Answer Set Programming , 2004, JELIA.
[6] Hudson Turner,et al. Strong equivalence made easy: nested expressions and weight constraints , 2003, Theory and Practice of Logic Programming.
[7] M. Seidl,et al. cc{\rm T}: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming , 2006, 2006 15th International Conference on Computing.
[8] Georg Gottlob,et al. On the computational cost of disjunctive logic programming: Propositional case , 1995, Annals of Mathematics and Artificial Intelligence.
[9] Stefan Woltran,et al. Semantical characterizations and complexity of equivalences in answer set programming , 2005, TOCL.
[10] Tomi Janhunen,et al. Automated Verification of Weak Equivalence within the SMODELS System , 2007, Theory Pract. Log. Program..
[11] Stefan Woltran,et al. On Solution Correspondences in Answer-Set Programming , 2005, IJCAI.
[12] Thomas Eiter,et al. Uniform Equivalence of Logic Programs under the Stable Model Semantics , 2003, ICLP.
[13] Michael Gelfond,et al. Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.
[14] Stefan Woltran,et al. Simplifying Logic Programs Under Uniform and Strong Equivalence , 2004, LPNMR.
[15] Stefan Woltran,et al. Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming , 2005, Answer Set Programming.
[16] Tomi Janhunen,et al. Modular Equivalence for Normal Logic Programs , 2006, ECAI.
[17] David Pearce,et al. Simplifying Logic Programs Under Answer Set Semantics , 2004, ICLP.
[18] Yehoshua Sagiv. Optimizing Datalog Programs , 1988, Foundations of Deductive Databases and Logic Programming..
[19] Chiaki Sakama,et al. Equivalence of Logic Programs Under Updates , 2004, JELIA.