Jia-Huai You
Orcid: 0000-0001-9372-4371Affiliations:
- University of Alberta, Edmonton, Canada
According to our database1,
Jia-Huai You
authored at least 149 papers
between 1984 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
1
1
1
1
3
2
2
1
1
3
1
4
2
2
1
2
2
1
2
1
2
4
2
1
1
1
1
1
2
1
2
1
1
1
2
1
1
2
3
2
3
1
2
3
4
2
4
3
1
3
3
4
5
2
1
1
1
2
1
6
3
3
3
2
3
3
4
3
3
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024
Proceedings of the Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), 2024
2023
Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF.
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023
2022
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.
Theory Pract. Log. Program., 2022
Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022
2021
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation.
Theory Pract. Log. Program., 2021
Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions.
New Gener. Comput., 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021
2020
Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies.
Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019
Proceedings of the Principles and Practice of Constraint Programming, 2019
2018
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract).
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Theory Pract. Log. Program., 2017
Artif. Intell., 2017
Proceedings of the 30th International Workshop on Description Logics, 2017
2016
Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Advances in Artificial Intelligence, 2016
2015
J. Comput. Sci. Technol., 2015
A Demonstration of Rubato DB: A Highly Scalable NewSQL Database System for OLTP and Big Data Applications.
Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014
Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications.
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014
Proceedings of the 2014 IEEE International Conference on Big Data (IEEE BigData 2014), 2014
2013
Theory Pract. Log. Program., 2013
Theory Pract. Log. Program., 2013
Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms.
Theory Pract. Log. Program., 2013
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013
2012
Theor. Comput. Sci., 2012
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
Proceedings of the Correct Reasoning, 2012
A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs.
Fundam. Informaticae, 2011
Comput. Math. Appl., 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010
2009
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms.
Theory Pract. Log. Program., 2009
J. Comput. Sci. Technol., 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
2008
Reconstructing phylogenies from noisy quartets in polynomial time with a high success probability.
Algorithms Mol. Biol., 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
ACM Trans. Comput. Log., 2007
IEEE ACM Trans. Comput. Biol. Bioinform., 2007
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
ACM Trans. Comput. Log., 2006
A polynomial time algorithm for the minimum quartet inconsistency problem with O(n) quartet errors.
Inf. Process. Lett., 2006
2005
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops
CoRR, 2005
Proceedings of the Algorithms in Bioinformatics, 5th International Workshop, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
A Polynomial Algorithm for the Minimum Quartet Inconsistency Problem with O(n) Quartet Errors.
Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, 2005
Faster solution to the maximum quartet consistency problem with constraint programming.
Proceedings of 3rd Asia-Pacific Bioinformatics Conference, 17-21 January 2005, Singapore, 2005
2004
Theor. Comput. Sci., 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
2003
ACM Trans. Comput. Log., 2003
On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs.
Proceedings of the IJCAI-03, 2003
2002
Abduction in logic programming: A new definition and an abductive procedure based on rewriting.
Artif. Intell., 2002
Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison.
Proceedings of the Advances in Artificial Intelligence, 2002
2001
Theory Pract. Log. Program., 2001
IEEE Trans. Knowl. Data Eng., 2001
Implementation of a Linear Tabling Mechanism.
J. Funct. Log. Program., 2001
2000
Unfolding Partiality and Disjunctions in Stable Model Semantics.
Proceedings of the KR 2000, 2000
1999
Artif. Intell., 1999
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999
A Linear Tabling Mechanism.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999
1998
Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998
1997
Proceedings of the Rules in Database Systems, Third International Workshop, 1997
Proceedings of the Logic Programming and Knowledge Representation, 1997
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
Disjunctive Logic Programming as Constrained Inferences.
Proceedings of the Logic Programming, 1997
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997
Proceedings of the Agents and Multi-Agent Systems Formalisms, 1997
1996
Proceedings of the Learning and Reasoning with Complex Representations, 1996
Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996
Circumscription by Inference Rules with Priority.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996
1995
Proceedings of the Logic Programming, 1995
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995
An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases.
Proceedings of the Deductive Databases and Logic Programming, 1995
1994
J. Comput. Syst. Sci., 1994
A Simple but Effective Program Revision Method.
Proceedings of the Logic Programming, 1994
Tractable Argumentation Semantics via Iterative Belief Revision.
Proceedings of the Logic Programming, 1994
Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994
1993
Parallel Comput., 1993
Contradiction Resolving for Extended Logic Programs and Default Theories.
Proceedings of the Logic Programming, 1993
Proceedings of the Deductive and Object-Oriented Databases, Third International Conference, 1993
1992
Proceedings of the 6th International Parallel Processing Symposium, 1992
Proceedings of the 6th international conference on Supercomputing, 1992
Conflict-Free Routing on Hypercubes.
Proceedings of the Computing and Information, 1992
1991
J. Comput. Syst. Sci., 1991
Realizing Frequently Used Permutations on Syncube.
Proceedings of the International Conference on Parallel Processing, 1991
Proceedings of the Advances in Computing and Information, 1991
Proceedings of the Advances in Computing and Information, 1991
1990
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990
Finding the Shortest Path in ESMSS Network.
Proceedings of the 1990 International Conference on Parallel Processing, 1990
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990
1989
Enumarating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems.
J. Symb. Comput., 1989
Supported Circumscription and Its Relation to Logic Programming with Negation.
Proceedings of the Logic Programming, 1989
Proceedings of the Knowledge Based Computer Systems, 1989
Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989
1988
Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988
Proceedings of the AI '88: 2nd Australian Joint Artificial Intelligence Conference, 1988
Proceedings of the Algebraic and Logic Programming, 1988
1986
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986
Proceedings of the Automata, Languages and Programming, 13th International Colloquium, 1986
FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming.
Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986
1984
Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming.
Proceedings of the 1984 International Symposium on Logic Programming, 1984
Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs.
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984