Book

Principles of Knowledge Representation and Reasoning

by Patrick Doherty, John Mylopoulos, Christopher Welty