Knowledge Representation & Reasoning

We have a diverse group of researchers who are interested in ways to represent knowledge, how to reason with this knowledge and how to learn the knowledge. David Poole leads this group with his foundational work on probabilistic first order logic and semantic science. This work on logical and probabilistic reasoning has been of profound and broad impact in the field of artificial intelligence (AI). Holger Hoos is also an important member of this group with his work on satisfiability (SAT) and planning, which has won numerous awards and competitions.

a place of mind, The University of British Columbia


ICICS/CS Building 201-2366 Main Mall
Vancouver, B.C. V6T 1Z4 Canada
Tel: 604-822-3061 | Fax: 604-822-5485
Undergrad program:
Graduate program:

Emergency Procedures | Accessibility | Contact UBC | © Copyright The University of British Columbia