Li-Yan Yuan Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang: Weight Constraint Programs with Functions. LPNMR 2009: 329-341
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-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)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-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)
2007
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen: Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. LPNMR 2007: 228-240
2005
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko: Lookahead in Smodels Compared to Local Consistencies in CSP. LPNMR 2005: 266-278
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-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)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-Dong Shen, Jia-Huai You, Li-Yan Yuan: Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms CoRR abs/cs/0507035: (2005)
2004
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiumei Jia, Jia-Huai You, Li-Yan Yuan: Adding Domain Dependent Knowledge into Answer Set Programs for Planning. ICLP 2004: 400-415
2003
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-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
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-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)
2002
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-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)
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-Dong Shen, Li-Yan Yuan, Jia-Huai You: SLT-Resolution for the Well-Founded Semantics. J. Autom. Reasoning 28(1): 53-97 (2002)
2001
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-Huai You, Xianchang Wang, Li-Yan Yuan: Nonmonotonic Reasoning as Prioritized Argumentation. IEEE Trans. Knowl. Data Eng. 13(6): 968-979 (2001)
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeng-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)
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-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)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Loop checks for logic programs with functions. Theor. Comput. Sci. 266(1-2): 441-461 (2001)
2000
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Implementation of a Linear Tabling Mechanism. PADL 2000: 109-123
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-Dong Shen, Li-Yan Yuan, Jia-Huai You: SLT-Resolution for the Well-Founded Semantics CoRR cs.AI/0002016: (2000)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear Tabulated Resolution Based on Prolog Control Strategy CoRR cs.AI/0003046: (2000)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Verifying Termination of General Logic Programs with Concrete Queries CoRR cs.AI/0006031: (2000)
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-Huai You, Li-Yan Yuan, Randy Goebel: An abductive approach to disjunctive logic programming. J. Log. Program. 44(1-3): 101-127 (2000)
1999
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: A Linear Tabling Mechanism. ICLP 1999: 618
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear Tabulated Resolutions for the Well-Founded Semantics. LPNMR 1999: 192-205
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-Huai You, Xianchang Wang, Li-Yan Yuan: Compiling Defeasible Inheritance Networks to General Logic Programs. Artif. Intell. 113(1-2): 247-268 (1999)
1998
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-Huai You, Li-Yan Yuan, Randy Goebel: Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. IJCSLP 1998: 175-189
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Jia-Huai You: Coherence Approach to Logic Program Revision. IEEE Trans. Knowl. Data Eng. 10(1): 108-119 (1998)
1997
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-Huai You, Li-Yan Yuan, Randy Goebel: An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure. FSTTCS 1997: 138-152
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-Huai You, Xianchang Wang, Li-Yan Yuan: Disjunctive Logic Programming as Constrained Inferences. ICLP 1997: 361-375
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianchang Wang, Jia-Huai You, Li-Yan Yuan: A Default Interpretation of Defeasible Network. IJCAI (1) 1997: 156-161
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Jia-Huai You, Randy Goebel: Disjunctive Logic Programming and Autoepistemic Logic. LPKR 1997: 85-101
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianchang Wang, Jia-Huai You, Li-Yan Yuan: On Confluence Property of Active Databases with Meta-Rules. Rules in Database Systems 1997: 118-132
1996
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianchang Wang, Jia-Huai You, Li-Yan Yuan: Circumscription by Inference Rules with Priority. ECAI 1996: 110-116
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianchang Wang, Jia-Huai You, Li-Yan Yuan: Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints. NMELP 1996: 91-109
1995
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-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
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Jia-Huai You: On Coherence Approach to Logic Program Revision. ICLP 1995: 167-181
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel: An Introspective Framework for Paraconsistent Logic Programs. ILPS 1995: 384-398
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Jia-Huai You: On the Extension of Logic Programming with Negation through Uniform Proofs. LPNMR 1995: 231-244
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-Huai You, Li-Yan Yuan: On the Equivalence of Semantics for Normal Logic Programs. J. Log. Program. 22(3): 211-222 (1995)
1994
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-Huai You, Li-Yan Yuan: Logic Programming with Assumption Denials. NMELP 1994: 85-100
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Jia-Huai You: A Simple but Effective Program Revision Method. SLP 1994: 686
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKe Wang, Li-Yan Yuan: First-Order Logic Characterization of Program Properties. IEEE Trans. Knowl. Data Eng. 6(4): 518-533 (1994)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan: Logic Program Semantics and Circumscription of Autoepistemic Theories. Inf. Process. Lett. 50(3): 159-164 (1994)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan: Autoepistemic Logic of First Order and Its Expressive Power. J. Autom. Reasoning 13(1): 69-82 (1994)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-Huai You, Li-Yan Yuan: A Three-Valued Semantics for Deductive Databases and Logic Programs. J. Comput. Syst. Sci. 49(2): 334-361 (1994)
1993
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Jia-Huai You: Knowledge Base Revision Using Circumscription. DOOD 1993: 444-458
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-Huai You, Li-Yan Yuan: Contradiction Resolving for Extended Logic Programs and Default Theories. ILPS 1993: 640
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Jia-Huai You: Autoepistemic Circumscription and Logic Programming. J. Autom. Reasoning 10(2): 143-160 (1993)
1992
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan: 18th International Conference on Very Large Data Bases, August 23-27, 1992, Vancouver, Canada, Proceedings. Morgan Kaufmann 1992
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKe Wang, Li-Yan Yuan: Enforce Constraints in Archival Databases. ICCI 1992: 397-400
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKe Wang, Li-Yan Yuan: Preservation of Integrity Constraints in Definite DATALOG Programs. Inf. Process. Lett. 44(4): 185-193 (1992)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Z. Meral Özsoyoglu: Unifying functional and multivalued dependencies for relational database design. Inf. Sci. 59(3): 189-211 (1992)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Z. Meral Özsoyoglu: Design of Desirable Relational Database Schemes. J. Comput. Syst. Sci. 45(3): 435-470 (1992)
1991
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKe Wang, Li-Yan Yuan: Incremental Database Design Revisited. ICCI 1991: 219-230
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Jia-Huai You, Cheng Hui Wang: A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. ICCI 1991: 699-708
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan: On Semantics, Syntactics and Fixpoints of General Programs. ICCI 1991: 709-720
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKe Wang, Li-Yan Yuan: First-Order Logic Reducible Programs. ICDE 1991: 746-755
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYong Hu, Li-Yan Yuan: Extended Well-Founded Model Semantics for General Logic Programs. ICLP 1991: 412-425
1990
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Jia-Huai You: Discriminant Circumscription. FSTTCS 1990: 21-32
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeigh Willard, Li-Yan Yuan: The Revised Gärdenfors Postulates and Update Semantics. ICDT 1990: 409-421
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-Huai You, Li-Yan Yuan: Three-Valued Formalization of Logic Programming: Is It Needed? PODS 1990: 172-182
1989
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Ding-An Chiang: A Sound and Complete Query Evaluation Algorithm for Relational Databases with Disjunctive Information. PODS 1989: 66-74
1988
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Cheng Hui Wang: On Reducing Parallel Circumscription. AAAI 1988: 450-454
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Ding-An Chiang: A Sound and Complete Query Evaluation Algorithm for Relational Databases with Null Values. SIGMOD Conference 1988: 74-81
1987
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZ. Meral Özsoyoglu, Li-Yan Yuan: A Design Method for Nested Relational Databases. ICDE 1987: 599-608
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZ. Meral Özsoyoglu, Li-Yan Yuan: On the Normalization in Nested Relational Databases. NF² 1987: 243-271
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Z. Meral Özsoyoglu: Logical Design of Relational Database Systems. PODS 1987: 38-47
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZ. Meral Özsoyoglu, Li-Yan Yuan: A New Normal Form for Nested Relations. ACM Trans. Database Syst. 12(1): 111-136 (1987)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZ. Meral Özsoyoglu, Li-Yan Yuan: Reduced MVDs and Minimal Covers. ACM Trans. Database Syst. 12(3): 377-394 (1987)
1986
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan: A design method for nested relations (abstract). ACM Conference on Computer Science 1986: 440
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-Yan Yuan, Z. Meral Özsoyoglu: Unifying Functional and Multivalued Dependencies for Relational Database Design. PODS 1986: 183-190
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZ. Meral Özsoyoglu, Li-Yan Yuan: Notions of Dependency Preservation for Nested Relations. XP7.52 Workshop on Database Theory 1986
1985
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZ. Meral Özsoyoglu, Li-Yan Yuan: A Normal Form for Nested Relations. PODS 1985: 251-260

Coauthor Index

1Ding-An Chiang [10] [12]
2Suryanil Ghosh [37] [39]
3Randy Goebel [37] [39] [43] [46] [47] [49] [53]
4Yong Hu [16]
5Xiumei Jia [66]
6Guohua Liu [69] [70]
7Curtis Onuczko [69]
8Z. Meral Özsoyoglu [1] [2] [3] [5] [6] [7] [8] [9] [21] [22]
9Samuel S. P. Shen [63] [64]
10Yi-Dong Shen [51] [52] [54] [55] [56] [57] [58] [59] [60] [62] [63] [64] [67] [68] [70] [71] [72]
11Cheng Hui Wang [11] [19]
12Ke Wang [17] [20] [23] [24] [32]
13Xianchang Wang [40] [41] [42] [44] [45] [50] [61]
14Yisong Wang [73]
15Leigh Willard [14]
16Qiang Yang [63] [64] [68]
17Jia-Huai You [13] [15] [19] [26] [27] [28] [29] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73]
18Mingyi Zhang [65] [73]
19Neng-Fa Zhou [51] [52] [55] [57] [59] [60]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)