Logic Programming
暂无分享,去创建一个
[1] Gerhard Gentzen,et al. Investigations into Logical Deduction , 1970 .
[2] Dale Miller,et al. Forum: A Multiple-Conclusion Specification Logic , 1996, Theor. Comput. Sci..
[3] David A. Plaisted,et al. A Structure-Preserving Clause Form Translation , 1986, J. Symb. Comput..
[4] David Pearce,et al. Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..
[5] Dale Miller,et al. Logic programming in a fragment of intuitionistic linear logic , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
[6] Chiaki Sakama,et al. Negation as Failure in the Head , 1998, J. Log. Program..
[7] David Pearce,et al. A Tableau Calculus for Equilibrium Entailment , 2000, TABLEAUX.
[8] Stefan Woltran,et al. Encodings for Equilibrium Logic and Logic Programs with Nested Expressions , 2001, EPIA.
[9] Lutz Straßburger,et al. A Non-commutative Extension of MELL , 2002, LPAR.
[10] Lutz Straßburger,et al. Non-commutativity and MELL in the Calculus of Structures , 2001, CSL.
[11] Gopalan Nadathur,et al. Uniform Proofs as a Foundation for Logic Programming , 1991, Ann. Pure Appl. Log..
[12] Ilkka Niemelä,et al. Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP , 1997, LPNMR.
[13] Tomi Janhunen. On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription , 1998, JELIA.
[14] David Pearce,et al. A New Logical Characterisation of Stable Models and Answer Sets , 1996, NMELP.
[15] Sloman,et al. Automation of Reasoning , 1983, Symbolic Computation.
[16] Alessio Guglielmi,et al. Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator , 1994, ICLP.
[17] Tomi Janhunen. On the Effect of Default Negation on the Expressiveness of Disjunctive Rules , 2001, LPNMR.
[18] David Pearce,et al. From Here to There: Stable Negation in Logic Programming , 1999 .
[19] Lutz Straßburger,et al. A Local System for Linear Logic , 2002, LPAR.
[20] Grigori Mints,et al. Resolution Strategies for the Intuitionistic Logic , 1993, NATO ASI CP.
[21] David Pearce,et al. Computing Equilibrium Models Using Signed Formulas , 2000, Computational Logic.
[22] Danny De Schreye,et al. Answer Set Planning , 1999 .
[23] Jussi Rintanen,et al. Improvements to the Evaluation of Quantified Boolean Formulae , 1999, IJCAI.
[24] Alessio Guglielmi. Sequentiality by Linear Implication and Universal Quantification , 1995, STRICT.
[25] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[26] Fangzhen Lin. Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic , 2002, KR.
[27] Vladimir Lifschitz,et al. Nested expressions in logic programs , 1999, Annals of Mathematics and Artificial Intelligence.
[28] Hans Kleine Büning,et al. Resolution for Quantified Boolean Formulas , 1995, Inf. Comput..
[29] Dale Miller. The pi-Calculus as a Theory in Linear Logic: Preliminary Results , 1992, ELP.