The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Li-Yan Yuan" ( http://dblp.L3S.de/Authors/Li-Yan_Yuan )

URL (Homepage):  http://web.cs.ualberta.ca/~yuan/  Author page on DBLP  Author page in RDF  Community of Li-Yan Yuan in ASPL-2

Publication years (Num. hits)
1985-1990 (15) 1991-1994 (19) 1995-1998 (15) 1999-2003 (16) 2004-2011 (16) 2012-2015 (6)
Publication types (Num. hits)
article(37) inproceedings(49) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 21 occurrences of 18 keywords

Results
Found 88 publication records. Showing 87 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Lengdong Wu, Li-Yan Yuan, Jia-Huai You Survey of Large-Scale Data Management Systems for Big Data Applications. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Li-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. Search on Bibsonomy SIGMOD Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lengdong Wu, Li-Yan Yuan, Jia-Huai You BASIC: An alternative to BASE for large-scale data management system. Search on Bibsonomy BigData The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Lengdong Wu, Jia-Huai You, Yan Chi Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications. Search on Bibsonomy CIKM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. Search on Bibsonomy RR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang The loop formula based semantics of description logic programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chonghai Wang, Li-Yan Yuan, Jia-Huai You On the semantics of top-k ranking for objects with uncertain data. Search on Bibsonomy Computers & Mathematics with Applications The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter Embedding Description Logic Programs into Default Logic Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Chonghai Wang, Li-Yan Yuan, Jia-Huai You, Osmar R. Zaïane, Jian Pei On Pruning for Top-K Ranking in Uncertain Databases. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen Loop Formulas for Description Logic Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang Weight constraint programs with evaluable functions. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen Loop formulas for description logic programs. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chonghai Wang, Li-Yan Yuan, Jia-Huai You Top-k ranking for uncertain data. Search on Bibsonomy FSKD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang Weight Constraint Programs with Functions. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Qiang Yang 0001, Jia-Huai You, Li-Yan Yuan Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko Lookahead in Smodels Compared to Local Consistencies in CSP. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan Enhancing global SLS-resolution with loop cutting and tabling mechanisms. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Xiumei Jia, Jia-Huai You, Li-Yan Yuan Adding Domain Dependent Knowledge into Answer Set Programs for Planning. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang 0001 A dynamic approach to characterizing termination of general logic programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF dynamic characterization, Prolog, Termination analysis
1Jia-Huai You, Li-Yan Yuan, Mingyi Zhang On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang 0001 A Dynamic Approach to Characterizing Termination of General Logic Programs Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You SLT-Resolution for the Well-Founded Semantics. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Xianchang Wang, Li-Yan Yuan Nonmonotonic Reasoning as Prioritized Argumentation. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou Linear tabulated resolution based on Prolog control strategy. Search on Bibsonomy TPLP The full citation details ... 2001 DBLP  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You Loop checks for logic programs with functions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You Implementation of a Linear Tabling Mechanism. Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You SLT-Resolution for the Well-Founded Semantics Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou Linear Tabulated Resolution Based on Prolog Control Strategy Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You Verifying Termination of General Logic Programs with Concrete Queries Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Jia-Huai You, Li-Yan Yuan, Randy Goebel An abductive approach to disjunctive logic programming. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You Implementation of a Linear Tabling Mechanism. Search on Bibsonomy PADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Xianchang Wang, Li-Yan Yuan Compiling Defeasible Inheritance Networks to General Logic Programs. Search on Bibsonomy Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou Linear Tabulated Resolutions for the Well-Founded Semantics. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You A Linear Tabling Mechanism. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Li-Yan Yuan, Jia-Huai You Coherence Approach to Logic Program Revision. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF knowledge representation, Logic programming, belief revision, nonmonotonic reasoning
1Jia-Huai You, Li-Yan Yuan, Randy Goebel Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Xianchang Wang, Jia-Huai You, Li-Yan Yuan On Confluence Property of Active Databases with Meta-Rules. Search on Bibsonomy Rules in Database Systems The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Jia-Huai You, Randy Goebel Disjunctive Logic Programming and Possible Model Semantics (Invited Paper). Search on Bibsonomy Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Jia-Huai You, Randy Goebel Disjunctive Logic Programming and Autoepistemic Logic. Search on Bibsonomy LPKR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Xianchang Wang, Li-Yan Yuan Disjunctive Logic Programming as Constrained Inferences. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Jia-Huai You, Li-Yan Yuan, Randy Goebel An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure. Search on Bibsonomy FSTTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Xianchang Wang, Jia-Huai You, Li-Yan Yuan A Default Interpretation of Defeasible Network. Search on Bibsonomy IJCAI (1) The full citation details ... 1997 DBLP  BibTeX  RDF
1Xianchang Wang, Jia-Huai You, Li-Yan Yuan Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints. Search on Bibsonomy NMELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Xianchang Wang, Jia-Huai You, Li-Yan Yuan Circumscription by Inference Rules with Priority. Search on Bibsonomy ECAI The full citation details ... 1996 DBLP  BibTeX  RDF
1Jia-Huai You, Li-Yan Yuan On the Equivalence of Semantics for Normal Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Jia-Huai You On the Extension of Logic Programming with Negation through Uniform Proofs. Search on Bibsonomy LPNMR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel An Introspective Framework for Paraconsistent Logic Programs. Search on Bibsonomy ILPS The full citation details ... 1995 DBLP  BibTeX  RDF
1Li-Yan Yuan, Jia-Huai You On Coherence Approach to Logic Program Revision. Search on Bibsonomy ICLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases. Search on Bibsonomy Deductive Databases / Abduction in Deductive Databases The full citation details ... 1995 DBLP  BibTeX  RDF
1Ke Wang, Li-Yan Yuan First-Order Logic Characterization of Program Properties. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF eductive databases, program properties, order reducible, FO-reducible programs, EDBs, database context, theorem-proving tools, stratified acyclic program, general chained program, bounded program, nonrecursive program, perfect models, extensional database, query processing, logic programming, logic programs, database theory, deductive databases, first-order logic, updates, integrity constraints, programming theory, fixed points, formal logic, inference rules, query answering, first-order theory
1Li-Yan Yuan Logic Program Semantics and Circumscription of Autoepistemic Theories. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Li-Yan Yuan A Three-Valued Semantics for Deductive Databases and Logic Programs. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan Autoepistemic Logic of First Order and Its Expressive Power. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Jia-Huai You A Simple but Effective Program Revision Method. Search on Bibsonomy ILPS The full citation details ... 1994 DBLP  BibTeX  RDF
1Jia-Huai You, Li-Yan Yuan Logic Programming with Assumption Denials. Search on Bibsonomy NMELP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Jia-Huai You Autoepistemic Circumscription and Logic Programming. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Jia-Huai You Knowledge Base Revision Using Circumscription. Search on Bibsonomy DOOD The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Li-Yan Yuan Contradiction Resolving for Extended Logic Programs and Default Theories. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
1Ke Wang, Li-Yan Yuan Preservation of Integrity Constraints in Definite DATALOG Programs. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Z. Meral Özsoyoglu Design of Desirable Relational Database Schemes. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Z. Meral Özsoyoglu Unifying functional and multivalued dependencies for relational database design. Search on Bibsonomy Inf. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Ke Wang, Li-Yan Yuan Enforce Constraints in Archival Databases. Search on Bibsonomy ICCI The full citation details ... 1992 DBLP  BibTeX  RDF
1Li-Yan Yuan (eds.) 18th International Conference on Very Large Data Bases, August 23-27, 1992, Vancouver, Canada, Proceedings. Search on Bibsonomy 1992 DBLP  BibTeX  RDF
1Ke Wang, Li-Yan Yuan First-Order Logic Reducible Programs. Search on Bibsonomy ICDE The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Ke Wang, Li-Yan Yuan Incremental Database Design Revisited. Search on Bibsonomy ICCI The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. Search on Bibsonomy ICCI The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan On Semantics, Syntactics and Fixpoints of General Programs. Search on Bibsonomy ICCI The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Yong Hu, Li-Yan Yuan Extended Well-Founded Model Semantics for General Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1991 DBLP  BibTeX  RDF
1Jia-Huai You, Li-Yan Yuan Three-Valued Formalization of Logic Programming: Is It Needed? Search on Bibsonomy PODS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Leigh Willard, Li-Yan Yuan The Revised Gärdenfors Postulates and Update Semantics. Search on Bibsonomy ICDT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Jia-Huai You Discriminant Circumscription. Search on Bibsonomy FSTTCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Logic Programming with Negation, Deductive Databases, Nonmonotonic Reasoning
1Li-Yan Yuan, Ding-An Chiang A Sound and Complete Query Evaluation Algorithm for Relational Databases with Disjunctive Information. Search on Bibsonomy PODS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Ding-An Chiang A Sound and Complete Query Evaluation Algorithm for Relational Databases with Null Values. Search on Bibsonomy SIGMOD Conference The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Cheng Hui Wang On Reducing Parallel Circumscription. Search on Bibsonomy AAAI The full citation details ... 1988 DBLP  BibTeX  RDF
1Z. Meral Özsoyoglu, Li-Yan Yuan A New Normal Form for Nested Relations. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Z. Meral Özsoyoglu, Li-Yan Yuan Reduced MVDs and Minimal Covers. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Z. Meral Özsoyoglu, Li-Yan Yuan A Design Method for Nested Relational Databases. Search on Bibsonomy ICDE The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Z. Meral Özsoyoglu Logical Design of Relational Database Systems. Search on Bibsonomy PODS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Z. Meral Özsoyoglu, Li-Yan Yuan On the Normalization in Nested Relational Databases. Search on Bibsonomy NF² The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan A design method for nested relations (abstract). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Z. Meral Özsoyoglu Unifying Functional and Multivalued Dependencies for Relational Database Design. Search on Bibsonomy PODS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Z. Meral Özsoyoglu, Li-Yan Yuan Notions of Dependency Preservation for Nested Relations. Search on Bibsonomy XP7.52 Workshop on Database Theory The full citation details ... 1986 DBLP  BibTeX  RDF
1Z. Meral Özsoyoglu, Li-Yan Yuan A Normal Form for Nested Relations. Search on Bibsonomy PODS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #87 of 87 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license