H
Hector J. Levesque
Researcher at University of Toronto
Publications - 202
Citations - 20981
Hector J. Levesque is an academic researcher from University of Toronto. The author has contributed to research in topics: Situation calculus & Knowledge representation and reasoning. The author has an hindex of 59, co-authored 200 publications receiving 20218 citations. Previous affiliations of Hector J. Levesque include Fairchild Semiconductor International, Inc. & Canadian Institute for Advanced Research.
Papers
More filters
Proceedings Article
10081 Abstracts Collection -- Cognitive Robotics
TL;DR: The 2010 Dagstuhl Seminar 10081 ''Cognitive robotics '' was held in Schloss Dagstahl~--~Leibniz Center for Informatics as discussed by the authors.
Book ChapterDOI
Querying AOL Knowledge Bases
TL;DR: From a knowledge representation point of view, the idea would be to supply the agent with a suitable knowledge base (KB) and provide it with an appropriate mechanism to query the KB.
How to Execute a Conditional
TL;DR: A solution to the execution of a plan containing conditionals by an agent with incomplete knowledge is proposed by integrating sensing actions into GOLOG, a high-level robot programming language.
Journal ArticleDOI
Undirected behavior without unbounded search
TL;DR: The idea that defines the very heart of “traditional” AI is due to John McCarthy: his imagined ADVICE-TAKER was a system that would decide how to act (in part) by running formal reasoning procedures over a body of explicitly represented knowledge.
Book ChapterDOI
The truth about defaults
TL;DR: It is a great honour and a pleasure to be able to offer this paper in celebration of Vladimir Lifschitz's sixty-fifth birthday, which has been an inspiration to both of us since the authors first started reading his papers in the 1980s.