On Loop Formulas with Variables
暂无分享,去创建一个
[1] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[2] Joohyung Lee. Nondefinite vs. Definite Causal Theories , 2004, LPNMR.
[3] Fangzhen Lin,et al. First-Order Loop Formulas for Normal Logic Programs , 2006, KR.
[4] Vladimir Lifschitz,et al. Handbook of Knowledge Representation Edited Knowledge Representation and Classical Logic , 2022 .
[5] Joohyung Lee,et al. A Model-Theoretic Counterpart of Loop Formulas , 2005, IJCAI.
[6] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[7] Fangzhen Lin,et al. ASSAT: computing answer sets of a logic program by SAT solvers , 2002, Artif. Intell..
[8] Miroslaw Truszczynski,et al. Properties of Programs with Monotone and Convex Constraints , 2005, AAAI.
[9] Joohyung Lee,et al. A generalization of the Lin-Zhao theorem , 2006, Annals of Mathematics and Artificial Intelligence.
[10] Fangzhen Lin,et al. Loop formulas for circumscription , 2004, Artif. Intell..
[11] Joohyung Lee,et al. Loop Formulas for Disjunctive Logic Programs , 2003, ICLP.
[12] Joohyung Lee,et al. A Reductive Semantics for Counting and Choice in Answer Set Programming , 2008, AAAI.
[13] Yuliya Lierler,et al. Elementary Sets of Logic Programs , 2006, AAAI.
[14] Orkunt Sabuncu,et al. Computing Answer Sets Using Model Generation Theorem Provers , 2007 .
[15] John McCarthy,et al. Addendum: Circumscription and other Non-Monotonic Formalisms , 1980, Artif. Intell..
[16] Joohyung Lee,et al. A New Perspective on Stable Models , 2007, IJCAI.