Title: Logic and Knowledge Representation