Title: Logic of Knowledge Bases
Subjects: Expert systems (computer science), Knowledge representation (information theory), Logic, symbolic and mathematical