You, Jia-Huai

17 publications

AAAI 2025 An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships Spencer Killen, Jia-Huai You, Jesse Heyninck

AAAI 2020 Guiding CDCL SAT Search via Random Exploration amid Conflict Depression Md. Solimul Chowdhury, Martin Müller, Jia-Huai You

AAAI 2020 Towards Universal Languages for Tractable Ontology Mediated Query Answering Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang

AAAI 2018 Preliminary Results on Exploration-Driven Satisfiability Solving Md. Solimul Chowdhury, Martin Müller, Jia-Huai You

IJCAI 2018 Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract) Fangfang Liu, Jia-Huai You

IJCAI 2016 Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering Heng Zhang, Yan Zhang, Jia-Huai You

AAAI 2015 Existential Rule Languages with Finite Chase: Complexity and Expressiveness Heng Zhang, Yan Zhang, Jia-Huai You

IJCAI 2015 On Forgetting Postulates in Answer Set Programming Jianmin Ji, Jia-Huai You, Yisong Wang

AAAI 2012 A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You

AAAI 2011 Integrating Rules and Description Logics by Circumscription Qian Yang, Jia-Huai You, Zhiyong Feng

AAAI 2008 Abductive Logic Programming by Nonground Rewrite Systems Fangzhen Lin, Jia-Huai You

AAAI 2008 Loop Formulas for Logic Programs with Arbitrary Constraint Atoms Jia-Huai You, Guohua Liu

AAAI 2007 A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints Yi-Dong Shen, Jia-Huai You

IJCAI 2003 On the Equivalence Between Answer Sets and Models of Completion for Nested Logic Programs Jia-Huai You, Li-Yan Yuan, Mingyi Zhang

IJCAI 2003 Recycling Computed Answers in Rewrite Systems for Abduction Fangzhen Lin, Jia-Huai You

IJCAI 2001 Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting Fangzhen Lin, Jia-Huai You

IJCAI 1997 A Default Interpretation of Defeasible Network Xianchang Wang, Jia-Huai You, Li-Yan Yuan