Knowledge Representation and Reasoning (The Morgan Kaufmann Series in Artificial Intelligence) (The Morgan Kaufmann Series in Artificial Intelligence) by Hector Levesque | Menrva Books | MenrvaBooks