Jia-Huai You

ORCID

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 33

Top Venues

CoRR

AAAI

Theory Pract. Log. Program.

RuleML+RR

Publications

Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
Exploring Conflict Generating Decisions: Initial Results (Extended Abstract). SOCS (2024)
Spencer Killen, Wenkai Gao, Jia-Huai You
Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF. ICLP Workshops (2023)
Spencer Killen, Jia-Huai You
Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems. CoRR (2023)
Spencer Killen, Jia-Huai You
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases. ICLP Technical Communications / Doctoral Consortium (2022)
Fangfang Liu, Jia-Huai You
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. Theory Pract. Log. Program. 22 (2) (2022)
Yi Huang, Yisong Wang, Jia-Huai You, Mingyi Zhang, Ying Zhang
Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions. New Gener. Comput. 39 (1) (2021)
Arash Karimi, Heng Zhang, Jia-Huai You
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation. Theory Pract. Log. Program. 21 (1) (2021)
Spencer Killen, Jia-Huai You
Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases. ICLP Workshops (2021)
Fangfang Liu, Jia-Huai You
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. CoRR (2021)
Spencer Killen, Jia-Huai You
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases. KR (2021)
Spencer Killen, Jia-Huai You
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases. CoRR (2021)
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
A Deep Dive into Conflict Generating Decisions. CoRR (2021)
Arash Karimi, Jia-Huai You
Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies. RuleML+RR (2020)
Arash Karimi, Heng Zhang, Jia-Huai You
Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation. CoRR (2020)
Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang
Towards Universal Languages for Tractable Ontology Mediated Query Answering. AAAI (2020)
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
Guiding CDCL SAT Search via Random Exploration amid Conflict Depression. AAAI (2020)
David Spies, Jia-Huai You, Ryan Hayward
Mutex Graphs and Multicliques: Reducing Grounding Size for Planning. ICLP Technical Communications (2019)
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. CP (2019)
Fangfang Liu, Jia-Huai You
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. RuleML+RR (2019)
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
Characterization of Glue Variables in CDCL SAT Solving. CoRR (2019)
Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang
Towards Universal Languages for Tractable Ontology Mediated Query Answering. CoRR (2019)
David Spies, Jia-Huai You, Ryan Hayward
Domain-Independent Cost-Optimal Planning in ASP. Theory Pract. Log. Program. 19 (5-6) (2019)
David Spies, Jia-Huai You, Ryan Hayward
Domain-Independent Cost-Optimal Planning in ASP. CoRR (2019)
Arash Karimi, Heng Zhang, Jia-Huai You
Restricted Chase Termination: A Hierarchical Approach and Experimentation. RuleML+RR (2018)
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
Preliminary Results on Exploration-Driven Satisfiability Solving. AAAI (2018)
Fangfang Liu, Jia-Huai You
Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract). IJCAI (2018)
Jianmin Ji, Fangfang Liu, Jia-Huai You
Well-founded operators for normal hybrid MKNF knowledge bases. Theory Pract. Log. Program. 17 (5-6) (2017)
Arash Karimi, Heng Zhang, Jia-Huai You
Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant. Description Logics (2017)
Fangfang Liu, Jia-Huai You
Three-valued semantics for hybrid MKNF knowledge bases revisited. Artif. Intell. 252 (2017)
Jianmin Ji, Fangfang Liu, Jia-Huai You
Well-Founded Operators for Normal Hybrid MKNF Knowledge Bases. CoRR (2017)
Fangfang Liu, Yi Bi, Md. Solimul Chowdhury, Jia-Huai You, Zhiyong Feng
Flexible Approximators for Approximating Fixpoint Theory. Canadian Conference on AI (2016)
Heng Zhang, Yan Zhang, Jia-Huai You
Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering. IJCAI (2016)
Heng Zhang, Yan Zhang, Jia-Huai You
Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering. CoRR (2016)
Jianmin Ji, Jia-Huai You, Yisong Wang
On Forgetting Postulates in Answer Set Programming. IJCAI (2015)
Lengdong Wu, Li-Yan Yuan, Jia-Huai You
Survey of Large-Scale Data Management Systems for Big Data Applications. J. Comput. Sci. Technol. 30 (1) (2015)
Heng Zhang, Yan Zhang, Jia-Huai You
Existential Rule Languages with Finite Chase: Complexity and Expressiveness. AAAI (2015)
Li-Yan Yuan, Lengdong Wu, Jia-Huai You, Yan Chi
A Demonstration of Rubato DB: A Highly Scalable NewSQL Database System for OLTP and Big Data Applications. SIGMOD Conference (2015)
Li-Yan Yuan, Lengdong Wu, Jia-Huai You, Yan Chi
Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications. CIKM (2014)
Lengdong Wu, Li-Yan Yuan, Jia-Huai You
BASIC: An alternative to BASE for large-scale data management system. IEEE BigData (2014)
Yi Bi, Jia-Huai You, Zhiyong Feng
A Generalization of Approximation Fixpoint Theory and Application. RR (2014)
Yi Bi, Jia-Huai You, Zhiyong Feng
A Well-Founded Semantics for FOL-Programs. CoRR (2014)
Md. Solimul Chowdhury, Fangfang Liu, Wu Chen, Arash Karimi, Jia-Huai You
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies. LOPSTR (2014)
Heng Zhang, Yan Zhang, Jia-Huai You
Existential Rule Languages with Finite Chase: Complexity and Expressiveness. CoRR (2014)
Jia-Huai You, Heng Zhang, Yan Zhang
Disjunctive logic programs with existential quantification in rule heads. Theory Pract. Log. Program. 13 (4-5) (2013)
Yisong Wang, Jia-Huai You, Mingyi Zhang
Embedding Functions into Disjunctive Logic Programs. ICTAC (2013)
Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. RR (2013)
Guohua Liu, Jia-Huai You
Relating weight constraint and aggregate programs: Semantics and representation. Theory Pract. Log. Program. 13 (1) (2013)
Jianmin Ji, Fangzhen Lin, Jia-Huai You
Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Md. Solimul Chowdhury, Jia-Huai You
SAT with Global Constraints. ICTAI (2012)
Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You
A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms. AAAI (2012)
Jia-Huai You, John Morris, Yi Bi
Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs. ICLP (Technical Communications) (2012)
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang
The loop formula based semantics of description logic programs. Theor. Comput. Sci. 415 (2012)
Jia-Huai You, Yi-Dong Shen, Kewen Wang
Well-Supported Semantics for Logic Programs with Generalized Rules. Correct Reasoning (2012)
Qian Yang, Jia-Huai You, Zhiyong Feng
Integrating Rules and Description Logics by Circumscription. AAAI (2011)
Chonghai Wang, Li-Yan Yuan, Jia-Huai You
ranking for objects with uncertain data. Comput. Math. Appl. 62 (7) (2011)
Guohua Liu, Jia-Huai You
Relating Weight Constraint and Aggregate Programs: Semantics and Representation CoRR (2011)
Guohua Liu, Jia-Huai You
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. Fundam. Informaticae 106 (1) (2011)
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter
Embedding Description Logic Programs into Default Logic CoRR (2011)
Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You
Compiling Answer Set Programs into Event-Driven Action Rules. LPNMR (2011)
Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You
Strong Equivalence of Logic Programs with Abstract Constraint Atoms. LPNMR (2011)
Chonghai Wang, Li-Yan Yuan, Jia-Huai You, Osmar R. Zaïane, Jian Pei
On Pruning for Top-K Ranking in Uncertain Databases. Proc. VLDB Endow. 4 (10) (2011)
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen
Loop formulas for description logic programs. Theory Pract. Log. Program. 10 (4-6) (2010)
Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang
Weight constraint programs with evaluable functions. Ann. Math. Artif. Intell. 60 (3-4) (2010)
Guohua Liu, Jia-Huai You
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. Fundam. Informaticae 101 (3) (2010)
Chonghai Wang, Li-Yan Yuan, Jia-Huai You
Top-k ranking for uncertain data. FSKD (2010)
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen
Loop Formulas for Description Logic Programs CoRR (2010)
Yisong Wang, Mingyi Zhang, Jia-Huai You
Logic Programs, Compatibility and Forward Chaining Construction. J. Comput. Sci. Technol. 24 (6) (2009)
Yi-Dong Shen, Jia-Huai You
A Default Approach to Semantics of Logic Programs with Constraint Atoms. LPNMR (2009)
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang
Weight Constraint Programs with Functions. LPNMR (2009)
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. Theory Pract. Log. Program. 9 (4) (2009)
Jia-Huai You
Towards an Embedded Approach to Declarative Problem Solving in ASP. LPNMR (2009)
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms CoRR (2009)
Fangzhen Lin, Jia-Huai You
Abductive Logic Programming by Nonground Rewrite Systems. AAAI (2008)
Guohua Liu, Jia-Huai You
Lparse Programs Revisited: Semantics and Representation of Aggregates. ICLP (2008)
Jia-Huai You, Guohua Liu
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms. AAAI (2008)
Gang Wu, Ming-Yang Kao, Guohui Lin, Jia-Huai You
Reconstructing phylogenies from noisy quartets in polynomial time with a high success probability. Algorithms Mol. Biol. 3 (2008)
Fangzhen Lin, Jia-Huai You
Recycling computed answers in rewrite systems for abduction. ACM Trans. Comput. Log. 8 (2) (2007)
Guohua Liu, Jia-Huai You
On the Effectiveness of Looking Ahead in Search for Answer Sets. LPNMR (2007)
Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. LPNMR (2007)
Guohua Liu, Jia-Huai You
Adaptive Lookahead for Answer Set Computation. ICTAI (2) (2007)
Yi-Dong Shen, Jia-Huai You
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. AAAI (2007)
Gang Wu, Jia-Huai You, Guohui Lin
Quartet-Based Phylogeny Reconstruction with Answer Set Programming. IEEE ACM Trans. Comput. Biol. Bioinform. 4 (1) (2007)
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) (2006)
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) (2006)
Gang Wu, Guohui Lin, Jia-Huai You, Xiaomeng Wu
Faster solution to the maximum quartet consistency problem with constraint programming. APBC (2005)
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 (2005)
Gang Wu, Jia-Huai You, Guohui Lin
Application of Smodels in Quartet Based Phylogeny Construction. LPNMR (2005)
Gang Wu, Jia-Huai You, Guohui Lin
A Polynomial Algorithm for the Minimum Quartet Inconsistency Problem with O(n) Quartet Errors. CSB Workshops (2005)
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms CoRR (2005)
Gang Wu, Jia-Huai You, Guohui Lin
A Lookahead Branch-and-Bound Algorithm for the Maximum Quartet Consistency Problem. WABI (2005)
Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko
Lookahead in Smodels Compared to Local Consistencies in CSP. LPNMR (2005)
Fangzhen Lin, Jia-Huai You
Recycling Computed Answers in Rewrite Systems for Abduction CoRR (2004)
Xiumei Jia, Jia-Huai You, Li-Yan Yuan
Adding Domain Dependent Knowledge into Answer Set Programs for Planning. ICLP (2004)
Jia-Huai You, Guiwen Hou
Arc-Consistency + Unit Propagation = Lookahead. ICLP (2004)
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
Enhancing global SLS-resolution with loop cutting and tabling mechanisms. Theor. Comput. Sci. 328 (3) (2004)
Gang Wu, Guohui Lin, Jia-Huai You
Quartet Based Phylogeny Reconstruction with Answer Set Programming. ICTAI (2004)
Aditya K. Ghose, Pablo O. Hadjinian, Abdul Sattar, Jia-Huai You, Randy Goebel
Iterated Belief Change. Comput. Intell. 20 (1) (2004)
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) (2003)
Jia-Huai You, Li-Yan Yuan, Mingyi Zhang
On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. IJCAI (2003)
Fangzhen Lin, Jia-Huai You
Recycling Computed Answers in Rewrite Systems for Abduction. IJCAI (2003)

Jia-Huai You.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jia-Huai You