- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j26 |      | 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 | ||
| j25 | | Chonghai Wang, Li-Yan Yuan, Jia-Huai You: On the semantics of top-k ranking for objects with uncertain data. Computers & Mathematics with Applications 62(7): 2812-2823 (2011) |
| j24 | | Chonghai Wang, Li-Yan Yuan, Jia-Huai You, Osmar R. Zaïane, Jian Pei: On Pruning for Top-K Ranking in Uncertain Databases. PVLDB 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 | ||
| j23 | | 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) |
| j22 | | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen: Loop formulas for description logic programs. TPLP 10(4-6): 531-545 (2010) |
| c45 | | |
| i8 | | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen: Loop Formulas for Description Logic Programs. CoRR abs/1007.4040 (2010) |
| 2009 | ||
| j21 | | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan: Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. TPLP 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 | ||
| 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. Reasoning 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. Journal of Functional and Logic Programming 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. TPLP 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) |
| 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 | | |
| 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 | | |
| 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. Reasoning 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 | | |
| c22 | | |
| 1993 | ||
| j6 | | Li-Yan Yuan, Jia-Huai You: Autoepistemic Circumscription and Logic Programming. J. Autom. Reasoning 10(2): 143-160 (1993) |
| c21 | | |
| 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 | | |
| e1 | | Li-Yan Yuan (Ed.): 18th International Conference on Very Large Data Bases, August 23-27, 1992, Vancouver, Canada, Proceedings. Morgan Kaufmann 1992, isbn 1-55860-151-1 |
| 1991 | ||
| c18 | | |
| 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 | | |
| c15 | | |
| c14 | | |
| 1990 | ||
| c13 | | |
| 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 |
| 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 | | |
| 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 | | |
| 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 | | |
Data released under the ODC-BY 1.0 license — See also our legal information page