Book

Principles of Knowledge Representation and Reasoning

by Didier DuBois