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: | Applied Science & Technology Source |
| ISSN: | 10769757 |
|---|---|
| DOI: | 10.1613/jair.1.18402 |
