The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Li-Yan Yuan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  68. Top-k ranking for uncertain data. [Citation Graph (, )][DBLP]


  69. Weight Constraint Programs with Functions. [Citation Graph (, )][DBLP]


  70. Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops [Citation Graph (, )][DBLP]


  71. Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms [Citation Graph (, )][DBLP]


  72. Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms [Citation Graph (, )][DBLP]


  73. Loop Formulas for Description Logic Programs [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002