Foundations of Knowledge Representation and Reasoning

Bok