Principles Of Knowledge Representation by G. Brewka