H
Hector J. Levesque
1951
9 works on record
Works

Thinking as computation

Readings in knowledge representation

Knowledge representation

Common sense, the Turing test, and the quest for real AI

Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning
All I know
All I know

The logic of knowledge bases
Functional programming in Lisp
Functional programming in Lisp
Logic and the complexity of reasoning
Logic and the complexity of reasoning