4 papers
Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality
Simon Coumes, Pierre-Henri Paris, François Schwarzentruber +1
We introduce Qiana, a logic framework for reasoning on formulas that are true only in specific contexts. In Qiana, it is possible to quantify over both formulas and contexts to exp…
Neurosymbolic Methods for Dynamic Knowledge Graphs
Mehwish Alam, Genet Asefa Gesese, Pierre-Henri Paris
Knowledge graphs (KGs) have recently been used for many tools and applications, making them rich resources in structured format. However, in the real world, KGs grow due to the add…
YAGO 4.5: A Large and Clean Knowledge Base with a Rich Taxonomy
Fabian Suchanek, Mehwish Alam, Thomas Bonald +3
Knowledge Bases (KBs) find applications in many knowledge-intensive tasks and, most notably, in information retrieval. Wikidata is one of the largest public general-purpose KBs. Ye…
MAFALDA: A Benchmark and Comprehensive Study of Fallacy Detection and Classification
Chadi Helwe, Tom Calamai, Pierre-Henri Paris +2
We introduce MAFALDA, a benchmark for fallacy classification that merges and unites previous fallacy datasets. It comes with a taxonomy that aligns, refines, and unifies existing c…