Artificial Intelligence 3e An Introduction to Lifted Probabilistic Inference Artificial Intelligence 2e Statistical Relational Artificial Intelligence
  Logic, Probability, and Computation Artificial Intelligence 1e Computational
  Intelligence: A Logical Approach

I am Professor emeritus in the Department of Computer Science, University of British Columbia. I have been a faculty member at UBC since 1988 and a full Professor from 1998-2024. (I was a full Professor in the last millenium; the last millennium was, on average, more than 500 years ago, so it was time to retire.) 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 visiting professor at the University of Oxford.

Mastodon


Research

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".


Books


Teaching and Administrivia

I have lots of Interesting Pointers.


Contact Information