Filed in: knowledge representation and reasoning