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.