2009 | ||
---|---|---|
96 | 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) |
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 | |
93 | EE | Guohua 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 | |
91 | EE | Guohua Liu, Jia-Huai You: Adaptive Lookahead for Answer Set Computation. ICTAI (2) 2007: 230-237 |
90 | 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 |
89 | EE | Guohua Liu, Jia-Huai You: On the Effectiveness of Looking Ahead in Search for Answer Sets. LPNMR 2007: 303-308 |
88 | EE | Fangzhen Lin, Jia-Huai You: Recycling computed answers in rewrite systems for abduction. ACM Trans. Comput. Log. 8(2): (2007) |
87 | EE | Gang 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 | ||
86 | EE | Tomi 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) |
85 | EE | Gang 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 | ||
84 | EE | Gang Wu, Guohui Lin, Jia-Huai You, Xiaomeng Wu: Faster solution to the maximum quartet consistency problem with constraint programming. APBC 2005: 329-338 |
83 | EE | Gang 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 |
82 | EE | Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko: Lookahead in Smodels Compared to Local Consistencies in CSP. LPNMR 2005: 266-278 |
81 | EE | Gang Wu, Jia-Huai You, Guohui Lin: Application of Smodels in Quartet Based Phylogeny Construction. LPNMR 2005: 369-373 |
80 | EE | Gang Wu, Jia-Huai You, Guohui Lin: A Lookahead Branch-and-Bound Algorithm for the Maximum Quartet Consistency Problem. WABI 2005: 65-76 |
79 | 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) |
78 | 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 | ||
77 | EE | Jia-Huai You, Guiwen Hou: Arc-Consistency + Unit Propagation = Lookahead. ICLP 2004: 314-328 |
76 | EE | Xiumei Jia, Jia-Huai You, Li-Yan Yuan: Adding Domain Dependent Knowledge into Answer Set Programs for Planning. ICLP 2004: 400-415 |
75 | EE | Gang Wu, Guohui Lin, Jia-Huai You: Quartet Based Phylogeny Reconstruction with Answer Set Programming. ICTAI 2004: 612-619 |
74 | EE | Fangzhen 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 | |
71 | 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) |
70 | EE | Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You: Unfolding Partiality and Disjunctions in Stable Model Semantics CoRR cs.AI/0303009: (2003) |
2002 | ||
69 | EE | Guan-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 |
68 | EE | Fangzhen 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) |
67 | 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) |
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 | |
64 | EE | Jia-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) | |
61 | 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 | ||
60 | Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You: Unfolding Partiality and Disjunctions in Stable Model Semantics. KR 2000: 411-422 | |
59 | EE | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Implementation of a Linear Tabling Mechanism. PADL 2000: 109-123 |
58 | EE | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: SLT-Resolution for the Well-Founded Semantics CoRR cs.AI/0002016: (2000) |
57 | 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) |
56 | EE | Yi-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 | |
53 | 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 |
52 | 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 | ||
51 | Jia-Huai You, Li-Yan Yuan, Randy Goebel: Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. IJCSLP 1998: 175-189 | |
50 | EE | Li-Yan Yuan, Jia-Huai You: Coherence Approach to Logic Program Revision. IEEE Trans. Knowl. Data Eng. 10(1): 108-119 (1998) |
1997 | ||
49 | 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 |
48 | EE | Jia-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 | |
45 | EE | Li-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 | |
40 | EE | Jia-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 | |
25 | EE | Zhiyong 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 | |
15 | EE | Jia-Huai You, Li-Yan Yuan: Three-Valued Formalization of Logic Programming: Is It Needed? PODS 1990: 172-182 |
14 | EE | Zhiyong 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) |