Li-Yan Yuan

87 papers A* 10A 3B 10C 5Journal 37Unranked 22
YearRankTypeTitle / Venue / Authors
2015 — conf
A Demonstration of Rubato DB: A Highly Scalable NewSQL Database System for OLTP and Big Data Applications.
SIGMOD Conference
Li-Yan Yuan, Lengdong Wu, Jia-Huai You, Yan Chi
2015 J jnl
Survey of Large-Scale Data Management Systems for Big Data Applications.
J. Comput. Sci. Technol.
Lengdong Wu, Li-Yan Yuan, Jia-Huai You
2014 — conf
BASIC: An alternative to BASE for large-scale data management system.
IEEE BigData
Lengdong Wu, Li-Yan Yuan, Jia-Huai You
2014 A conf
Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications.
CIKM
Li-Yan Yuan, Lengdong Wu, Jia-Huai You, Yan Chi
2013 — conf
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs.
RR
Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen
2012 J jnl
The loop formula based semantics of description logic programs.
Theor. Comput. Sci.
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang
2011 J jnl
Embedding Description Logic Programs into Default Logic
CoRR
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter
2011 J jnl
On Pruning for Top-K Ranking in Uncertain Databases.
Proc. VLDB Endow.
Chonghai Wang, Li-Yan Yuan, Jia-Huai You, Osmar R. Zaïane, Jian Pei
2011 J jnl
On the semantics of top-
Comput. Math. Appl.
Chonghai Wang, Li-Yan Yuan, Jia-Huai You
2010 J jnl
Loop Formulas for Description Logic Programs
CoRR
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen
2010 J jnl
Loop formulas for description logic programs.
Theory Pract. Log. Program.
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen
2010 — conf
Top-k ranking for uncertain data.
FSKD
Chonghai Wang, Li-Yan Yuan, Jia-Huai You
2010 J jnl
Weight constraint programs with evaluable functions.
Ann. Math. Artif. Intell.
Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang
2009 J jnl
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms
CoRR
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
2009 J jnl
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms.
Theory Pract. Log. Program.
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
2009 B conf
Weight Constraint Programs with Functions.
LPNMR
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang
2007 B conf
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities.
LPNMR
Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen
2005 J jnl
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops
CoRR
Yi-Dong Shen, Qiang Yang, Jia-Huai You, Li-Yan Yuan
2005 J jnl
Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms
CoRR
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
2005 B conf
Lookahead in Smodels Compared to Local Consistencies in CSP.
LPNMR
Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko
2004 B conf
Adding Domain Dependent Knowledge into Answer Set Programs for Planning.
ICLP
Xiumei Jia, Jia-Huai You, Li-Yan Yuan
2004 J jnl
Enhancing global SLS-resolution with loop cutting and tabling mechanisms.
Theor. Comput. Sci.
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
2003 J jnl
A dynamic approach to characterizing termination of general logic programs.
ACM Trans. Comput. Log.
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang
2003 A* conf
On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs.
IJCAI
Jia-Huai You, Li-Yan Yuan, Mingyi Zhang
2002 J jnl
A Dynamic Approach to Characterizing Termination of General Logic Programs
CoRR
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang
2002 J jnl
SLT-Resolution for the Well-Founded Semantics.
J. Autom. Reason.
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
2001 J jnl
Implementation of a Linear Tabling Mechanism.
J. Funct. Log. Program.
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
2001 J jnl
Linear tabulated resolution based on Prolog control strategy.
Theory Pract. Log. Program.
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
2001 J jnl
Loop checks for logic programs with functions.
Theor. Comput. Sci.
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
2001 J jnl
Nonmonotonic Reasoning as Prioritized Argumentation.
IEEE Trans. Knowl. Data Eng.
Jia-Huai You, Xianchang Wang, Li-Yan Yuan
2000 J jnl
An abductive approach to disjunctive logic programming.
J. Log. Program.
Jia-Huai You, Li-Yan Yuan, Randy Goebel
2000 C conf
Implementation of a Linear Tabling Mechanism.
PADL
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
2000 J jnl
Linear Tabulated Resolution Based on Prolog Control Strategy
CoRR
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
2000 J jnl
SLT-Resolution for the Well-Founded Semantics
CoRR
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
2000 J jnl
Verifying Termination of General Logic Programs with Concrete Queries
CoRR
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
1999 B conf
A Linear Tabling Mechanism.
ICLP
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
1999 J jnl
Compiling Defeasible Inheritance Networks to General Logic Programs.
Artif. Intell.
Jia-Huai You, Xianchang Wang, Li-Yan Yuan
1999 B conf
Linear Tabulated Resolutions for the Well-Founded Semantics.
LPNMR
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
1998 J jnl
Coherence Approach to Logic Program Revision.
IEEE Trans. Knowl. Data Eng.
Li-Yan Yuan, Jia-Huai You
1998 — conf
Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure.
IJCSLP
Jia-Huai You, Li-Yan Yuan, Randy Goebel
1997 — conf
A Default Interpretation of Defeasible Network.
IJCAI (1)
Xianchang Wang, Jia-Huai You, Li-Yan Yuan
1997 — conf
An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure.
FSTTCS
Jia-Huai You, Li-Yan Yuan, Randy Goebel
1997 — conf
Disjunctive Logic Programming and Autoepistemic Logic.
LPKR
Li-Yan Yuan, Jia-Huai You, Randy Goebel
1997 — conf
Disjunctive Logic Programming and Possible Model Semantics (Invited Paper).
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Li-Yan Yuan, Jia-Huai You, Randy Goebel
1997 B conf
Disjunctive Logic Programming as Constrained Inferences.
ICLP
Jia-Huai You, Xianchang Wang, Li-Yan Yuan
1997 — conf
On Confluence Property of Active Databases with Meta-Rules.
Rules in Database Systems
Xianchang Wang, Jia-Huai You, Li-Yan Yuan
1996 A conf
Circumscription by Inference Rules with Priority.
ECAI
Xianchang Wang, Jia-Huai You, Li-Yan Yuan
1996 — conf
Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints.
NMELP
Xianchang Wang, Jia-Huai You, Li-Yan Yuan
1995 — conf
An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases.
Deductive Databases / Abduction in Deductive Databases
Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel
1995 — conf
An Introspective Framework for Paraconsistent Logic Programs.
ILPS
Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel
1995 B conf
On Coherence Approach to Logic Program Revision.
ICLP
Li-Yan Yuan, Jia-Huai You
1995 J jnl
On the Equivalence of Semantics for Normal Logic Programs.
J. Log. Program.
Jia-Huai You, Li-Yan Yuan
1995 B conf
On the Extension of Logic Programming with Negation through Uniform Proofs.
LPNMR
Li-Yan Yuan, Jia-Huai You
1994 — conf
A Simple but Effective Program Revision Method.
ILPS
Li-Yan Yuan, Jia-Huai You
1994 J jnl
A Three-Valued Semantics for Deductive Databases and Logic Programs.
J. Comput. Syst. Sci.
Jia-Huai You, Li-Yan Yuan
1994 J jnl
Autoepistemic Logic of First Order and Its Expressive Power.
J. Autom. Reason.
Li-Yan Yuan
1994 J jnl
First-Order Logic Characterization of Program Properties.
IEEE Trans. Knowl. Data Eng.
Ke Wang, Li-Yan Yuan
1994 J jnl
Logic Program Semantics and Circumscription of Autoepistemic Theories.
Inf. Process. Lett.
Li-Yan Yuan
1994 — conf
Logic Programming with Assumption Denials.
NMELP
Jia-Huai You, Li-Yan Yuan
1993 J jnl
Autoepistemic Circumscription and Logic Programming.
J. Autom. Reason.
Li-Yan Yuan, Jia-Huai You
1993 — conf
Contradiction Resolving for Extended Logic Programs and Default Theories.
ILPS
Jia-Huai You, Li-Yan Yuan
1993 — conf
Knowledge Base Revision Using Circumscription.
DOOD
Li-Yan Yuan, Jia-Huai You
1992 A* ed.
18th International Conference on Very Large Data Bases, August 23-27, 1992, Vancouver, Canada, Proceedings.
Li-Yan Yuan
1992 J jnl
Design of Desirable Relational Database Schemes.
J. Comput. Syst. Sci.
Li-Yan Yuan, Z. Meral Özsoyoglu
1992 C conf
Enforce Constraints in Archival Databases.
ICCI
Ke Wang, Li-Yan Yuan
1992 J jnl
Preservation of Integrity Constraints in Definite DATALOG Programs.
Inf. Process. Lett.
Ke Wang, Li-Yan Yuan
1992 J jnl
Unifying functional and multivalued dependencies for relational database design.
Inf. Sci.
Li-Yan Yuan, Z. Meral Özsoyoglu
1991 C conf
A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming.
ICCI
Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang
1991 B conf
Extended Well-Founded Model Semantics for General Logic Programs.
ICLP
Yong Hu, Li-Yan Yuan
1991 A* conf
First-Order Logic Reducible Programs.
ICDE
Ke Wang, Li-Yan Yuan
1991 C conf
Incremental Database Design Revisited.
ICCI
Ke Wang, Li-Yan Yuan
1991 C conf
On Semantics, Syntactics and Fixpoints of General Programs.
ICCI
Li-Yan Yuan
1990 — conf
Discriminant Circumscription.
FSTTCS
Li-Yan Yuan, Jia-Huai You
1990 A conf
The Revised Gärdenfors Postulates and Update Semantics.
ICDT
Leigh Willard, Li-Yan Yuan
1990 A* conf
Three-Valued Formalization of Logic Programming: Is It Needed?
PODS
Jia-Huai You, Li-Yan Yuan
1989 A* conf
A Sound and Complete Query Evaluation Algorithm for Relational Databases with Disjunctive Information.
PODS
Li-Yan Yuan, Ding-An Chiang
1988 — conf
A Sound and Complete Query Evaluation Algorithm for Relational Databases with Null Values.
SIGMOD Conference
Li-Yan Yuan, Ding-An Chiang
1988 A* conf
On Reducing Parallel Circumscription.
AAAI
Li-Yan Yuan, Cheng Hui Wang
1987 A* conf
A Design Method for Nested Relational Databases.
ICDE
Z. Meral Özsoyoglu, Li-Yan Yuan
1987 J jnl
A New Normal Form for Nested Relations.
ACM Trans. Database Syst.
Z. Meral Özsoyoglu, Li-Yan Yuan
1987 A* conf
Logical Design of Relational Database Systems.
PODS
Li-Yan Yuan, Z. Meral Özsoyoglu
1987 — conf
On the Normalization in Nested Relational Databases.
NF²
Z. Meral Özsoyoglu, Li-Yan Yuan
1987 J jnl
Reduced MVDs and Minimal Covers.
ACM Trans. Database Syst.
Z. Meral Özsoyoglu, Li-Yan Yuan
1986 — conf
A design method for nested relations (abstract).
ACM Conference on Computer Science
Li-Yan Yuan
1986 — conf
Notions of Dependency Preservation for Nested Relations.
XP7.52 Workshop on Database Theory
Z. Meral Özsoyoglu, Li-Yan Yuan
1986 A* conf
Unifying Functional and Multivalued Dependencies for Relational Database Design.
PODS
Li-Yan Yuan, Z. Meral Özsoyoglu
1985 A* conf
A Normal Form for Nested Relations.
PODS
Z. Meral Özsoyoglu, Li-Yan Yuan