Results 211 to 220 of about 72,037 (263)

General scales unlock AI evaluation with explanatory and predictive power. [PDF]

Nature
Zhou L, Pacchiardi L, Martínez-Plumed F, Collins KM, Moros-Daval Y, Zhang S, Zhao Q, Huang Y, Sun L, Prunty JE, Li Z, Sánchez-García P, Jiang-Chen K, Casares PAM, Zu J, Burden J, Mehrbakhsh B, Stillwell D, Cebrian M, Wang J, Henderson P, Wu ST, Kyllonen PC, Cheke L, Xie X, Hernández-Orallo J.   +25 more
europepmc   +1 more source

How accurately do large Language models interpret sport safeguarding principles: an evaluation using the International Olympic Committee framework. [PDF]

BMC Sports Sci Med Rehabil
Gökmen MY, Belibağlı MC, Karıncaoğlu E, Nazlıcan MÇ, Türkmen E, Yönal M, Uluöz E.   +6 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Probabilistic quantitative temporal reasoning

Proceedings of the Symposium on Applied Computing, 2017
Temporal reasoning, in the form of propagation of temporal constraints, is an important topic in Artificial Intelligence. The current literature in the area is moving from the treatment of "crisp" temporal constraints to fuzzy or probabilistic constraints, to account for different forms of uncertainty and\or preferences.
Paolo Terenziani, Antonella Andolina
openaire   +1 more source

Automata-Based Quantitative Reasoning

ACM SIGLOG News, 2023
Existing solution approaches for problems in formal quantitative analysis suffer from two challenges that adversely impact their theoretical understanding and large-scale applicability. These are the lack of generalizability , and separation-of-techniques.
openaire   +1 more source

Indeterminateness in qualitative and quantitative reasoning

Proceedings of 7th International Conference and Workshop on Database and Expert Systems Applications: DEXA 96, 2002
A central issue of expert systems is the man-machine interface. One of its most ergonomic realizations is a natural language interface. Uncertainty and indeterminateness are main properties of a natural language. While there are many formalisms dealing with uncertainty, there still is a strong need of those modeling indeterminateness.
Daniel Zboril, Florian Metze
openaire   +1 more source

Parametric quantitative temporal reasoning

Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), 2003
We define Parameterized Real-Time Computation Tree Logic (PRTCTL), which allows quantitative temporal specifications to be parameterized over the natural numbers. Parameterized quantitative specifications are quantitative specifications in which concrete timing information has been abstracted away.
E. Allen Emerson, Richard J. Trefler
openaire   +1 more source

Developing Quantitative Reasoning:

The Journal of General Education, 2012
Abstract In recent years, a number of universities have added quantitative reasoning to their general education program. A common approach requires the completion of a course from a list of mostly mathematics courses. This article presents the results of a study showing that traditional math courses may not necessarily be sufficient.
Ma Zenia Agustin, Marcus Agustin, Paul Brunkow, Susan Thomas   +3 more
openaire   +1 more source