The SCEAS System
| |||||||

## Search the dblp DataBase
Jia-Huai You:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - Jia-Huai You, Li-Yan Yuan
**Logic Programming with Assumption Denials.**[Citation Graph (1, 0)][DBLP] NMELP, 1994, pp:85-100 [Conf] - 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] - 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] - 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] - 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] - 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] - Jia-Huai You
**Solving Equations in an Equational Language.**[Citation Graph (0, 0)][DBLP] ALP, 1988, pp:245-254 [Conf] - 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] - 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] - 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] - 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] - 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] - Li-Yan Yuan, Jia-Huai You
**Knowledge Base Revision Using Circumscription.**[Citation Graph (0, 0)][DBLP] DOOD, 1993, pp:444-458 [Conf] - 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] - 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] - Li-Yan Yuan, Jia-Huai You
**Discriminant Circumscription.**[Citation Graph (0, 0)][DBLP] FSTTCS, 1990, pp:21-32 [Conf] - Jia-Huai You
**Outer Narrowing for Equational Theories Based on Constructors.**[Citation Graph (0, 0)][DBLP] ICALP, 1988, pp:727-741 [Conf] - 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] - Zhiyong Liu, Jia-Huai You
**Increasing Communication Bandwidth on Hypercube.**[Citation Graph (0, 0)][DBLP] ICCI, 1991, pp:403-414 [Conf] - Zhiyong Liu, Jia-Huai You, Xiaobo Li
**Conflict-Free Routing on Hypercubes.**[Citation Graph (0, 0)][DBLP] ICCI, 1992, pp:153-158 [Conf] - 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] - 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] - Jia-Huai You, Guiwen Hou
**Arc-Consistency + Unit Propagation = Lookahead.**[Citation Graph (0, 0)][DBLP] ICLP, 2004, pp:314-328 [Conf] - 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] - 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] - Li-Yan Yuan, Jia-Huai You
**On Coherence Approach to Logic Program Revision.**[Citation Graph (0, 0)][DBLP] ICLP, 1995, pp:167-181 [Conf] - 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] - Zhiyong Liu, Jia-Huai You
**Finding the Shortest Path in ESMSS Network.**[Citation Graph (0, 0)][DBLP] ICPP (1), 1990, pp:589-590 [Conf] - Zhiyong Liu, Jia-Huai You
**Realizing Frequently Used Permutations on Syncube.**[Citation Graph (0, 0)][DBLP] ICPP (1), 1991, pp:274-277 [Conf] - 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] - 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] - 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] - Fangzhen Lin, Jia-Huai You
**Recycling Computed Answers in Rewrite Systems for Abduction.**[Citation Graph (0, 0)][DBLP] IJCAI, 2003, pp:879-886 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - Jia-Huai You, Robert Cartwright
**Tractable Argumentation Semantics via Iterative Belief Revision.**[Citation Graph (0, 0)][DBLP] SLP, 1994, pp:239-253 [Conf] - 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] - 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] - Li-Yan Yuan, Jia-Huai You
**A Simple but Effective Program Revision Method.**[Citation Graph (0, 0)][DBLP] SLP, 1994, pp:686- [Conf] - Zhiyong Liu, Jia-Huai You
**Dynamic load-balancing on a parallel inference system.**[Citation Graph (0, 0)][DBLP] SPDP, 1990, pp:58-61 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] **Loop Formulas for Logic Programs with Arbitrary Constraint Atoms.**[Citation Graph (, )][DBLP]**Abductive Logic Programming by Nonground Rewrite Systems.**[Citation Graph (, )][DBLP]**Top-k ranking for uncertain data.**[Citation Graph (, )][DBLP]**Lparse Programs Revisited: Semantics and Representation of Aggregates.**[Citation Graph (, )][DBLP]**Adaptive Lookahead for Answer Set Computation.**[Citation Graph (, )][DBLP]**Towards an Embedded Approach to Declarative Problem Solving in ASP.**[Citation Graph (, )][DBLP]**Weight Constraint Programs with Functions.**[Citation Graph (, )][DBLP]**A Default Approach to Semantics of Logic Programs with Constraint Atoms.**[Citation Graph (, )][DBLP]**Iterated Belief Change.**[Citation Graph (, )][DBLP]**Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops**[Citation Graph (, )][DBLP]**Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms**[Citation Graph (, )][DBLP]**Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms**[Citation Graph (, )][DBLP]**Loop Formulas for Description Logic Programs**[Citation Graph (, )][DBLP]
Search in 0.026secs, Finished in 0.031secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |