2 papers
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…