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