Jia-Huai You
|
Research
Knowledge
Representation | Answer Set
Programming | Constraint
Programming
Cmput 325 : Nonprocedural Programming Languages
Cmput 204 : Algorithms I
Cmput 620 : Knowledge
Representation and Reasoning with Answer Set Programming Marks Database
(docsdb)
Department of Computing
Science Website | University of Alberta
Website
Publications
Recent Courses
Additional Links