Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
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…
cs.AI2024
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…
cs.AI2023
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…