- Construction of Belief Sets for Logic Programs and Default Theories
- J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 An Abductive Approach to Disjunctive Logic
- The Alternating Semantics for Default Theories and Logic Programs \Lambda
- Compiling Defeasible Inheritance Networks to General Logic Programs
- IEEE TRANSACTION ON KNOWLEDGE AND DATA ENGINEERING 1 Coherence Approach to Logic Program Revision
- On Confluence Property of Active Database with MetaRules
- On Semantics, Syntactics and Fixpoints of General Programs \Lambda
- A ThreeValued Semantics for Deductive Databases and Logic Programs+
- Autoepistemic Logic of First Order and Its Expressive Power
- Knowledge Base Revision Using Circumscription \Lambda
- Autoepistemic Circumscription and Logic Programming+ Li Yan Yuan and JiaHuai You
- A default interpretation of defeasible network Xianchang Wang, JiaHuai You, Li Yan Yuan
- Disjunctive Logic Programming and Possible Model Semantics
- In the Proc. of the 12th ICLP, pages 167181, 1995 On Coherence Approach to Logic
- Firstorder Logic Characterization of Program Properties \Lambda
- Incremental Database Design Revisited Ke Wang and Li Yan Yuan
- Disjunctive Logic Programming as Constrained JiaHuai You, Xianchang Wang, LiYan Yuan
- Extended WellFounded Model Semantics for General Logic Programs
- Logic programming without default negation revisited Xianchang Wang, JiaHuai You, Li Yan Yuan
- Preservation of Integrity Constraints in Definite Datalog Department of Information Systems and Computer Science
- An Abductive Semantics for Disjunctive Logic Programs and its Proof Procedure
- Design of Desirable Relational Database Schemes * LiYan Yuan Z. Meral Ozsoyoglu
- Linear Tabulated Resolution for the Well-Founded Semantics
- In NonMonotonic Extensions of Logic Programming, edited by J. Dix, L.M. Perira, and T.C. Przymusinski, Lecture Notes in AI, Vol. 927, pages 85100, 1995.
- Disjunctive Logic Programming and Autoepistemic Logic
- J. LOGIC PROGRAMMING 1995, 20(1) 79 On the Equivalence of Semantics for Normal
- This paper is in Proc. of the 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in AI, Vol. 928, pages 231244, 1995
- Logic Program Semantics and Circumscription of Autoepistemic Theories
