Logic for Knowledge Representation (Dr Barbara Morawska)