Hector J. Levesque

Born 1951-01-01

Identifiers

Open LibraryOL2461687A

Top Subjects

Logic, Symbolic and mathematical (3)
Logic design -- Data processing (2)
Reasoning (2)
Philosophy (2)
Computational intelligence (2)
Computational complexity (1)
Congresses (1)

Books by Hector J. Levesque

Total count: 6

Logic and the complexity of reasoning

Dept. of Computer Science, University of Toronto1989-01-01
All I knowa study in autoepistemic logic

Dept. of Computer Science, University of Toronto1989-01-01
KR Proceedings 1989 (Morgan-Kaufmann Series in Representation and Reasoning)

Morgan Kaufmann1989-04-01
The logic of knowledge bases

MIT Press2000-01-01
Thinking as computationa first course

MIT Press2012-01-01
Common sense, the Turing test, and the quest for real AI

The MIT Press2017-01-01