Canadian Institute for Advanced Research — Canada
Computer Science · Physical Sciences
46h-index16.7kcitations106works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, Reasoning, and Knowledge(62), Semantic Web and Ontologies(46), Advanced Database Systems and Queries(26), Logic, programming, and type systems(23), AI-based Problem Solving and Planning(16)
Publications106 total
Lecture notes in computer science·2005· 29 cited
Lecture notes in computer science·2005· 1 cited
The MIT Press eBooks·2001· 566 cited
The MIT Press eBooks·2001· 249 citedOpen Access
Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter
Springer eBooks·2001· 47 cited
Open World Planning in the Situation Calculus
2000· 60 cited
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
2000· 194 cited
Narratives as programs
2000· 12 cited
2000· 15 cited
Applied logic series·1999· 31 cited
Execution Monitoring of High-Level Robot Programs.
1998· 102 cited
Structural Abstraction in Model-Based Diagnosis.
European Conference on Artificial Intelligence·1998· 24 cited
Principles of Knowledge Representation and Reasoning·1998· 41 cited
The Journal of Logic Programming·1997· 1.0k cited
Lecture notes in computer science·1997· 9 cited
Towards a formal account of diagnostic problem-solving
1997· 13 cited
Natural actions, concurrency and continuous time in the situation calculus
1996· 153 cited
Lecture notes in computer science·1996· 110 cited
The Journal of Logic Programming·1995· 77 cited
page 1 of 6Next →
Frequent Co-authors
Hector J. Levesque(5), Alan K. Mackworth(4), Fangzhen Lin(3), Richard B. Scherl(3), Johan de Kleer(3), Fiora Pirri(3), Giovanni Criscuolo(3), Javier Pinto(3), Yves Lespérance(2), Mikhail Soutchanski(2), David W. Etherington(2), John Mylopoulos(2), Daniel Marcu(2), Craig Boutilier(1), Sebastian Thrun(1), Ronald J. Brachman(1), Alexander Borgida(1), Giuseppe De Giacomo(1), Robert E. Mercer(1), Yves Lesp(1)