default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLi-Yan Yuan
Person information
- affiliation: University of Alberta, Edmonton, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
[j28]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): 163-183 (2015)- [c49]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: 907-912 - 2014
- [c48]Lengdong Wu, Li-Yan Yuan, Jia-Huai You:
BASIC: An alternative to BASE for large-scale data management system. IEEE BigData 2014: 5-14 - [c47]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: 1-10 - 2013
- [c46]Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen:
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. RR 2013: 168-182 - 2012
- [j27]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: 60-85 (2012) - 2011
- [j26]Chonghai Wang, Li-Yan Yuan, Jia-Huai You:
On the semantics of top-k ranking for objects with uncertain data. Comput. Math. Appl. 62(7): 2812-2823 (2011) - [j25]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): 598-609 (2011) - [i9]Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter:
Embedding Description Logic Programs into Default Logic. CoRR abs/1111.1486 (2011) - 2010
- [j24]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): 341-380 (2010) - [j23]Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen:
Loop formulas for description logic programs. Theory Pract. Log. Program. 10(4-6): 531-545 (2010) - [c45]Chonghai Wang, Li-Yan Yuan, Jia-Huai You:
Top-k ranking for uncertain data. FSKD 2010: 363-368 - [i8]Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen:
Loop Formulas for Description Logic Programs. CoRR abs/1007.4040 (2010)
2000 – 2009
- 2009
- [j22]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): 529-564 (2009) - [c44]Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang:
Weight Constraint Programs with Functions. LPNMR 2009: 329-341 - [i7]Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan:
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms. CoRR abs/0904.4727 (2009) - 2007
- [c43]Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen:
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. LPNMR 2007: 228-240 - 2005
- [c42]Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko:
Lookahead in Smodels Compared to Local Consistencies in CSP. LPNMR 2005: 266-278 - [i6]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 abs/cs/0506095 (2005) - [i5]Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan:
Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms. CoRR abs/cs/0507035 (2005) - 2004
- [j21]Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan:
Enhancing global SLS-resolution with loop cutting and tabling mechanisms. Theor. Comput. Sci. 328(3): 271-287 (2004) - [c41]Xiumei Jia, Jia-Huai You, Li-Yan Yuan:
Adding Domain Dependent Knowledge into Answer Set Programs for Planning. ICLP 2004: 400-415 - 2003
- [j20]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): 417-430 (2003) - [c40]Jia-Huai You, Li-Yan Yuan, Mingyi Zhang:
On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. IJCAI 2003: 859-866 - 2002
- [j19]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
SLT-Resolution for the Well-Founded Semantics. J. Autom. Reason. 28(1): 53-97 (2002) - [i4]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 cs.LO/0204031 (2002) - 2001
- [j18]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) - [j17]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Loop checks for logic programs with functions. Theor. Comput. Sci. 266(1-2): 441-461 (2001) - [j16]Jia-Huai You, Xianchang Wang, Li-Yan Yuan:
Nonmonotonic Reasoning as Prioritized Argumentation. IEEE Trans. Knowl. Data Eng. 13(6): 968-979 (2001) - [j15]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): 71-103 (2001) - 2000
- [j14]Jia-Huai You, Li-Yan Yuan, Randy Goebel:
An abductive approach to disjunctive logic programming. J. Log. Program. 44(1-3): 101-127 (2000) - [c39]Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Implementation of a Linear Tabling Mechanism. PADL 2000: 109-123 - [i3]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
SLT-Resolution for the Well-Founded Semantics. CoRR cs.AI/0002016 (2000) - [i2]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
Linear Tabulated Resolution Based on Prolog Control Strategy. CoRR cs.AI/0003046 (2000) - [i1]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Verifying Termination of General Logic Programs with Concrete Queries. CoRR cs.AI/0006031 (2000)
1990 – 1999
- 1999
- [j13]Jia-Huai You, Xianchang Wang, Li-Yan Yuan:
Compiling Defeasible Inheritance Networks to General Logic Programs. Artif. Intell. 113(1-2): 247-268 (1999) - [c38]Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
A Linear Tabling Mechanism. ICLP 1999: 618 - [c37]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
Linear Tabulated Resolutions for the Well-Founded Semantics. LPNMR 1999: 192-205 - 1998
- [j12]Li-Yan Yuan, Jia-Huai You:
Coherence Approach to Logic Program Revision. IEEE Trans. Knowl. Data Eng. 10(1): 108-119 (1998) - [c36]Jia-Huai You, Li-Yan Yuan, Randy Goebel:
Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. IJCSLP 1998: 175-189 - 1997
- [c35]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: 60-78 - [c34]Jia-Huai You, Li-Yan Yuan, Randy Goebel:
An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure. FSTTCS 1997: 138-152 - [c33]Jia-Huai You, Xianchang Wang, Li-Yan Yuan:
Disjunctive Logic Programming as Constrained Inferences. ICLP 1997: 361-375 - [c32]Xianchang Wang, Jia-Huai You, Li-Yan Yuan:
A Default Interpretation of Defeasible Network. IJCAI (1) 1997: 156-161 - [c31]Li-Yan Yuan, Jia-Huai You, Randy Goebel:
Disjunctive Logic Programming and Autoepistemic Logic. LPKR 1997: 85-101 - [c30]Xianchang Wang, Jia-Huai You, Li-Yan Yuan:
On Confluence Property of Active Databases with Meta-Rules. Rules in Database Systems 1997: 118-132 - 1996
- [c29]Xianchang Wang, Jia-Huai You, Li-Yan Yuan:
Circumscription by Inference Rules with Priority. ECAI 1996: 110-116 - [c28]Xianchang Wang, Jia-Huai You, Li-Yan Yuan:
Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints. NMELP 1996: 91-109 - 1995
- [j11]Jia-Huai You, Li-Yan Yuan:
On the Equivalence of Semantics for Normal Logic Programs. J. Log. Program. 22(3): 211-222 (1995) - [c27]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: 41-55 - [c26]Li-Yan Yuan, Jia-Huai You:
On Coherence Approach to Logic Program Revision. ICLP 1995: 167-181 - [c25]Li-Yan Yuan, Jia-Huai You:
On the Extension of Logic Programming with Negation through Uniform Proofs. LPNMR 1995: 231-244 - [c24]Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel:
An Introspective Framework for Paraconsistent Logic Programs. ILPS 1995: 384-398 - 1994
- [j10]Li-Yan Yuan:
Logic Program Semantics and Circumscription of Autoepistemic Theories. Inf. Process. Lett. 50(3): 159-164 (1994) - [j9]Li-Yan Yuan:
Autoepistemic Logic of First Order and Its Expressive Power. J. Autom. Reason. 13(1): 69-82 (1994) - [j8]Jia-Huai You, Li-Yan Yuan:
A Three-Valued Semantics for Deductive Databases and Logic Programs. J. Comput. Syst. Sci. 49(2): 334-361 (1994) - [j7]Ke Wang, Li-Yan Yuan:
First-Order Logic Characterization of Program Properties. IEEE Trans. Knowl. Data Eng. 6(4): 518-533 (1994) - [c23]Jia-Huai You, Li-Yan Yuan:
Logic Programming with Assumption Denials. NMELP 1994: 85-100 - [c22]Li-Yan Yuan, Jia-Huai You:
A Simple but Effective Program Revision Method. ILPS 1994: 686 - 1993
- [j6]Li-Yan Yuan, Jia-Huai You:
Autoepistemic Circumscription and Logic Programming. J. Autom. Reason. 10(2): 143-160 (1993) - [c21]Li-Yan Yuan, Jia-Huai You:
Knowledge Base Revision Using Circumscription. DOOD 1993: 444-458 - [c20]Jia-Huai You, Li-Yan Yuan:
Contradiction Resolving for Extended Logic Programs and Default Theories. ILPS 1993: 640 - 1992
- [j5]Ke Wang, Li-Yan Yuan:
Preservation of Integrity Constraints in Definite DATALOG Programs. Inf. Process. Lett. 44(4): 185-193 (1992) - [j4]Li-Yan Yuan, Z. Meral Özsoyoglu:
Unifying functional and multivalued dependencies for relational database design. Inf. Sci. 59(3): 189-211 (1992) - [j3]Li-Yan Yuan, Z. Meral Özsoyoglu:
Design of Desirable Relational Database Schemes. J. Comput. Syst. Sci. 45(3): 435-470 (1992) - [c19]Ke Wang, Li-Yan Yuan:
Enforce Constraints in Archival Databases. ICCI 1992: 397-400 - [e1]Li-Yan Yuan:
18th International Conference on Very Large Data Bases, August 23-27, 1992, Vancouver, Canada, Proceedings. Morgan Kaufmann 1992, ISBN 1-55860-151-1 [contents] - 1991
- [c18]Ke Wang, Li-Yan Yuan:
Incremental Database Design Revisited. ICCI 1991: 219-230 - [c17]Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang:
A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. ICCI 1991: 699-708 - [c16]Li-Yan Yuan:
On Semantics, Syntactics and Fixpoints of General Programs. ICCI 1991: 709-720 - [c15]Ke Wang, Li-Yan Yuan:
First-Order Logic Reducible Programs. ICDE 1991: 746-755 - [c14]Yong Hu, Li-Yan Yuan:
Extended Well-Founded Model Semantics for General Logic Programs. ICLP 1991: 412-425 - 1990
- [c13]Li-Yan Yuan, Jia-Huai You:
Discriminant Circumscription. FSTTCS 1990: 21-32 - [c12]Leigh Willard, Li-Yan Yuan:
The Revised Gärdenfors Postulates and Update Semantics. ICDT 1990: 409-421 - [c11]Jia-Huai You, Li-Yan Yuan:
Three-Valued Formalization of Logic Programming: Is It Needed? PODS 1990: 172-182
1980 – 1989
- 1989
- [c10]Li-Yan Yuan, Ding-An Chiang:
A Sound and Complete Query Evaluation Algorithm for Relational Databases with Disjunctive Information. PODS 1989: 66-74 - 1988
- [c9]Li-Yan Yuan, Cheng Hui Wang:
On Reducing Parallel Circumscription. AAAI 1988: 450-454 - [c8]Li-Yan Yuan, Ding-An Chiang:
A Sound and Complete Query Evaluation Algorithm for Relational Databases with Null Values. SIGMOD Conference 1988: 74-81 - 1987
- [j2]Z. Meral Özsoyoglu, Li-Yan Yuan:
A New Normal Form for Nested Relations. ACM Trans. Database Syst. 12(1): 111-136 (1987) - [j1]Z. Meral Özsoyoglu, Li-Yan Yuan:
Reduced MVDs and Minimal Covers. ACM Trans. Database Syst. 12(3): 377-394 (1987) - [c7]Z. Meral Özsoyoglu, Li-Yan Yuan:
A Design Method for Nested Relational Databases. ICDE 1987: 599-608 - [c6]Z. Meral Özsoyoglu, Li-Yan Yuan:
On the Normalization in Nested Relational Databases. NF² 1987: 243-271 - [c5]Li-Yan Yuan, Z. Meral Özsoyoglu:
Logical Design of Relational Database Systems. PODS 1987: 38-47 - 1986
- [c4]Li-Yan Yuan:
A design method for nested relations (abstract). ACM Conference on Computer Science 1986: 440 - [c3]Li-Yan Yuan, Z. Meral Özsoyoglu:
Unifying Functional and Multivalued Dependencies for Relational Database Design. PODS 1986: 183-190 - [c2]Z. Meral Özsoyoglu, Li-Yan Yuan:
Notions of Dependency Preservation for Nested Relations. XP7.52 Workshop on Database Theory 1986 - 1985
- [c1]Z. Meral Özsoyoglu, Li-Yan Yuan:
A Normal Form for Nested Relations. PODS 1985: 251-260
Coauthor Index
aka: Yi-Dong Shen
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
