Principles of knowledge representation - Brewka, Gerhard (Studies in logic, language and information, 1996)