Sotabase

Career

· Graduate Student, University of Toronto - Cognitive Robotics Group1998–
· Research Scientist, University of Toronto - Cognitive Robotics Group1996–

Publications (239)

Intention = Choice + Commitment
AAAI Conference on Artificial Intelligence · 1987
2,242
cited
The Winograd Schema Challenge
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning · 2011
1,494
cited
GOLOG: A Logic Programming Language for Dynamic Domains
The Journal of Logic Programming · 1997
1,306
cited
Hard and Easy Distributions of SAT Problems
AAAI Conference on Artificial Intelligence · 1992
1,174
cited
A Logic of Implicit and Explicit Belief
AAAI Conference on Artificial Intelligence · 1984
714
cited
On Acting Together
AAAI Conference on Artificial Intelligence · 1990
714
cited
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence · 2000
619
cited
All I Know: A Study in Autoepistemic Logic
Artificial Intelligence · 1990
462
cited
The Tractability of Subsumption in Frame-Based Description Languages
AAAI Conference on Artificial Intelligence · 1984
459
cited
Foundations of a Functional Approach to Knowledge Representation
Artificial Intelligence · 1984
424
cited
Krypton: A Functional Approach to Knowledge Representation
Computer · 1983
422
cited
Expressiveness and tractability in knowledge representation and reasoning 1
International Conference on Climate Informatics · 1987
399
cited
Rational interaction as the basis for communication
2003
357
cited
Communicative Actions for Artificial Agents
International Conference on Multiagent Systems · 1997
344
cited
The Frame Problem and Knowledge-Producing Actions
AAAI Conference on Artificial Intelligence · 1993
336
cited
Generating Hard Satisfiability Problems
Artificial Intelligence · 1996
330
cited
Knowledge, action, and the frame problem
Artificial Intelligence · 2003
320
cited
Foundations for the Situation Calculus
Electronic Transactions on Artifical Intelligence · 1998
313
cited
What Is Planning in the Presence of Sensing?
AAAI/IAAI, Vol. 2 · 1996
288
cited
An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON
International Joint Conference on Artificial Intelligence · 1985
285
cited
Sotabase