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

Education Research: Quality of Narrative Feedback Generated by a Large Language Model Compared With Expert Faculty for Case-Based Learning in Neurology Education. [PDF]

Neurol Educ
Fruitman H, Severin S, Miah A, Gao C, Gim H, Qian C, Park SO, Hou K, Kong EL, Cook B, Le J, Stretton B, Maddison J, McCoy LG, Collins L, Vanlint A, Goh R, Arnold M, Thant A, Vasireddy RP, Kung D, Paul AM, Reda H, Kaplan TB, Karp A, Gheihman G.   +25 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.
Terenziani P., Andolina A.
openaire   +2 more sources

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

MAS: Qualitative and Quantitative Reasoning

2012
In a former work, we have presented/implemented a framework for modeling and verifying multi-agent systems, using hybrid automata. To specify properties of those systems, one needs a specification language that brings, at the same level of specification, both the qualitative and quantitative requirements.
Ammar Mohammed, Ulrich Furbach
openaire   +1 more source