The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jia-Huai You: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Jia-Huai You, Li-Yan Yuan
    Logic Programming with Assumption Denials. [Citation Graph (1, 0)][DBLP]
    NMELP, 1994, pp:85-100 [Conf]
  6. P. A. Subrahmanyam, Jia-Huai You
    Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming. [Citation Graph (1, 0)][DBLP]
    SLP, 1984, pp:144-153 [Conf]
  7. Jia-Huai You, Liwu Li
    Supported Circumscription and Its Relation to Logic Programming with Negation. [Citation Graph (1, 0)][DBLP]
    NACLP, 1989, pp:291-309 [Conf]
  8. 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]
  9. Jia-Huai You, Robert Cartwright, Ming Li
    Iterative Belief Revision in Extended Logic Programming. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:170, n:1-2, pp:383-406 [Journal]
  10. Guan-Shieng Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You
    Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 2002, pp:119-131 [Conf]
  11. Jia-Huai You
    Solving Equations in an Equational Language. [Citation Graph (0, 0)][DBLP]
    ALP, 1988, pp:245-254 [Conf]
  12. Gang Wu, Guohui Lin, Jia-Huai You, Xiaomeng Wu
    Faster solution to the maximum quartet consistency problem with constraint programming. [Citation Graph (0, 0)][DBLP]
    APBC, 2005, pp:329-338 [Conf]
  13. Vickitt Lau, Jia-Huai You
    Parallelism in Nonmonotonic Multiple Inheritance Systems. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1988, pp:449-462 [Conf]
  14. 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]
  15. Gang Wu, Jia-Huai You, Guohui Lin
    A Polynomial Algorithm for the Minimum Quartet Inconsistency Problem with O(n) Quartet Errors. [Citation Graph (0, 0)][DBLP]
    CSB Workshops, 2005, pp:55-56 [Conf]
  16. 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]
  17. Li-Yan Yuan, Jia-Huai You
    Knowledge Base Revision Using Circumscription. [Citation Graph (0, 0)][DBLP]
    DOOD, 1993, pp:444-458 [Conf]
  18. 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]
  19. 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]
  20. Li-Yan Yuan, Jia-Huai You
    Discriminant Circumscription. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1990, pp:21-32 [Conf]
  21. Jia-Huai You
    Outer Narrowing for Equational Theories Based on Constructors. [Citation Graph (0, 0)][DBLP]
    ICALP, 1988, pp:727-741 [Conf]
  22. Jia-Huai You, P. A. Subrahmanyam
    E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1986, pp:454-463 [Conf]
  23. Zhiyong Liu, Jia-Huai You
    Increasing Communication Bandwidth on Hypercube. [Citation Graph (0, 0)][DBLP]
    ICCI, 1991, pp:403-414 [Conf]
  24. Zhiyong Liu, Jia-Huai You, Xiaobo Li
    Conflict-Free Routing on Hypercubes. [Citation Graph (0, 0)][DBLP]
    ICCI, 1992, pp:153-158 [Conf]
  25. 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]
  26. 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]
  27. Jia-Huai You, Guiwen Hou
    Arc-Consistency + Unit Propagation = Lookahead. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:314-328 [Conf]
  28. 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]
  29. 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]
  30. Li-Yan Yuan, Jia-Huai You
    On Coherence Approach to Logic Program Revision. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:167-181 [Conf]
  31. 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]
  32. Zhiyong Liu, Jia-Huai You
    Finding the Shortest Path in ESMSS Network. [Citation Graph (0, 0)][DBLP]
    ICPP (1), 1990, pp:589-590 [Conf]
  33. Zhiyong Liu, Jia-Huai You
    Realizing Frequently Used Permutations on Syncube. [Citation Graph (0, 0)][DBLP]
    ICPP (1), 1991, pp:274-277 [Conf]
  34. Zhiyong Liu, Xiaobo Li, Jia-Huai You
    On storage schemes for parallel array access. [Citation Graph (0, 0)][DBLP]
    ICS, 1992, pp:282-291 [Conf]
  35. Gang Wu, Guohui Lin, Jia-Huai You
    Quartet Based Phylogeny Reconstruction with Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2004, pp:612-619 [Conf]
  36. Fangzhen Lin, Jia-Huai You
    Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:655-666 [Conf]
  37. Fangzhen Lin, Jia-Huai You
    Recycling Computed Answers in Rewrite Systems for Abduction. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:879-886 [Conf]
  38. 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]
  39. 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]
  40. Zhiyong Liu, Jia-Huai You, Xiaobo Li
    The Odd-Even Expansion Storage Scheme and Its Implementation Issues. [Citation Graph (0, 0)][DBLP]
    IPPS, 1992, pp:550-557 [Conf]
  41. Jia-Huai You, P. A. Subrahmanyam
    On the Completeness of Narrowing for E-Unification. [Citation Graph (0, 0)][DBLP]
    KBCS, 1989, pp:296-305 [Conf]
  42. Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You
    Unfolding Partiality and Disjunctions in Stable Model Semantics. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:411-422 [Conf]
  43. 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]
  44. 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]
  45. Gang Wu, Jia-Huai You, Guohui Lin
    Application of Smodels in Quartet Based Phylogeny Construction. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:369-373 [Conf]
  46. 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]
  47. Guohua Liu, Jia-Huai You
    On the Effectiveness of Looking Ahead in Search for Answer Sets. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:303-308 [Conf]
  48. 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]
  49. 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]
  50. 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]
  51. P. A. Subrahmanyam, Jia-Huai You
    Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:228-234 [Conf]
  52. Jia-Huai You, P. A. Subrahmanyam
    Equational Logic Programming: An Extension to Equational Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1986, pp:209-218 [Conf]
  53. Srinivas Padmanabhuni, Jia-Huai You, Aditya Ghose
    A framework for learning constraints: Preliminary report. [Citation Graph (0, 0)][DBLP]
    PRICAI Workshops, 1996, pp:133-147 [Conf]
  54. 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]
  55. Jia-Huai You, Robert Cartwright
    Tractable Argumentation Semantics via Iterative Belief Revision. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:239-253 [Conf]
  56. 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]
  57. 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]
  58. Li-Yan Yuan, Jia-Huai You
    A Simple but Effective Program Revision Method. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:686- [Conf]
  59. Zhiyong Liu, Jia-Huai You
    Dynamic load-balancing on a parallel inference system. [Citation Graph (0, 0)][DBLP]
    SPDP, 1990, pp:58-61 [Conf]
  60. Gang Wu, Jia-Huai You, Guohui Lin
    A Lookahead Branch-and-Bound Algorithm for the Maximum Quartet Consistency Problem. [Citation Graph (0, 0)][DBLP]
    WABI, 2005, pp:65-76 [Conf]
  61. Fangzhen Lin, Jia-Huai You
    Abduction in logic programming: A new definition and an abductive procedure based on rewriting. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:140, n:1/2, pp:175-205 [Journal]
  62. 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]
  63. Liwu Li, Jia-Huai You
    Making default inferences from logic programs. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1991, v:7, n:, pp:142-153 [Journal]
  64. 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]
  65. 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]
  66. 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]
  67. Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
    Unfolding Partiality and Disjunctions in Stable Model Semantics [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  68. Fangzhen Lin, Jia-Huai You
    Recycling Computed Answers in Rewrite Systems for Abduction [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  69. 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]
  70. Zhiyong Liu, Jia-Huai You
    An Implementation of a Nonlinear Skewing Scheme. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1992, v:42, n:4, pp:209-215 [Journal]
  71. P. A. Subrahmanyam, Jia-Huai You
    On Embedding Functions in Logic. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1984, v:19, n:1, pp:41-46 [Journal]
  72. Gang Wu, Jia-Huai You, Guohui Lin
    A polynomial time algorithm for the minimum quartet inconsistency problem with O(n) quartet errors. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:100, n:4, pp:167-171 [Journal]
  73. 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]
  74. Jia-Huai You, P. A. Subrahmanyam
    A Class of Confluent Term Rewriting Systems and Unification. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1986, v:2, n:4, pp:391-418 [Journal]
  75. Jia-Huai You
    Unification Modulo an Equality Theory for Equational Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1991, v:42, n:1, pp:54-75 [Journal]
  76. 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]
  77. 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]
  78. Jia-Huai You
    Enumarating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1989, v:7, n:3/4, pp:319-341 [Journal]
  79. Zhiyong Liu, Jia-Huai You
    Conflict-Free Routing for BPC-Permutations on Synchronous Hupercubes. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1993, v:19, n:3, pp:323-342 [Journal]
  80. 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]
  81. 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]
  82. 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]
  83. 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]
  84. Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
    Unfolding partiality and disjunctions in stable model semantics. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:1, pp:1-37 [Journal]
  85. 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]
  86. Yi-Dong Shen, Jia-Huai You
    A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:483-488 [Conf]
  87. Gang Wu, Jia-Huai You, Guohui Lin
    Quartet-Based Phylogeny Reconstruction with Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    IEEE/ACM Trans. Comput. Biology Bioinform., 2007, v:4, n:1, pp:139-152 [Journal]
  88. Fangzhen Lin, Jia-Huai You
    Recycling computed answers in rewrite systems for abduction. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:2, pp:- [Journal]

  89. Loop Formulas for Logic Programs with Arbitrary Constraint Atoms. [Citation Graph (, )][DBLP]


  90. Abductive Logic Programming by Nonground Rewrite Systems. [Citation Graph (, )][DBLP]


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


  92. Lparse Programs Revisited: Semantics and Representation of Aggregates. [Citation Graph (, )][DBLP]


  93. Adaptive Lookahead for Answer Set Computation. [Citation Graph (, )][DBLP]


  94. Towards an Embedded Approach to Declarative Problem Solving in ASP. [Citation Graph (, )][DBLP]


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


  96. A Default Approach to Semantics of Logic Programs with Constraint Atoms. [Citation Graph (, )][DBLP]


  97. Iterated Belief Change. [Citation Graph (, )][DBLP]


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


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


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


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


Search in 0.026secs, Finished in 0.031secs
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