Information and Knowledge Representation, Retrieval, and Reasoning LAB