Principles of Knowledge Representation and Reasoning | Revista