Jia-Huai You

Full Professor, Computing Science, University of Alberta

Joined

July 2019

Names

Jia-Huai You (Preferred)

Jia You

Emails

****@ualberta.ca (Confirmed)

Personal Links

Homepage

DBLP

Career & Education History

Full Professor

Computing Science, University of Alberta (ualberta.ca)

Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Preliminary Results on Exploration-Driven Satisfiability Solving
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
- 2018 (modified: 02 Mar 2020)
- AAAI 2018
- Readers: Everyone
Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract)
Fangfang Liu, Jia-Huai You
- 2018 (modified: 10 Nov 2022)
- IJCAI 2018
- Readers: Everyone
Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering
Heng Zhang, Yan Zhang, Jia-Huai You
- 2016 (modified: 14 Sept 2021)
- IJCAI 2016
- Readers: Everyone
Existential Rule Languages with Finite Chase: Complexity and Expressiveness
Heng Zhang, Yan Zhang, Jia-Huai You
- 2015 (modified: 14 Sept 2021)
- AAAI 2015
- Readers: Everyone
On Forgetting Postulates in Answer Set Programming
Jianmin Ji, Jia-Huai You, Yisong Wang
- 2015 (modified: 07 Nov 2024)
- IJCAI 2015
- Readers: Everyone
A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms
Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You
- 2012 (modified: 07 Nov 2024)
- AAAI 2012
- Readers: Everyone
Integrating Rules and Description Logics by Circumscription
Qian Yang, Jia-Huai You, Zhiyong Feng
- 2011 (modified: 16 Jul 2019)
- AAAI 2011
- Readers: Everyone
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms
Jia-Huai You, Guohua Liu
- 2008 (modified: 16 Jul 2019)
- AAAI 2008
- Readers: Everyone
Abductive Logic Programming by Nonground Rewrite Systems
Fangzhen Lin, Jia-Huai You
- 2008 (modified: 16 Jul 2019)
- AAAI 2008
- Readers: Everyone
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints
Yi-Dong Shen, Jia-Huai You
- 2007 (modified: 16 Jul 2019)
- AAAI 2007
- Readers: Everyone

View all 14 publications