Handbook of Knowledge Representation Edited Knowledge Representation and Classical Logic