Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality.
Saved in:
| Title: | Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality. |
|---|---|
| Authors: | COUMES, SIMON1 simon.coumes@telecom-paris.fr, PARIS, PIERRE-HENRI2 pierre-henri.paris@universiteparis-saclay.fr, SCHWARZENTRUBER, FRANÇOIS3 francois.schwarzentruber@ens-lyon.fr, SUCHANEK, FABIAN1 fabian.suchanek@telecom-paris.fr |
| Source: | Journal of Artificial Intelligence Research. 2026, Vol. 85, p1-35. 35p. |
| Database: | Mathematics Source |
| ISSN: | 10769757 |
|---|---|
| DOI: | 10.1613/jair.1.18402 |
