Thinking As Computation
Thinking As Computation (2017)
Students explore the idea that thinking is a form of computation by learning to write simple compute…
Hector J. Levesque
Logical Foundations for C
Logical Foundations for Cognitive Agents (2012)
ComputerIt is a pleasure and an honor to be able to present this collection of papers to Ray Reiter on the o…
The Logic of Knowledge Ba
The Logic of Knowledge Bases (2001)
ComputerThis book describes in detail the relationship between symbolic representations of knowledge and abs…