I am a Professor in the Department of Computer Science, University of British Columbia and the director of the Laboratory for Computational Intelligence. I was the winner of the Canadian AI Association (CAIAC), 2013 Lifetime Achievement Award. I am a Fellow of the Association for the Advancement of Artificial Intelligence, and a fellow of CAIAC. I am former chair of the Association for Uncertainty in Artificial Intelligence. During the 2014-2015 academic year, I was a Leverhulme Trust visting professor at the University of Oxford.



My main research interests are artificial intelligence, knowledge representation, reasoning under uncertainty, computational logic, diagnosis, probabilistic argumentation systems, reasoning about actions, decision theoretic planning, intelligent agents, semantic science and preference elicitation.

In general, I am interested in the questions: What should an agent do based on its beliefs, abilities and preferences? How can we acquire and efficiently use information to make better decisions? I am currently working mostly on existential uncertainty, lifted inference, Semantic Science, and applications in spatial decision making, medicine and computational sustainability. I am particularly interested in probability and utility modelling, reasoning and learning over rich hypothesis spaces, with multiple possible objects with the vocabularies mediated by ontologies.

  • long-term research overview
  • a list of all of my papers (many are on-line)
  • recent talks
  • AILog2; a simple logical representation and reasoning system with explanation facilities, declarative debugging, ask-the-user, abduction and probabilistic reasoning; formerly CILog. Some older code to play with.

For overviews of my research see: "Agents, Decisions, Beliefs, Preferences, Science and Politics" for a brief overview, "Semantic Science: Ontologies, Data and Probabilistic Theories" for a vision of what we are trying to do with semantic science, and "The Independent Choice Logic and Beyond" for an overview of what we know how to do with rich probabilistic logical relational languages, and what challenges remain. See also my listing in the International Directory of Logicians.

See also "How to write a research paper".


Teaching and Administrivia

I have lots of Interesting Pointers.

Contact Information