| 2025 | AAAI | An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships. | Spencer Killen, Jia-Huai You, Jesse Heyninck |
| 2024 | ICLP | Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning. | Spencer Killen, Jia-Huai You |
| 2024 | SoCS | Exploring Conflict Generating Decisions: Initial Results (Extended Abstract). | Md. Solimul Chowdhury, Martin Mller, Jia-Huai You |
| 2023 | ICLP | Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF. | Spencer Killen, Wenkai Gao, Jia-Huai You |
| 2021 | ICLP | Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases. | Spencer Killen, Jia-Huai You |
| 2021 | KR | Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases. | Spencer Killen, Jia-Huai You |
| 2020 | AAAI | Towards Universal Languages for Tractable Ontology Mediated Query Answering. | Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang |
| 2020 | AAAI | Guiding CDCL SAT Search via Random Exploration amid Conflict Depression. | Md. Solimul Chowdhury, Martin Mller, Jia-Huai You |
| 2019 | CP | Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. | Md. Solimul Chowdhury, Martin Mller, Jia-Huai You |
| 2018 | AAAI | Preliminary Results on Exploration-Driven Satisfiability Solving. | Md. Solimul Chowdhury, Martin Mller, Jia-Huai You |
| 2018 | IJCAI | Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract). | Fangfang Liu, Jia-Huai You |
| 2016 | AI | Flexible Approximators for Approximating Fixpoint Theory. | Fangfang Liu, Yi Bi, Md. Solimul Chowdhury, Jia-Huai You, Zhiyong Feng |
| 2016 | IJCAI | Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering. | Heng Zhang, Yan Zhang, Jia-Huai You |
| 2015 | AAAI | Existential Rule Languages with Finite Chase: Complexity and Expressiveness. | Heng Zhang, Yan Zhang, Jia-Huai You |
| 2015 | IJCAI | On Forgetting Postulates in Answer Set Programming. | Jianmin Ji, Jia-Huai You, Yisong Wang |
| 2015 | SIGMOD | A Demonstration of Rubato DB: A Highly Scalable NewSQL Database System for OLTP and Big Data Applications. | Li-Yan Yuan, Lengdong Wu, Jia-Huai You, Yan Chi |
| 2014 | CIKM | Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications. | Li-Yan Yuan, Lengdong Wu, Jia-Huai You, Yan Chi |
| 2014 | LOPSTR | Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies. | Md. Solimul Chowdhury, Fangfang Liu, Wu Chen, Arash Karimi, Jia-Huai You |
| 2013 | ICTAC | Embedding Functions into Disjunctive Logic Programs. | Yisong Wang, Jia-Huai You, Mingyi Zhang |
| 2012 | AAAI | A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms. | Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You |
| 2012 | ICLP | Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs. | Jia-Huai You, John Morris, Yi Bi |
| 2012 | ICTAI | SAT with Global Constraints. | Md. Solimul Chowdhury, Jia-Huai You |
| 2011 | AAAI | Integrating Rules and Description Logics by Circumscription. | Qian Yang, Jia-Huai You, Zhiyong Feng |
| 2011 | LPNMR | Strong Equivalence of Logic Programs with Abstract Constraint Atoms. | Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemel, Jia-Huai You |
| 2011 | LPNMR | Compiling Answer Set Programs into Event-Driven Action Rules. | Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You |
| 2009 | LPNMR | A Default Approach to Semantics of Logic Programs with Constraint Atoms. | Yi-Dong Shen, Jia-Huai You |
| 2009 | LPNMR | Weight Constraint Programs with Functions. | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang |
| 2009 | LPNMR | Towards an Embedded Approach to Declarative Problem Solving in ASP. | Jia-Huai You |
| 2008 | AAAI | Abductive Logic Programming by Nonground Rewrite Systems. | Fangzhen Lin, Jia-Huai You |
| 2008 | AAAI | Loop Formulas for Logic Programs with Arbitrary Constraint Atoms. | Jia-Huai You, Guohua Liu |
| 2008 | ICLP | Lparse Programs Revisited: Semantics and Representation of Aggregates. | Guohua Liu, Jia-Huai You |
| 2007 | AAAI | A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. | Yi-Dong Shen, Jia-Huai You |
| 2007 | ICTAI | Adaptive Lookahead for Answer Set Computation. | Guohua Liu, Jia-Huai You |
| 2007 | LPNMR | On the Effectiveness of Looking Ahead in Search for Answer Sets. | Guohua Liu, Jia-Huai You |
| 2007 | LPNMR | Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. | Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen |
| 2005 | APBC | Faster solution to the maximum quartet consistency problem with constraint programming. | Gang Wu, Guohui Lin, Jia-Huai You, Xiaomeng Wu |
| 2005 | LPNMR | Application of Smodels in Quartet Based Phylogeny Construction. | Gang Wu, Jia-Huai You, Guohui Lin |
| 2005 | LPNMR | Lookahead in Smodels Compared to Local Consistencies in CSP. | Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko |
| 2005 | WABI | A Lookahead Branch-and-Bound Algorithm for the Maximum Quartet Consistency Problem. | Gang Wu, Jia-Huai You, Guohui Lin |
| 2004 | ICLP | Adding Domain Dependent Knowledge into Answer Set Programs for Planning. | Xiumei Jia, Jia-Huai You, Li-Yan Yuan |
| 2004 | ICLP | Arc-Consistency + Unit Propagation = Lookahead. | Jia-Huai You, Guiwen Hou |
| 2004 | ICTAI | Quartet Based Phylogeny Reconstruction with Answer Set Programming. | Gang Wu, Guohui Lin, Jia-Huai You |
| 2003 | IJCAI | Recycling Computed Answers in Rewrite Systems for Abduction. | Fangzhen Lin, Jia-Huai You |
| 2003 | IJCAI | On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. | Jia-Huai You, Li-Yan Yuan, Mingyi Zhang |
| 2002 | AI | Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison. | Guan-Shieng Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You |
| 2001 | IJCAI | Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. | Fangzhen Lin, Jia-Huai You |
| 2000 | KR | Unfolding Partiality and Disjunctions in Stable Model Semantics. | Tomi Janhunen, Ilkka Niemel, Patrik Simons, Jia-Huai You |
| 2000 | PADL | Implementation of a Linear Tabling Mechanism. | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
| 1999 | ICLP | A Linear Tabling Mechanism. | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
| 1999 | LPNMR | Linear Tabulated Resolutions for the Well-Founded Semantics. | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou |
| 1998 | ICLP | Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. | Jia-Huai You, Li-Yan Yuan, Randy Goebel |
| 1997 | ICLP | Disjunctive Logic Programming as Constrained Inferences. | Jia-Huai You, Xianchang Wang, Li-Yan Yuan |
| 1997 | IJCAI | A Default Interpretation of Defeasible Network. | Xianchang Wang, Jia-Huai You, Li-Yan Yuan |
| 1996 | ECAI | Circumscription by Inference Rules with Priority. | Xianchang Wang, Jia-Huai You, Li-Yan Yuan |
| 1996 | PRICAI | A framework for learning constraints: Preliminary report. | Srinivas Padmanabhuni, Jia-Huai You, Aditya Ghose |
| 1995 | ICLP | On Coherence Approach to Logic Program Revision. | Li-Yan Yuan, Jia-Huai You |
| 1995 | LPNMR | On the Extension of Logic Programming with Negation through Uniform Proofs. | Li-Yan Yuan, Jia-Huai You |
| 1992 | ICCI | Conflict-Free Routing on Hypercubes. | Zhiyong Liu, Jia-Huai You, Xiaobo Li |
| 1992 | ICS | On storage schemes for parallel array access. | Zhiyong Liu, Xiaobo Li, Jia-Huai You |
| 1991 | ICCI | Increasing Communication Bandwidth on Hypercube. | Zhiyong Liu, Jia-Huai You |
| 1991 | ICCI | A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. | Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang |
| 1991 | ICPP | Realizing Frequently Used Permutations on Syncube. | Zhiyong Liu, Jia-Huai You |
| 1990 | ICPP | Finding the Shortest Path in ESMSS Network. | Zhiyong Liu, Jia-Huai You |
| 1990 | PODS | Three-Valued Formalization of Logic Programming: Is It Needed? | Jia-Huai You, Li-Yan Yuan |
| 1989 | ICTAI | A new intelligent backtracking scheme for Prolog: a summary of results. | Jia-Huai You, Brian Wong, Chung-Sea Law |
| 1988 | ICALP | Outer Narrowing for Equational Theories Based on Constructors. | Jia-Huai You |
| 1986 | ICALP | E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. | Jia-Huai You, P. A. Subrahmanyam |
| 1986 | POPL | Equational Logic Programming: An Extension to Equational Programming. | Jia-Huai You, P. A. Subrahmanyam |
| 1984 | POPL | Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. | P. A. Subrahmanyam, Jia-Huai You |