Explore the latest progress and challenges in Reasoning-Intensive Retrieval, enhancing AI-driven information retrieval with advanced reasoning methods.
Explore efficient methods for fitting Horn DL ontologies to ABox and queries, addressing complexity and decision procedures in AI knowledge representation.