dblp.uni-trier.dewww.uni-trier.de

Jia-Huai You

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
96EEYi-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)
2008
95 Fangzhen Lin, Jia-Huai You: Abductive Logic Programming by Nonground Rewrite Systems. AAAI 2008: 480-485
94 Jia-Huai You, Guohua Liu: Loop Formulas for Logic Programs with Arbitrary Constraint Atoms. AAAI 2008: 584-589
93EEGuohua Liu, Jia-Huai You: Lparse Programs Revisited: Semantics and Representation of Aggregates. ICLP 2008: 347-361
2007
92 Yi-Dong Shen, Jia-Huai You: A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. AAAI 2007: 483-488
91EEGuohua Liu, Jia-Huai You: Adaptive Lookahead for Answer Set Computation. ICTAI (2) 2007: 230-237
90EEJia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen: Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. LPNMR 2007: 228-240
89EEGuohua Liu, Jia-Huai You: On the Effectiveness of Looking Ahead in Search for Answer Sets. LPNMR 2007: 303-308
88EEFangzhen Lin, Jia-Huai You: Recycling computed answers in rewrite systems for abduction. ACM Trans. Comput. Log. 8(2): (2007)
87EEGang Wu, Jia-Huai You, Guohui Lin: Quartet-Based Phylogeny Reconstruction with Answer Set Programming. IEEE/ACM Trans. Comput. Biology Bioinform. 4(1): 139-152 (2007)
2006
86EETomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You: Unfolding partiality and disjunctions in stable model semantics. ACM Trans. Comput. Log. 7(1): 1-37 (2006)
85EEGang Wu, Jia-Huai You, Guohui Lin: A polynomial time algorithm for the minimum quartet inconsistency problem with O(n) quartet errors. Inf. Process. Lett. 100(4): 167-171 (2006)
2005
84EEGang Wu, Guohui Lin, Jia-Huai You, Xiaomeng Wu: Faster solution to the maximum quartet consistency problem with constraint programming. APBC 2005: 329-338
83EEGang Wu, Jia-Huai You, Guohui Lin: A Polynomial Algorithm for the Minimum Quartet Inconsistency Problem with O(n) Quartet Errors. CSB Workshops 2005: 55-56
82EEJia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko: Lookahead in Smodels Compared to Local Consistencies in CSP. LPNMR 2005: 266-278
81EEGang Wu, Jia-Huai You, Guohui Lin: Application of Smodels in Quartet Based Phylogeny Construction. LPNMR 2005: 369-373
80EEGang Wu, Jia-Huai You, Guohui Lin: A Lookahead Branch-and-Bound Algorithm for the Maximum Quartet Consistency Problem. WABI 2005: 65-76
79EEYi-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)
78EEYi-Dong Shen, Jia-Huai You, Li-Yan Yuan: Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms CoRR abs/cs/0507035: (2005)
2004
77EEJia-Huai You, Guiwen Hou: Arc-Consistency + Unit Propagation = Lookahead. ICLP 2004: 314-328
76EEXiumei Jia, Jia-Huai You, Li-Yan Yuan: Adding Domain Dependent Knowledge into Answer Set Programs for Planning. ICLP 2004: 400-415
75EEGang Wu, Guohui Lin, Jia-Huai You: Quartet Based Phylogeny Reconstruction with Answer Set Programming. ICTAI 2004: 612-619
74EEFangzhen Lin, Jia-Huai You: Recycling Computed Answers in Rewrite Systems for Abduction CoRR cs.AI/0402033: (2004)
2003
73 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
72 Fangzhen Lin, Jia-Huai You: Recycling Computed Answers in Rewrite Systems for Abduction. IJCAI 2003: 879-886
71EEYi-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)
70EETomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You: Unfolding Partiality and Disjunctions in Stable Model Semantics CoRR cs.AI/0303009: (2003)
2002
69EEGuan-Shieng Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You: Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison. Canadian Conference on AI 2002: 119-131
68EEFangzhen Lin, Jia-Huai You: Abduction in logic programming: A new definition and an abductive procedure based on rewriting. Artif. Intell. 140(1/2): 175-205 (2002)
67EEYi-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)
66 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
65 Fangzhen Lin, Jia-Huai You: Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. IJCAI 2001: 655-666
64EEJia-Huai You, Xianchang Wang, Li-Yan Yuan: Nonmonotonic Reasoning as Prioritized Argumentation. IEEE Trans. Knowl. Data Eng. 13(6): 968-979 (2001)
63 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)
62 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)
61EEYi-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
60 Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You: Unfolding Partiality and Disjunctions in Stable Model Semantics. KR 2000: 411-422
59EENeng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Implementation of a Linear Tabling Mechanism. PADL 2000: 109-123
58EEYi-Dong Shen, Li-Yan Yuan, Jia-Huai You: SLT-Resolution for the Well-Founded Semantics CoRR cs.AI/0002016: (2000)
57EEYi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear Tabulated Resolution Based on Prolog Control Strategy CoRR cs.AI/0003046: (2000)
56EEYi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Verifying Termination of General Logic Programs with Concrete Queries CoRR cs.AI/0006031: (2000)
55 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
54 Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: A Linear Tabling Mechanism. ICLP 1999: 618
53EEYi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear Tabulated Resolutions for the Well-Founded Semantics. LPNMR 1999: 192-205
52EEJia-Huai You, Xianchang Wang, Li-Yan Yuan: Compiling Defeasible Inheritance Networks to General Logic Programs. Artif. Intell. 113(1-2): 247-268 (1999)
1998
51 Jia-Huai You, Li-Yan Yuan, Randy Goebel: Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. IJCSLP 1998: 175-189
50EELi-Yan Yuan, Jia-Huai You: Coherence Approach to Logic Program Revision. IEEE Trans. Knowl. Data Eng. 10(1): 108-119 (1998)
1997
49EELi-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
48EEJia-Huai You, Li-Yan Yuan, Randy Goebel: An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure. FSTTCS 1997: 138-152
47 Jia-Huai You, Xianchang Wang, Li-Yan Yuan: Disjunctive Logic Programming as Constrained Inferences. ICLP 1997: 361-375
46 Xianchang Wang, Jia-Huai You, Li-Yan Yuan: A Default Interpretation of Defeasible Network. IJCAI (1) 1997: 156-161
45EELi-Yan Yuan, Jia-Huai You, Randy Goebel: Disjunctive Logic Programming and Autoepistemic Logic. LPKR 1997: 85-101
44 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
43 Xianchang Wang, Jia-Huai You, Li-Yan Yuan: Circumscription by Inference Rules with Priority. ECAI 1996: 110-116
42 Xianchang Wang, Jia-Huai You, Li-Yan Yuan: Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints. NMELP 1996: 91-109
41 Srinivas Padmanabhuni, Jia-Huai You, Aditya Ghose: A framework for learning constraints: Preliminary report. PRICAI Workshops 1996: 133-147
40EEJia-Huai You, Robert Cartwright, Ming Li: Iterative Belief Revision in Extended Logic Programming. Theor. Comput. Sci. 170(1-2): 383-406 (1996)
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 Jia-Huai You, Robert Cartwright: Tractable Argumentation Semantics via Iterative Belief Revision. SLP 1994: 239-253
32 Li-Yan Yuan, Jia-Huai You: A Simple but Effective Program Revision Method. SLP 1994: 686
31 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
30 Li-Yan Yuan, Jia-Huai You: Knowledge Base Revision Using Circumscription. DOOD 1993: 444-458
29 Jia-Huai You, Li-Yan Yuan: Contradiction Resolving for Extended Logic Programs and Default Theories. ILPS 1993: 640
28 Li-Yan Yuan, Jia-Huai You: Autoepistemic Circumscription and Logic Programming. J. Autom. Reasoning 10(2): 143-160 (1993)
27 Zhiyong Liu, Jia-Huai You: Conflict-Free Routing for BPC-Permutations on Synchronous Hupercubes. Parallel Computing 19(3): 323-342 (1993)
1992
26 Zhiyong Liu, Jia-Huai You, Xiaobo Li: Conflict-Free Routing on Hypercubes. ICCI 1992: 153-158
25EEZhiyong Liu, Xiaobo Li, Jia-Huai You: On storage schemes for parallel array access. ICS 1992: 282-291
24 Zhiyong Liu, Jia-Huai You, Xiaobo Li: The Odd-Even Expansion Storage Scheme and Its Implementation Issues. IPPS 1992: 550-557
23 Zhiyong Liu, Jia-Huai You: An Implementation of a Nonlinear Skewing Scheme. Inf. Process. Lett. 42(4): 209-215 (1992)
1991
22 Zhiyong Liu, Jia-Huai You: Increasing Communication Bandwidth on Hypercube. ICCI 1991: 403-414
21 Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang: A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. ICCI 1991: 699-708
20 Zhiyong Liu, Jia-Huai You: Realizing Frequently Used Permutations on Syncube. ICPP (1) 1991: 274-277
19 Liwu Li, Jia-Huai You: Making default inferences from logic programs. Computational Intelligence 7: 142-153 (1991)
18 Jia-Huai You: Unification Modulo an Equality Theory for Equational Logic Programming. J. Comput. Syst. Sci. 42(1): 54-75 (1991)
1990
17 Li-Yan Yuan, Jia-Huai You: Discriminant Circumscription. FSTTCS 1990: 21-32
16 Zhiyong Liu, Jia-Huai You: Finding the Shortest Path in ESMSS Network. ICPP (1) 1990: 589-590
15EEJia-Huai You, Li-Yan Yuan: Three-Valued Formalization of Logic Programming: Is It Needed? PODS 1990: 172-182
14EEZhiyong Liu, Jia-Huai You: Dynamic load-balancing on a parallel inference system. SPDP 1990: 58-61
1989
13 Jia-Huai You, P. A. Subrahmanyam: On the Completeness of Narrowing for E-Unification. KBCS 1989: 296-305
12 Jia-Huai You, Liwu Li: Supported Circumscription and Its Relation to Logic Programming with Negation. NACLP 1989: 291-309
11 Jia-Huai You: Enumarating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems. J. Symb. Comput. 7(3/4): 319-341 (1989)
1988
10 Jia-Huai You: Solving Equations in an Equational Language. ALP 1988: 245-254
9 Vickitt Lau, Jia-Huai You: Parallelism in Nonmonotonic Multiple Inheritance Systems. Australian Joint Conference on Artificial Intelligence 1988: 449-462
8 Jia-Huai You: Outer Narrowing for Equational Theories Based on Constructors. ICALP 1988: 727-741
1986
7 Jia-Huai You, P. A. Subrahmanyam: E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. ICALP 1986: 454-463
6 Jia-Huai You, P. A. Subrahmanyam: Equational Logic Programming: An Extension to Equational Programming. POPL 1986: 209-218
5 P. A. Subrahmanyam, Jia-Huai You: FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming. Logic Programming: Functions, Relations, and Equations 1986: 157-198
4 Jia-Huai You, P. A. Subrahmanyam: A Class of Confluent Term Rewriting Systems and Unification. J. Autom. Reasoning 2(4): 391-418 (1986)
1984
3 P. A. Subrahmanyam, Jia-Huai You: Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. POPL 1984: 228-234
2 P. A. Subrahmanyam, Jia-Huai You: Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming. SLP 1984: 144-153
1 P. A. Subrahmanyam, Jia-Huai You: On Embedding Functions in Logic. Inf. Process. Lett. 19(1): 41-46 (1984)

Coauthor Index

1Robert Cartwright [33] [40]
2Aditya K. Ghose (Aditya Ghose) [41]
3Suryanil Ghosh [37] [39]
4Randy Goebel [37] [39] [45] [48] [49] [51] [55]
5Guiwen Hou [77]
6Guan-Shieng Huang [69]
7Tomi Janhunen [60] [70] [86]
8Xiumei Jia [69] [76]
9Vickitt Lau [9]
10Liwu Li [12] [19]
11Ming Li [40]
12Xiaobo Li [24] [25] [26]
13Churn-Jung Liau [69]
14Fangzhen Lin [65] [68] [72] [74] [88] [95]
15Guohui Lin (Guo-Hui Lin) [75] [80] [81] [83] [84] [85] [87]
16Guohua Liu [82] [89] [90] [91] [93] [94]
17Zhiyong Liu [14] [16] [20] [22] [23] [24] [25] [26] [27]
18Zhang Mingyi [73]
19Ilkka Niemelä [60] [70] [86]
20Curtis Onuczko [82]
21Srinivas Padmanabhuni [41]
22Dietmar Seipel [70] [86]
23Samuel S. P. Shen [67] [71]
24Yi-Dong Shen [53] [54] [56] [57] [58] [59] [61] [62] [63] [66] [67] [71] [78] [79] [90] [92] [96]
25Patrik Simons [60] [70] [86]
26P. A. Subrahmanyam [1] [2] [3] [4] [5] [6] [7] [13]
27Cheng Hui Wang [21]
28Xianchang Wang [42] [43] [44] [46] [47] [52] [64]
29Gang Wu [75] [80] [81] [83] [84] [85] [87]
30Xiaomeng Wu [84]
31Qiang Yang [67] [71] [79]
32Li-Yan Yuan [15] [17] [21] [28] [29] [30] [31] [32] [34] [35] [36] [37] [38] [39] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [61] [62] [63] [64] [66] [67] [71] [73] [76] [78] [79] [82] [90] [96]
33Neng-Fa Zhou [53] [54] [57] [59] [62] [63]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)