Information Systems Group

― Knowledge Representation and Reasoning