A Normal Form for Nested Relations. - Z. Meral Özsoyoglu; Li-Yan Yuan (PODS, 1985)

A design method for nested relations (abstract). - Li-Yan Yuan (ACM Conference on Computer Science, 1986)

Notions of Dependency Preservation for Nested Relations. - Z. Meral Özsoyoglu; Li-Yan Yuan (XP7.52 Workshop on Database Theory, 1986)

A Design Method for Nested Relational Databases. - Z. Meral Özsoyoglu; Li-Yan Yuan (ICDE, 1987)

On the Normalization in Nested Relational Databases. - Z. Meral Özsoyoglu; Li-Yan Yuan (NF², 1987)

Logical Design of Relational Database Systems. - Li-Yan Yuan; Z. Meral Özsoyoglu (PODS, 1987)

A New Normal Form for Nested Relations. - Z. Meral Özsoyoglu; Li-Yan Yuan (ACM Trans. Database Syst., 1987)

Reduced MVDs and Minimal Covers. - Z. Meral Özsoyoglu; Li-Yan Yuan (ACM Trans. Database Syst., 1987)

On Reducing Parallel Circumscription. - Li-Yan Yuan; Cheng Hui Wang (AAAI, 1988)

A Sound and Complete Query Evaluation Algorithm for Relational Databases with Null Values. - Li-Yan Yuan; Ding-An Chiang (SIGMOD Conference, 1988)

A Sound and Complete Query Evaluation Algorithm for Relational Databases with Disjunctive Information. - Li-Yan Yuan; Ding-An Chiang (PODS, 1989)

Discriminant Circumscription. - Li-Yan Yuan; Jia-Huai You (FSTTCS, 1990)

The Revised Gärdenfors Postulates and Update Semantics. - Leigh Willard; Li-Yan Yuan (ICDT, 1990)

Three-Valued Formalization of Logic Programming: Is It Needed? - Jia-Huai You; Li-Yan Yuan (PODS, 1990)

Incremental Database Design Revisited. - Ke Wang; Li-Yan Yuan (ICCI, 1991)

On Semantics, Syntactics and Fixpoints of General Programs. - Li-Yan Yuan (ICCI, 1991)

A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. - Li-Yan Yuan; Jia-Huai You; Cheng Hui Wang (ICCI, 1991)

First-Order Logic Reducible Programs. - Ke Wang; Li-Yan Yuan (ICDE, 1991)

Extended Well-Founded Model Semantics for General Logic Programs. - Yong Hu; Li-Yan Yuan (ICLP, 1991)

Enforce Constraints in Archival Databases. - Ke Wang; Li-Yan Yuan (ICCI, 1992)

Preservation of Integrity Constraints in Definite DATALOG Programs. - Ke Wang; Li-Yan Yuan (Inf. Process. Lett., 1992)

Unifying functional and multivalued dependencies for relational database design. - Li-Yan Yuan; Z. Meral Özsoyoglu (Inf. Sci., 1992)

Design of Desirable Relational Database Schemes. - Li-Yan Yuan; Z. Meral Özsoyoglu (J. Comput. Syst. Sci., 1992)

Knowledge Base Revision Using Circumscription. - Li-Yan Yuan; Jia-Huai You (DOOD, 1993)

Contradiction Resolving for Extended Logic Programs and Default Theories. - Jia-Huai You; Li-Yan Yuan (ILPS, 1993)

Autoepistemic Circumscription and Logic Programming. - Li-Yan Yuan; Jia-Huai You (J. Autom. Reason., 1993)

Logic Programming with Assumption Denials. - Jia-Huai You; Li-Yan Yuan (NMELP, 1994)

A Simple but Effective Program Revision Method. - Li-Yan Yuan; Jia-Huai You (ILPS, 1994)

Logic Program Semantics and Circumscription of Autoepistemic Theories. - Li-Yan Yuan (Inf. Process. Lett., 1994)

Autoepistemic Logic of First Order and Its Expressive Power. - Li-Yan Yuan (J. Autom. Reason., 1994)

A Three-Valued Semantics for Deductive Databases and Logic Programs. - Jia-Huai You; Li-Yan Yuan (J. Comput. Syst. Sci., 1994)

First-Order Logic Characterization of Program Properties. - Ke Wang; Li-Yan Yuan (IEEE Trans. Knowl. Data Eng., 1994)

An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases. - Jia-Huai You; Suryanil Ghosh; Li-Yan Yuan; Randy Goebel (Deductive Databases / Abduction in Deductive Databases, 1995)

On the Extension of Logic Programming with Negation through Uniform Proofs. - Li-Yan Yuan; Jia-Huai You (LPNMR, 1995)

An Introspective Framework for Paraconsistent Logic Programs. - Jia-Huai You; Suryanil Ghosh; Li-Yan Yuan; Randy Goebel (ILPS, 1995)

On the Equivalence of Semantics for Normal Logic Programs. - Jia-Huai You; Li-Yan Yuan (J. Log. Program., 1995)

Circumscription by Inference Rules with Priority. - Xianchang Wang; Jia-Huai You; Li-Yan Yuan (ECAI, 1996)

Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints. - Xianchang Wang; Jia-Huai You; Li-Yan Yuan (NMELP, 1996)

Disjunctive Logic Programming and Possible Model Semantics (Invited Paper). - Li-Yan Yuan; Jia-Huai You; Randy Goebel (Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 1997)

An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure. - Jia-Huai You; Li-Yan Yuan; Randy Goebel (FSTTCS, 1997)

Disjunctive Logic Programming as Constrained Inferences. - Jia-Huai You; Xianchang Wang; Li-Yan Yuan (ICLP, 1997)

A Default Interpretation of Defeasible Network. - Xianchang Wang; Jia-Huai You; Li-Yan Yuan (IJCAI (1), 1997)

Disjunctive Logic Programming and Autoepistemic Logic. - Li-Yan Yuan; Jia-Huai You; Randy Goebel (LPKR, 1997)

On Confluence Property of Active Databases with Meta-Rules. - Xianchang Wang; Jia-Huai You; Li-Yan Yuan (Rules in Database Systems, 1997)

Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. - Jia-Huai You; Li-Yan Yuan; Randy Goebel (IJCSLP, 1998)

Coherence Approach to Logic Program Revision. - Li-Yan Yuan; Jia-Huai You (IEEE Trans. Knowl. Data Eng., 1998)

A Linear Tabling Mechanism. - Neng-Fa Zhou; Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You (ICLP, 1999)

Linear Tabulated Resolutions for the Well-Founded Semantics. - Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You; Neng-Fa Zhou (LPNMR, 1999)

Compiling Defeasible Inheritance Networks to General Logic Programs. - Jia-Huai You; Xianchang Wang; Li-Yan Yuan (Artif. Intell., 1999)

Verifying Termination of General Logic Programs with Concrete Queries - Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You (CoRR, 2000)

An abductive approach to disjunctive logic programming. - Jia-Huai You; Li-Yan Yuan; Randy Goebel (J. Log. Program., 2000)

Implementation of a Linear Tabling Mechanism. - Neng-Fa Zhou; Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You (J. Funct. Log. Program., 2001)

Loop checks for logic programs with functions. - Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You (Theor. Comput. Sci., 2001)

Nonmonotonic Reasoning as Prioritized Argumentation. - Jia-Huai You; Xianchang Wang; Li-Yan Yuan (IEEE Trans. Knowl. Data Eng., 2001)

Linear tabulated resolution based on Prolog control strategy. - Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You; Neng-Fa Zhou (Theory Pract. Log. Program., 2001)

SLT-Resolution for the Well-Founded Semantics. - Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You (J. Autom. Reason., 2002)

On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. - Jia-Huai You; Li-Yan Yuan; Mingyi Zhang 002 (IJCAI, 2003)

A dynamic approach to characterizing termination of general logic programs. - Yi-Dong Shen; Jia-Huai You; Li-Yan Yuan; Samuel S. P. Shen; Qiang Yang 001 (ACM Trans. Comput. Log., 2003)

Adding Domain Dependent Knowledge into Answer Set Programs for Planning. - Xiumei Jia; Jia-Huai You; Li-Yan Yuan (ICLP, 2004)

Enhancing global SLS-resolution with loop cutting and tabling mechanisms. - Yi-Dong Shen; Jia-Huai You; Li-Yan Yuan (Theor. Comput. Sci., 2004)

Lookahead in Smodels Compared to Local Consistencies in CSP. - Jia-Huai You; Guohua Liu; Li-Yan Yuan; Curtis Onuczko (LPNMR, 2005)

Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops - Yi-Dong Shen; Qiang Yang 001; Jia-Huai You; Li-Yan Yuan (CoRR, 2005)

Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. - Jia-Huai You; Li-Yan Yuan; Guohua Liu; Yi-Dong Shen (LPNMR, 2007)

Weight Constraint Programs with Functions. - Yisong Wang; Jia-Huai You; Li-Yan Yuan; Mingyi Zhang 002 (LPNMR, 2009)

Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. - Yi-Dong Shen; Jia-Huai You; Li-Yan Yuan (Theory Pract. Log. Program., 2009)

Top-k ranking for uncertain data. - Chonghai Wang; Li-Yan Yuan; Jia-Huai You (FSKD, 2010)

Weight constraint programs with evaluable functions. - Yisong Wang; Jia-Huai You; Fangzhen Lin; Li-Yan Yuan; Mingyi Zhang 002 (Ann. Math. Artif. Intell., 2010)

Loop formulas for description logic programs. - Yisong Wang; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen (Theory Pract. Log. Program., 2010)

On the semantics of top-k ranking for objects with uncertain data. - Chonghai Wang; Li-Yan Yuan; Jia-Huai You (Comput. Math. Appl., 2011)

Embedding Description Logic Programs into Default Logic - Yisong Wang; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen; Thomas Eiter (CoRR, 2011)

On Pruning for Top-K Ranking in Uncertain Databases. - Chonghai Wang; Li-Yan Yuan; Jia-Huai You; Osmar R. Zaïane; Jian Pei 001 (Proc. VLDB Endow., 2011)

The loop formula based semantics of description logic programs. - Yisong Wang; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen; Mingyi Zhang 002 (Theor. Comput. Sci., 2012)

Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. - Yisong Wang; Thomas Eiter; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen (RR, 2013)

BASIC: An alternative to BASE for large-scale data management system. - Lengdong Wu; Li-Yan Yuan; Jia-Huai You (IEEE BigData, 2014)

Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications. - Li-Yan Yuan; Lengdong Wu; Jia-Huai You; Yan Chi (CIKM, 2014)

A Demonstration of Rubato DB: A Highly Scalable NewSQL Database System for OLTP and Big Data Applications. - Li-Yan Yuan; Lengdong Wu; Jia-Huai You; Yan Chi (SIGMOD Conference, 2015)

Survey of Large-Scale Data Management Systems for Big Data Applications. - Lengdong Wu; Li-Yan Yuan; Jia-Huai You (J. Comput. Sci. Technol., 2015)