Li-Yan Yuan

Publication Activity (10 Years)

Years Active: 1985-2015
Publications (10 Years): 2

Top Topics

Highly Scalable

Data Management

Top Venues

J. Comput. Sci. Technol.

Publications

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