Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
暂无分享,去创建一个
Joost Vennekens | Johan Wittocx | Maarten Mariën | Marc Denecker | M. Denecker | M. Mariën | Johan Wittocx | Joost Vennekens
[1] Melvin Fitting,et al. A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..
[2] Melvin Fitting,et al. Fixedpoint semantics for logic programming , 2002 .
[3] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[4] Michael Gelfond,et al. Towards a Theory of Elaboration Tolerance: Logic Programming Approach , 1996, Int. J. Softw. Eng. Knowl. Eng..
[5] J. W. LLOYD,et al. Making Prolog more Expressive , 1984, J. Log. Program..
[6] Michael Gelfond,et al. Diagnostic reasoning with A-Prolog , 2003, Theory Pract. Log. Program..
[7] Bart Demoen,et al. Improving Prolog programs: Refactoring for Prolog , 2004, Theory and Practice of Logic Programming.
[8] Jack Minker,et al. Logic-Based Artificial Intelligence , 2000 .
[9] Miroslaw Truszczynski,et al. Strong and uniform equivalence of nonmonotonic theories – an algebraic approach , 2006, Annals of Mathematics and Artificial Intelligence.
[10] Jürgen Dix,et al. Partial Evaluation and Relevance for Approximations of Stable Semantics , 1994, ISMIS.
[11] Maurice Bruynooghe,et al. Predicate Introduction Under Stable and Well-Founded Semantics , 2006, ICLP.
[12] Allen Van Gelder,et al. The Alternating Fixpoint of Logic Programs with Negation , 1993, J. Comput. Syst. Sci..
[13] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .
[14] Victor W. Marek,et al. Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning , 2000 .
[15] Victor W. Marek,et al. Uniform semantic treatment of default and autoepistemic logics , 2000, Artif. Intell..
[16] Z. Pawlak. Rough Sets: Theoretical Aspects of Reasoning about Data , 1991 .
[17] Jürgen Dix,et al. A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties , 1995, Fundam. Informaticae.
[18] Eugenia Ternovska,et al. A Logic of Non-monotone Inductive Definitions and Its Modularity Properties , 2004, LPNMR.
[19] Janusz Zalewski,et al. Rough sets: Theoretical aspects of reasoning about data , 1996 .
[20] Joost Vennekens,et al. Splitting an operator: Algebraic modularity results for logics with fixpoint semantics , 2006, TOCL.
[21] Joost Vennekens,et al. Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic , 2007, Fundam. Informaticae.
[22] Jürgen Dix,et al. A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties , 1995, Fundam. Informaticae.