Results 331 to 340 of about 39,536,715 (344)

FRAME SEMANTICS

, 1996
Miriam R. L. Petruck
semanticscholar   +1 more source

A comparative study of two formal semantics of the SIGNAL language

Frontiers of Computer Science, 2013
Jean-Paul Bodeveix, Zhibin Yang, Mamoun Filali   +2 more
exaly  

The origins of structural operational semantics

The Journal of Logic and Algebraic Programming, 2004
Gordon D Plotkin
exaly  

Local Models Semantics, or contextual reasoning=locality+compatibility☆☆This paper is a substantially revised and extended version of a paper with the same title presented at the 1998 Knowledge Representation and Reasoning Conference (KR'98). The order of the names is alphabetical.

Artificial Intelligence, 2001
Fausto Giunchiglia, Chiara Ghidini
exaly  

Syntax and semantics of questions

Linguistics and Philosophy, 1977
Lauri Karttunen
exaly  

Semantics

2000
openaire   +1 more source

The balance between memory and unification in semantics: A dynamic account of the N400

Language and Cognitive Processes, 2011
Giosuè Baggio, Peter Hagoort
exaly  

Defaults in update semantics

Journal of Philosophical Logic, 1996
Frank Veltman
exaly  

Formal Semantics of Programming Languages

Electronic Notes in Theoretical Computer Science, 2006
Peter Mosses
exaly  

Mechanized Semantics for the Clight Subset of the C Language

Journal of Automated Reasoning, 2009
Sandrine Blazy
exaly