Hector Levesque

• Knowledge representation and reasoning
• Knowledge Representation and Reasoning (The Morgan Kaufmann Series in Artificial Intelligence)