Sotabase

Career

· Researcher, University of Toronto2024–
· Research Assistant, University of Toronto Cognitive Robotics Group
· Research Scientist, University of Toronto Cognitive Robotics Group

Publications (58)

GOLOG: A Logic Programming Language for Dynamic Domains
The Journal of Logic Programming · 1997
1,306
cited
The Frame Problem and Knowledge-Producing Actions
AAAI Conference on Artificial Intelligence · 1993
336
cited
Knowledge, action, and the frame problem
Artificial Intelligence · 2003
320
cited
Foundations of a Logical Approach to Agent Programming
ATAL · 1995
173
cited
A Logical Approach to High-Level Robot Programming A Progress Report*
1994
132
cited
Ability and Knowing How in the Situation Calculus
Studia Logica: An International Journal for Symbolic Logic · 2000
80
cited
Passions of the Tongue: Language Devotion in Tamil India, 1891-1970: Passions of the Tongue: Language Devotion in Tamil India, 1891-1970.
2001
78
cited
A General Framework for Modal Deduction
International Conference on Principles of Knowledge Representation and Reasoning · 1991
53
cited
A new understanding of subjective probability and its generalization to lower and upper prevision
International Journal of Approximate Reasoning · 2003
48
cited
High-level robotic control : beyond planning Position paper
2002
30
cited
Using answer set programming to answer complex queries
2004
22
cited
Using an Interest Ontology for Improved Support in Rule Mining
International Conference on Data Warehousing and Knowledge Discovery · 2003
21
cited
Reasoning about the interaction of knowlege, time and concurrent actions in the situation calculus
International Joint Conference on Artificial Intelligence · 2003
19
cited
Technologies for Army Knowledge Fusion
2004
19
cited
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
AAAI/IAAI · 2000
19
cited
A Bibliography on Hybrid Reasoning
The AI Magazine · 1991
15
cited
The logic of events
Annals of Mathematics and Artificial Intelligence · 2000
15
cited
A Constraint Logic Approach to Automated Modal Deduction
1992
9
cited
Sensing Actions, Time, and Concurrency in the Situation Calculus
ATAL · 2000
9
cited
A Constraint Logic Approach to Modal Deduction
European Conference on Logics in Artificial Intelligence · 1991
8
cited
Sotabase
Richard Scherl | Researcher Profile | Sotabase | Sotabase