Results 151 to 160 of about 2,907 (227)

From spatial perception to referential meaning: convergent image schemas in the music of and texts about Beethoven's piano sonatas. [PDF]

Front Psychol
Antović M, Jovanović VŽ, Popović M.
europepmc   +1 more source

Coreference Resolution Based on High-Dimensional Multi-Scale Information. [PDF]

Entropy (Basel)
Wang Y, Ding Z, Wang T, Xu S, Yang X, Sun Y.   +5 more
europepmc   +1 more source

Data-Trace Types for Distributed Stream Processing Systems. [PDF]

Proc ACM SIGPLAN Conf Program Lang Des Implement, 2019
Mamouras K, Stanford C, Alur R, Ives ZG, Tannen V.   +4 more
europepmc   +1 more source

Operational and Goal-Independent Denotational Semantics for Prolog with Cut

In this paper we propose an operational and a denotational semantics for Prolog. We deal with the control rules of Prolog and the cut operator. Our denotational semantics provides a goal-independent semantics. This means that the behaviour of a goal in a
Fausto Spoto
core