| 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) |
