Title: Principles of Knowledge Representation and Reasoning
Subjects: Knowledge representation (information theory), Reasoning