Jia-Huai You, University of Alberta

Research

Answer Set Programming Boolean Satisfiability Cost-Optimal Planning Existential Rule Languages Knowledge Representation and Reasoning Logic Programming

Latest papers

Reconstructing phylogenies from noisy quartets in polynomial time with a high success probability.
Algorithms for molecular biology : AMB · 2008 · senior author
Quartet-based phylogeny reconstruction with answer set programming.
IEEE/ACM transactions on computational biology and bioinformatics · 2007

All 2 publications

Latest funding

Knowledge Representation and Reasoning: Pushing the Frontier
NSERC · 2020 · Principal investigator
$174,000
Extending Answer Set Programming
NSERC · 2015 · Principal investigator
$180,000
Answer set programming and applications
NSERC · 2010 · Principal investigator
$125,000

All 7 grants and awards

2 publications.

01

Reconstructing phylogenies from noisy quartets in polynomial time with a high success probability.

Wu G, Kao MY, Lin G, You JH

Algorithms for molecular biology : AMB2008Senior author

DOI: 10.1186/1748-7188-3-1 PMID: 18218120

02

Quartet-based phylogeny reconstruction with answer set programming.

Wu G, You JH, Lin G

IEEE/ACM transactions on computational biology and bioinformatics2007

DOI: 10.1109/tcbb.2007.1008 PMID: 17277421

Knowledge Representation and Reasoning: Pushing the Frontier

Principal investigatorNSERC2020Discovery Grants Program - Individual

Principal investigators: You, Jia-Huai

Keywords: knowledge representation and reasoning; boolean satisfiability; existential rule languages; answer set programming; cost-optimal planning; logic programming

$174,000

Extending Answer Set Programming

Principal investigatorNSERC2015Discovery Grants Program - Individual

Principal investigators: You, JiaHuai

$180,000

Answer set programming and applications

Principal investigatorNSERC2010Discovery Grants Program - Individual

Principal investigators: You, JiaHuai

$125,000

Answer set programming and systems

Principal investigatorNSERC2005Discovery Grants Program - Individual

Principal investigators: You, JiaHuai

$170,000

A computer system for benchmark testing of logicSQL

Co-investigatorNSERC2001Research Tools and Instruments - Category 1 (<$150,000)

Principal investigators: Yuan, LiYan

$34,372

Nonmonotonic logic programming

Principal investigatorNSERC2000Discovery Grants Program - Individual

Principal investigators: You, JiaHuai

$155,000

Knowledge representations and reasoning in logic programming

Principal investigatorNSERC1996Discovery Grants Program - Individual

Principal investigators: You, JiaHuai

$106,461

From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.

Frequent collaborators

Guohui Lin

Computing Science

2 shared papers, latest 2008

Write to this professor

A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.

Applying for

Paper to mentionMention their NSERC grant from 2020

Subject: Prospective PhD student: Answer Set Programming Dear Professor You, My name is [your name], and I am a [your current degree or role] at [your institution]. I am applying for a PhD position starting in [term and year]. I read your paper "Reconstructing phylogenies from noisy quartets in polynomial time with a high success probability." (2008), and it connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] I also saw your NSERC-funded project "Knowledge Representation and Reasoning: Pushing the Frontier" (2020), and I would be glad to contribute to work in that direction. Are you accepting new PhD students for [term and year]? I have attached my CV and transcripts, and I would be glad to talk at a time that suits you. Thank you for your time. Kind regards, [your name]