Distinguished Administrative Service
- Associate Director, Schwartz Reisman Institute for Technology and Society (2021 – present).
- Board of Directors, KR Inc. (2021 – present).
- Research Lead, Schwartz Reisman Institute for Technology and Society (2020 – present).
- Initiator and Co-developer – University of Toronto Embedded Ethics Education Initiative (with Diane Horton, David Liu, and Steve Coyne) (2019 – present)
- Chair-Elect, Stanford 100 Year Study on Artificial Intelligence (AI100) (2022 – present).
- Standing Committee, Stanford 100 Year Study on Artificial Intelligence (AI100) (2018 – present).
- Chair ACM/AAAI Allen Newell Award Committee (2021).
- ACM/AAAI Allen Newell Award Committee (2018 – 2021).
- AAAI Fellows Selection Committee (2019 – 2021).
- KR Inc. Advisory Board (2018 – present).
- Past-President, KR Inc. (2016 – 2018).
- President, KR Inc. (2015 – 2016).
- AAAI Conference Committee (2018 – 2021).
- Advisory Committee, International Joint Conference on Artificial Intelligence, IJCAI (2016).
- AAAI Executive Council Member (2007 – 2010).
- AAAI Presidential Panel on Long-term AI Futures (2008 – 2009).
Editorial Service
General Co-Chair
- ICAPS-24 The Thirty-Fourth International Conference on Automated Planning and Scheduling Banff, Canada, June 2024 (with Nathan Sturtevant).
Program Co-Chair
- AAAI-18 The Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, USA, February 2018 (with Kilian Weinberger).
- KR2012 The Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, Rome, Italy, June 2010 (with Thomas Eiter).
- CommonSense 2005 The Seventh International Symposium on Logical Formalizations of Commonsense Reasoning, Corfu, Greece, May 2005 (with Pavlos Peppas and Michael Thielscher).
- ISWC2004 The Third International Semantic Web Conference, Hiroshima, Japan, November 2004 (with Dimitris Plexousakis).
- ESSW2002 E-Services and the Semantic Web Workshop, Toronto, Canada, May 2002 (with Rick Hull).
- CogRob2002 The Second International Workshop on Cognitive Robotics, Toulouse, France, April 2002 (with Chitta Baral).
- DX'2001 The Twelfth International Workshop on Principles of Diagnosis, Italy, March 2001 (with Daniele Theseider Dupre and Luca Console).
- AAAI 1999 Spring Symposium – Hybrid Systems and AI: Modeling, Analysis and Control of Discrete + Continuous Systems, Stanford, USA, March 1999 (with Gautam Biswas).