Jia-Huai You Professor, Ph.D. (1985, University of Utah) Office: Athabasca Hall 3-54; email: jyou at ualberta.ca; phone: (780) 492-5779 Here is me Research Areas: Constraints, Knowledge Representation and Reasoning, Logic Programming, Nonmonotonic Reasoning

Research

Knowledge Representation | Answer Set Programming | Constraint Programming
Sample Students Theses | Publications | Presentations | Scientific Community

Current Courses

Cmput 620 (Fall 2012): Knowledge Representation with Answer Set Programming

Cmput 325 (Winter 2013): Nonprocedural programming languages

Cmput 498 (Winter 2011): Declarative Programming

Marks Database (docsdb)

Academic Calendar

Additional Links

Graduate GAPS | Interests | Other links

Department of Computing Science Website | University of Alberta Website