Jia-Huai You

177 papers A* 23A 4B 24C 7Misc 1Journal 73Unranked 44
YearRankTypeTitle / Venue / Authors
2025 A* conf
An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships.
AAAI
Spencer Killen, Jia-Huai You, Jesse Heyninck
2025 — conf
Eliminating Unintended Stable Fixpoints in Approximation Fixpoint Theory.
NMR
Spencer Killen, Jia-Huai You
2025 — conf
Using AFT to Characterize Shen and Eiter's Disjunctive Logic Program Semantics.
NMR
Spencer Killen, Jia-Huai You
2024 — conf
Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning.
ICLP Workshops
Spencer Killen, Jia-Huai You
2024 B conf
Exploring Conflict Generating Decisions: Initial Results (Extended Abstract).
SOCS
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
2024 J jnl
On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases.
CoRR
Riley Kinahan, Spencer Killen, Kevin Wan, Jia-Huai You
2024 J jnl
On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases.
Theory Pract. Log. Program.
Riley Kinahan, Spencer Killen, Kevin Wan, Jia-Huai You
2023 J jnl
Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems.
CoRR
Spencer Killen, Jia-Huai You
2023 — conf
Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF.
ICLP Workshops
Spencer Killen, Wenkai Gao, Jia-Huai You
2022 — conf
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases.
ICLP Technical Communications / Doctoral Consortium
Spencer Killen, Jia-Huai You
2022 J jnl
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.
Theory Pract. Log. Program.
Fangfang Liu, Jia-Huai You
2021 J jnl
A Deep Dive into Conflict Generating Decisions.
CoRR
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
2021 J jnl
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.
CoRR
Fangfang Liu, Jia-Huai You
2021 — conf
Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases.
ICLP Workshops
Spencer Killen, Jia-Huai You
2021 J jnl
Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions.
New Gener. Comput.
Yi Huang, Yisong Wang, Jia-Huai You, Mingyi Zhang, Ying Zhang
2021 J jnl
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation.
Theory Pract. Log. Program.
Arash Karimi, Heng Zhang, Jia-Huai You
2021 A* conf
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases.
KR
Spencer Killen, Jia-Huai You
2021 J jnl
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases.
CoRR
Spencer Killen, Jia-Huai You
2020 B conf
Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies.
RuleML+RR
Arash Karimi, Jia-Huai You
2020 A* conf
Guiding CDCL SAT Search via Random Exploration amid Conflict Depression.
AAAI
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
2020 J jnl
Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation.
CoRR
Arash Karimi, Heng Zhang, Jia-Huai You
2020 A* conf
Towards Universal Languages for Tractable Ontology Mediated Query Answering.
AAAI
Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang
2019 B conf
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.
RuleML+RR
Fangfang Liu, Jia-Huai You
2019 J jnl
Characterization of Glue Variables in CDCL SAT Solving.
CoRR
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
2019 J jnl
Domain-Independent Cost-Optimal Planning in ASP.
CoRR
David Spies, Jia-Huai You, Ryan Hayward
2019 J jnl
Domain-Independent Cost-Optimal Planning in ASP.
Theory Pract. Log. Program.
David Spies, Jia-Huai You, Ryan Hayward
2019 A conf
Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics.
CP
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
2019 — conf
Mutex Graphs and Multicliques: Reducing Grounding Size for Planning.
ICLP Technical Communications
David Spies, Jia-Huai You, Ryan Hayward
2019 J jnl
Towards Universal Languages for Tractable Ontology Mediated Query Answering.
CoRR
Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang
2018 A* conf
Preliminary Results on Exploration-Driven Satisfiability Solving.
AAAI
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
2018 B conf
Restricted Chase Termination: A Hierarchical Approach and Experimentation.
RuleML+RR
Arash Karimi, Heng Zhang, Jia-Huai You
2018 A* conf
Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract).
IJCAI
Fangfang Liu, Jia-Huai You
2017 — conf
Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant.
Description Logics
Arash Karimi, Heng Zhang, Jia-Huai You
2017 J jnl
Three-valued semantics for hybrid MKNF knowledge bases revisited.
Artif. Intell.
Fangfang Liu, Jia-Huai You
2017 J jnl
Well-Founded Operators for Normal Hybrid MKNF Knowledge Bases.
CoRR
Jianmin Ji, Fangfang Liu, Jia-Huai You
2017 J jnl
Well-founded operators for normal hybrid MKNF knowledge bases.
Theory Pract. Log. Program.
Jianmin Ji, Fangfang Liu, Jia-Huai You
2016 A* conf
Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering.
IJCAI
Heng Zhang, Yan Zhang, Jia-Huai You
2016 J jnl
Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering.
CoRR
Heng Zhang, Yan Zhang, Jia-Huai You
2016 — conf
Flexible Approximators for Approximating Fixpoint Theory.
Canadian AI
Fangfang Liu, Yi Bi, Md. Solimul Chowdhury, Jia-Huai You, Zhiyong Feng
2015 — conf
A Demonstration of Rubato DB: A Highly Scalable NewSQL Database System for OLTP and Big Data Applications.
SIGMOD Conference
Li-Yan Yuan, Lengdong Wu, Jia-Huai You, Yan Chi
2015 A* conf
Existential Rule Languages with Finite Chase: Complexity and Expressiveness.
AAAI
Heng Zhang, Yan Zhang, Jia-Huai You
2015 A* conf
On Forgetting Postulates in Answer Set Programming.
IJCAI
Jianmin Ji, Jia-Huai You, Yisong Wang
2015 J jnl
Survey of Large-Scale Data Management Systems for Big Data Applications.
J. Comput. Sci. Technol.
Lengdong Wu, Li-Yan Yuan, Jia-Huai You
2014 — conf
A Generalization of Approximation Fixpoint Theory and Application.
RR
Yi Bi, Jia-Huai You, Zhiyong Feng
2014 J jnl
A Well-Founded Semantics for FOL-Programs.
CoRR
Yi Bi, Jia-Huai You, Zhiyong Feng
2014 — conf
BASIC: An alternative to BASE for large-scale data management system.
IEEE BigData
Lengdong Wu, Li-Yan Yuan, Jia-Huai You
2014 J jnl
Existential Rule Languages with Finite Chase: Complexity and Expressiveness.
CoRR
Heng Zhang, Yan Zhang, Jia-Huai You
2014 C conf
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies.
LOPSTR
Md. Solimul Chowdhury, Fangfang Liu, Wu Chen, Arash Karimi, Jia-Huai You
2014 A conf
Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications.
CIKM
Li-Yan Yuan, Lengdong Wu, Jia-Huai You, Yan Chi
2013 J jnl
Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms.
Theory Pract. Log. Program.
Jianmin Ji, Fangzhen Lin, Jia-Huai You
2013 J jnl
Disjunctive logic programs with existential quantification in rule heads.
Theory Pract. Log. Program.
Jia-Huai You, Heng Zhang, Yan Zhang
2013 — conf
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs.
RR
Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen
2013 C conf
Embedding Functions into Disjunctive Logic Programs.
ICTAC
Yisong Wang, Jia-Huai You, Mingyi Zhang
2013 J jnl
Relating weight constraint and aggregate programs: Semantics and representation.
Theory Pract. Log. Program.
Guohua Liu, Jia-Huai You
2012 A* conf
A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms.
AAAI
Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You
2012 — conf
Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs.
ICLP (Technical Communications)
Jia-Huai You, John Morris, Yi Bi
2012 B conf
SAT with Global Constraints.
ICTAI
Md. Solimul Chowdhury, Jia-Huai You
2012 J jnl
The loop formula based semantics of description logic programs.
Theor. Comput. Sci.
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang
2012 — conf
Well-Supported Semantics for Logic Programs with Generalized Rules.
Correct Reasoning
Jia-Huai You, Yi-Dong Shen, Kewen Wang
2011 B conf
Compiling Answer Set Programs into Event-Driven Action Rules.
LPNMR
Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You
2011 J jnl
Embedding Description Logic Programs into Default Logic
CoRR
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter
2011 A* conf
Integrating Rules and Description Logics by Circumscription.
AAAI
Qian Yang, Jia-Huai You, Zhiyong Feng
2011 J jnl
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs.
Fundam. Informaticae
Guohua Liu, Jia-Huai You
2011 J jnl
On Pruning for Top-K Ranking in Uncertain Databases.
Proc. VLDB Endow.
Chonghai Wang, Li-Yan Yuan, Jia-Huai You, Osmar R. Zaïane, Jian Pei
2011 J jnl
On the semantics of top-
Comput. Math. Appl.
Chonghai Wang, Li-Yan Yuan, Jia-Huai You
2011 J jnl
Relating Weight Constraint and Aggregate Programs: Semantics and Representation
CoRR
Guohua Liu, Jia-Huai You
2011 B conf
Strong Equivalence of Logic Programs with Abstract Constraint Atoms.
LPNMR
Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You
2010 J jnl
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs.
Fundam. Informaticae
Guohua Liu, Jia-Huai You
2010 J jnl
Loop Formulas for Description Logic Programs
CoRR
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen
2010 J jnl
Loop formulas for description logic programs.
Theory Pract. Log. Program.
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen
2010 — conf
Top-k ranking for uncertain data.
FSKD
Chonghai Wang, Li-Yan Yuan, Jia-Huai You
2010 J jnl
Weight constraint programs with evaluable functions.
Ann. Math. Artif. Intell.
Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang
2009 B conf
A Default Approach to Semantics of Logic Programs with Constraint Atoms.
LPNMR
Yi-Dong Shen, Jia-Huai You
2009 J jnl
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms
CoRR
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
2009 J jnl
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms.
Theory Pract. Log. Program.
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
2009 J jnl
Logic Programs, Compatibility and Forward Chaining Construction.
J. Comput. Sci. Technol.
Yisong Wang, Mingyi Zhang, Jia-Huai You
2009 B conf
Towards an Embedded Approach to Declarative Problem Solving in ASP.
LPNMR
Jia-Huai You
2009 B conf
Weight Constraint Programs with Functions.
LPNMR
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang
2008 A* conf
Abductive Logic Programming by Nonground Rewrite Systems.
AAAI
Fangzhen Lin, Jia-Huai You
2008 A* conf
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms.
AAAI
Jia-Huai You, Guohua Liu
2008 B conf
Lparse Programs Revisited: Semantics and Representation of Aggregates.
ICLP
Guohua Liu, Jia-Huai You
2008 J jnl
Reconstructing phylogenies from noisy quartets in polynomial time with a high success probability.
Algorithms Mol. Biol.
Gang Wu, Ming-Yang Kao, Guohui Lin, Jia-Huai You
2007 A* conf
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints.
AAAI
Yi-Dong Shen, Jia-Huai You
2007 — conf
Adaptive Lookahead for Answer Set Computation.
ICTAI (2)
Guohua Liu, Jia-Huai You
2007 B conf
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities.
LPNMR
Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen
2007 B conf
On the Effectiveness of Looking Ahead in Search for Answer Sets.
LPNMR
Guohua Liu, Jia-Huai You
2007 J jnl
Quartet-Based Phylogeny Reconstruction with Answer Set Programming.
IEEE ACM Trans. Comput. Biol. Bioinform.
Gang Wu, Jia-Huai You, Guohui Lin
2007 J jnl
Recycling computed answers in rewrite systems for abduction.
ACM Trans. Comput. Log.
Fangzhen Lin, Jia-Huai You
2006 J jnl
A polynomial time algorithm for the minimum quartet inconsistency problem with O(n) quartet errors.
Inf. Process. Lett.
Gang Wu, Jia-Huai You, Guohui Lin
2006 J jnl
Unfolding partiality and disjunctions in stable model semantics.
ACM Trans. Comput. Log.
Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
2005 C conf
A Lookahead Branch-and-Bound Algorithm for the Maximum Quartet Consistency Problem.
WABI
Gang Wu, Jia-Huai You, Guohui Lin
2005 — conf
A Polynomial Algorithm for the Minimum Quartet Inconsistency Problem with O(n) Quartet Errors.
CSB Workshops
Gang Wu, Jia-Huai You, Guohui Lin
2005 B conf
Application of Smodels in Quartet Based Phylogeny Construction.
LPNMR
Gang Wu, Jia-Huai You, Guohui Lin
2005 J jnl
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops
CoRR
Yi-Dong Shen, Qiang Yang, Jia-Huai You, Li-Yan Yuan
2005 J jnl
Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms
CoRR
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
2005 B conf
Faster solution to the maximum quartet consistency problem with constraint programming.
APBC
Gang Wu, Guohui Lin, Jia-Huai You, Xiaomeng Wu
2005 B conf
Lookahead in Smodels Compared to Local Consistencies in CSP.
LPNMR
Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko
2004 B conf
Adding Domain Dependent Knowledge into Answer Set Programs for Planning.
ICLP
Xiumei Jia, Jia-Huai You, Li-Yan Yuan
2004 B conf
Arc-Consistency + Unit Propagation = Lookahead.
ICLP
Jia-Huai You, Guiwen Hou
2004 J jnl
Enhancing global SLS-resolution with loop cutting and tabling mechanisms.
Theor. Comput. Sci.
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
2004 J jnl
Iterated Belief Change.
Comput. Intell.
Aditya K. Ghose, Pablo O. Hadjinian, Abdul Sattar, Jia-Huai You, Randy Goebel
2004 B conf
Quartet Based Phylogeny Reconstruction with Answer Set Programming.
ICTAI
Gang Wu, Guohui Lin, Jia-Huai You
2004 J jnl
Recycling Computed Answers in Rewrite Systems for Abduction
CoRR
Fangzhen Lin, Jia-Huai You
2003 J jnl
A dynamic approach to characterizing termination of general logic programs.
ACM Trans. Comput. Log.
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang
2003 A* conf
On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs.
IJCAI
Jia-Huai You, Li-Yan Yuan, Mingyi Zhang
2003 A* conf
Recycling Computed Answers in Rewrite Systems for Abduction.
IJCAI
Fangzhen Lin, Jia-Huai You
2003 J jnl
Unfolding Partiality and Disjunctions in Stable Model Semantics
CoRR
Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
2002 J jnl
A Dynamic Approach to Characterizing Termination of General Logic Programs
CoRR
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang
2002 J jnl
Abduction in logic programming: A new definition and an abductive procedure based on rewriting.
Artif. Intell.
Fangzhen Lin, Jia-Huai You
2002 J jnl
SLT-Resolution for the Well-Founded Semantics.
J. Autom. Reason.
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
2002 Misc conf
Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison.
AI
Guan-Shieng Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You
2001 A* conf
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting.
IJCAI
Fangzhen Lin, Jia-Huai You
2001 J jnl
Implementation of a Linear Tabling Mechanism.
J. Funct. Log. Program.
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
2001 J jnl
Linear tabulated resolution based on Prolog control strategy.
Theory Pract. Log. Program.
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
2001 J jnl
Loop checks for logic programs with functions.
Theor. Comput. Sci.
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
2001 J jnl
Nonmonotonic Reasoning as Prioritized Argumentation.
IEEE Trans. Knowl. Data Eng.
Jia-Huai You, Xianchang Wang, Li-Yan Yuan
2000 J jnl
An abductive approach to disjunctive logic programming.
J. Log. Program.
Jia-Huai You, Li-Yan Yuan, Randy Goebel
2000 C conf
Implementation of a Linear Tabling Mechanism.
PADL
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
2000 J jnl
Linear Tabulated Resolution Based on Prolog Control Strategy
CoRR
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
2000 J jnl
SLT-Resolution for the Well-Founded Semantics
CoRR
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
2000 A* conf
Unfolding Partiality and Disjunctions in Stable Model Semantics.
KR
Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You
2000 J jnl
Verifying Termination of General Logic Programs with Concrete Queries
CoRR
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
1999 B conf
A Linear Tabling Mechanism.
ICLP
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
1999 J jnl
Compiling Defeasible Inheritance Networks to General Logic Programs.
Artif. Intell.
Jia-Huai You, Xianchang Wang, Li-Yan Yuan
1999 B conf
Linear Tabulated Resolutions for the Well-Founded Semantics.
LPNMR
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
1998 J jnl
Coherence Approach to Logic Program Revision.
IEEE Trans. Knowl. Data Eng.
Li-Yan Yuan, Jia-Huai You
1998 — conf
Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure.
IJCSLP
Jia-Huai You, Li-Yan Yuan, Randy Goebel
1997 — conf
A Default Interpretation of Defeasible Network.
IJCAI (1)
Xianchang Wang, Jia-Huai You, Li-Yan Yuan
1997 — conf
An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure.
FSTTCS
Jia-Huai You, Li-Yan Yuan, Randy Goebel
1997 — conf
Disjunctive Logic Programming and Autoepistemic Logic.
LPKR
Li-Yan Yuan, Jia-Huai You, Randy Goebel
1997 — conf
Disjunctive Logic Programming and Possible Model Semantics (Invited Paper).
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Li-Yan Yuan, Jia-Huai You, Randy Goebel
1997 B conf
Disjunctive Logic Programming as Constrained Inferences.
ICLP
Jia-Huai You, Xianchang Wang, Li-Yan Yuan
1997 — conf
On Confluence Property of Active Databases with Meta-Rules.
Rules in Database Systems
Xianchang Wang, Jia-Huai You, Li-Yan Yuan
1996 — conf
A framework for learning constraints: Preliminary report.
PRICAI Workshops
Srinivas Padmanabhuni, Jia-Huai You, Aditya Ghose
1996 A conf
Circumscription by Inference Rules with Priority.
ECAI
Xianchang Wang, Jia-Huai You, Li-Yan Yuan
1996 J jnl
Iterative Belief Revision in Extended Logic Programming.
Theor. Comput. Sci.
Jia-Huai You, Robert Cartwright, Ming Li
1996 — conf
Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints.
NMELP
Xianchang Wang, Jia-Huai You, Li-Yan Yuan
1995 — conf
An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases.
Deductive Databases / Abduction in Deductive Databases
Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel
1995 — conf
An Introspective Framework for Paraconsistent Logic Programs.
ILPS
Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel
1995 B conf
On Coherence Approach to Logic Program Revision.
ICLP
Li-Yan Yuan, Jia-Huai You
1995 J jnl
On the Equivalence of Semantics for Normal Logic Programs.
J. Log. Program.
Jia-Huai You, Li-Yan Yuan
1995 B conf
On the Extension of Logic Programming with Negation through Uniform Proofs.
LPNMR
Li-Yan Yuan, Jia-Huai You
1994 — conf
A Simple but Effective Program Revision Method.
ILPS
Li-Yan Yuan, Jia-Huai You
1994 J jnl
A Three-Valued Semantics for Deductive Databases and Logic Programs.
J. Comput. Syst. Sci.
Jia-Huai You, Li-Yan Yuan
1994 — conf
Logic Programming with Assumption Denials.
NMELP
Jia-Huai You, Li-Yan Yuan
1994 — conf
Tractable Argumentation Semantics via Iterative Belief Revision.
ILPS
Jia-Huai You, Robert Cartwright
1993 J jnl
Autoepistemic Circumscription and Logic Programming.
J. Autom. Reason.
Li-Yan Yuan, Jia-Huai You
1993 J jnl
Conflict-Free Routing for BPC-Permutations on Synchronous Hupercubes.
Parallel Comput.
Zhiyong Liu, Jia-Huai You
1993 — conf
Contradiction Resolving for Extended Logic Programs and Default Theories.
ILPS
Jia-Huai You, Li-Yan Yuan
1993 — conf
Knowledge Base Revision Using Circumscription.
DOOD
Li-Yan Yuan, Jia-Huai You
1992 J jnl
An Implementation of a Nonlinear Skewing Scheme.
Inf. Process. Lett.
Zhiyong Liu, Jia-Huai You
1992 C conf
Conflict-Free Routing on Hypercubes.
ICCI
Zhiyong Liu, Jia-Huai You, Xiaobo Li
1992 A conf
On storage schemes for parallel array access.
ICS
Zhiyong Liu, Xiaobo Li, Jia-Huai You
1992 — conf
The Odd-Even Expansion Storage Scheme and Its Implementation Issues.
IPPS
Zhiyong Liu, Jia-Huai You, Xiaobo Li
1991 C conf
A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming.
ICCI
Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang
1991 C conf
Increasing Communication Bandwidth on Hypercube.
ICCI
Zhiyong Liu, Jia-Huai You
1991 J jnl
Making default inferences from logic programs.
Comput. Intell.
Liwu Li, Jia-Huai You
1991 — conf
Realizing Frequently Used Permutations on Syncube.
ICPP (1)
Zhiyong Liu, Jia-Huai You
1991 J jnl
Unification Modulo an Equality Theory for Equational Logic Programming.
J. Comput. Syst. Sci.
Jia-Huai You
1990 — conf
Discriminant Circumscription.
FSTTCS
Li-Yan Yuan, Jia-Huai You
1990 — conf
Dynamic load-balancing on a parallel inference system.
SPDP
Zhiyong Liu, Jia-Huai You
1990 — conf
Finding the Shortest Path in ESMSS Network.
ICPP (1)
Zhiyong Liu, Jia-Huai You
1990 A* conf
Three-Valued Formalization of Logic Programming: Is It Needed?
PODS
Jia-Huai You, Li-Yan Yuan
1989 — conf
A new intelligent backtracking scheme for Prolog: a summary of results.
TAI
Jia-Huai You, Brian Wong, Chung-Sea Law
1989 J jnl
Enumarating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems.
J. Symb. Comput.
Jia-Huai You
1989 — conf
On the Completeness of Narrowing for E-Unification.
KBCS
Jia-Huai You, P. A. Subrahmanyam
1989 — conf
Supported Circumscription and Its Relation to Logic Programming with Negation.
NACLP
Jia-Huai You, Liwu Li
1988 A* conf
Outer Narrowing for Equational Theories Based on Constructors.
ICALP
Jia-Huai You
1988 — conf
Parallelism in Nonmonotonic Multiple Inheritance Systems.
Australian Joint Conference on Artificial Intelligence
Vickitt Lau, Jia-Huai You
1988 — conf
Solving Equations in an Equational Language.
ALP
Jia-Huai You
1986 J jnl
A Class of Confluent Term Rewriting Systems and Unification.
J. Autom. Reason.
Jia-Huai You, P. A. Subrahmanyam
1986 A* conf
E-Unification Algorithms for a Class of Confluent Term Rewriting Systems.
ICALP
Jia-Huai You, P. A. Subrahmanyam
1986 A* conf
Equational Logic Programming: An Extension to Equational Programming.
POPL
Jia-Huai You, P. A. Subrahmanyam
1986 — ch.
FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming.
Logic Programming: Functions, Relations, and Equations
P. A. Subrahmanyam, Jia-Huai You
1984 — conf
Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming.
SLP
P. A. Subrahmanyam, Jia-Huai You
1984 J jnl
On Embedding Functions in Logic.
Inf. Process. Lett.
P. A. Subrahmanyam, Jia-Huai You
1984 A* conf
Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs.
POPL
P. A. Subrahmanyam, Jia-Huai You