Books by Principles of Knowledge Representation and Reasoning. (3rd 1992 Cambridge, MA) on BookTides.