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