Article dans une revue, LaHDAK, Informatique, Intelligence artificielle

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality

Simon Coumes, Pierre-Henri Paris, François Schwarzentruber, Fabian Suchanek. Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality. Journal of Artificial Intelligence Research, 2026, 85, pp.12. ⟨10.1613/jair.1.18402⟩. ⟨hal-05575513⟩

Publié le