Sotabase

Career

· Associate Director, Schwartz Reisman Institute for Technology and Society2021–
· Faculty Member, Vector Institute2019–
· Vice Chair, Department of Computer Science, University of Toronto2011–2013
· Professor, Department Of Computer Science, University of Toronto2003–
· Senior Research Scientist, Stanford University1998–2003
· PhD, Computer Science (Artificial Intelligence), University of Toronto1997–1997
· Postdoctoral Fellow, Xerox PARC (Palo Alto Research Center)1997–1998

Publications (0)

DAML-S: Semantic Markup for Web Services
International Conference on Semantic Web & Web Services · 2001
3,326
cited
A Framework for Efficient and Composable Oblivious Transfer
Annual International Cryptology Conference · 2008
1,765
cited
Semantic Web Services
IEEE Intelligent Systems · 2001
1,143
cited
Adapting Golog for Composition of Semantic Web Services
International Conference on Principles of Knowledge Representation and Reasoning · 2002
1,016
cited
Simulation, verification and automated composition of web services
The Web Conference · 2002
989
cited
Bringing Semantics to Web Services: The OWL-S Approach
SWSWPC · 2004
936
cited
Bringing Semantics to Web Services with OWL-S
World wide web (Bussum) · 2007
572
cited
DAML-S: Web Service Description for the Semantic Web
International Workshop on the Semantic Web · 2002
546
cited
Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning
International Conference on Machine Learning · 2018
331
cited
Bringing semantics to Web services
IEEE Intelligent Systems · 2003
319
cited
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning
Journal of Artificial Intelligence Research · 2020
282
cited
Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation
International Workshop on the Semantic Web · 2003
257
cited
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning
International Joint Conference on Artificial Intelligence · 2019
241
cited
A Heuristic Search Approach to Planning with Temporally Extended Preferences
International Joint Conference on Artificial Intelligence · 2007
178
cited
Web service composition as planning
2003
171
cited
Analysis and simulation of Web services
Comput. Networks · 2003
161
cited
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence · 2005
150
cited
Dsharp: Fast d-DNNF Compilation with sharpSAT
Canadian AI · 2012
149
cited
Planning with First-Order Temporally Extended Goals using Heuristic Search
AAAI Conference on Artificial Intelligence · 2006
143
cited
Improved Non-Deterministic Planning by Exploiting State Relevance
International Conference on Automated Planning and Scheduling · 2012
140
cited
Sotabase