and semantics
Processing of Syntax and Semantics of Natural Language by Predicate Logic of Predicate Logic
... PROCESSING OF SYNTAX AND SEMANTICS OF NATURAL LANGUAGE BY PREDICATE LOGIC OF PREDICATE LOGIC PROCESSING OF SYNTAX AND SEMANTICS OF NATURAL LANGUAGE BY PREDICATE LOGIC Hiroyuki Yamauchi Institute of Sp[.] ...
8
The syntax and semantics of quantitative type theory
... Comparing R -QCwFs to other models Vákár [35] gives a cat- egorical semantics for linear dependent Type Theory with split contexts as we described in Section 2.1. His models consist of in- dexed symmetric monoidal ...
10
Which Semantics for Neighbourhood Semantics?
... Epistemic logic is usually considered a member of the large family of modal logics [Blackburn et al., 2001], and as we will discuss in this article, it shares with them many of their properties (e.g., characterizations ...
6
Taboo Semantics
... This paper has addressed part of the contributions to mean- ing of taboo language, using the semantics of impoliteness. While the semantic framework is useful for anchoring discus- sion of non-linguistic ...
6
MoL 2018 21: CRISP: a semantics for focus sensitive particles in questions
... the semantics of too, but we will leave these details aside for the rest of this thesis, as it is not totally clear whether these characterizations are generalizable to questions, mainly because questions are ...
107
Representing Verbal Semantics with Diagrams An Adaptation of the UML for Lexical Semantics
... linguistic semantics is called Unified Eventity Representation (UER), because it is a true extension of the UML and not just a ...elements. Semantics and syntax of the mod- eling elements are explicated in ...
7
Formal Distributional Semantics: Introduction to the Special Issue
... about semantics and what is probably Recurrent Neural Networks; she cannot be working for Kim, who is a syntactician, but she perhaps works for Sandy, who does Machine ...
17
MoL 2014 15: Philosophy of logical practice: a case study in formal semantics
... formal semantics away from intuitions towards empirical data, resulting an identity crisis for the ...formal semantics should concretely determine its own identity by choosing between one of its two ...
234
MoL 2012 06: Interaction, observation and denotation: A study of dialgebras for program semantics
... operational semantics to derive small, suitable denotations for ...dialgebraic semantics for regular expressions illus- trates how neatly the dialgebraic approach matches with the classic semantics ...
70
On compositional semantics
... On compositional semantics On compositional semantics W I o d e k Z a d r o z n y I B M Research T J W a t s o n R e s e a r c h C e n t e r Y o r k t o w n H e i g h t s , N Y 10598 W L O D Z @ WATSO[.] ...
7
Can distributional approaches improve on Good Old Fashioned Lexical Semantics?
... lexical semantics that had partly motivated the development of GL (see Pustejovsky’s discussion and criticism of sense enumeration, for example), there was reason to doubt the classic GL model on theoret- ical ...
10
Inquiry Semantics: A Functional Semantics of Natural Language Grammar
... This paper characterizes inquiry semantics, shows how it factors text generation, and describes its exemplification in NigeL The resulting description of inquiries for English has three [r] ...
10
Game semantics for interface middleweight Java
... Denotational semantics is charged with the construction of mathe- matical universes (denotations) that capture program ...denotational semantics have been driven by the quest for full abstraction [21]: a ...
13
Discourse Semantics Meets Lexical Field Semantics
... Discourse Semantics Meets Lexical Field Semantics D i s c o u r s e S e m a n t i c s M e e t s L e x i c a l F i e l d S e m a n t i c s B e a t e F i r z l a f f a n d D a n i e l a S K u n z G e r[.] ...
6
Testing Formal Semantics: Handel C
... There are two possible solutions to avoid similar errors in the future; the first is to test for this condition in the wellFormed invariant of the various compare functions. This could possibly be implemented by checking ...
96
Volume 21: Multi-Paradigm Modeling 2009
... and semantics into a common ground: the Prolog ...DSL’s semantics were expressed by inference rules encoded into Prolog ...the semantics of both DSLs: in HALL this means to explore the transition ...
11
Cooking with Semantics
... Note that the context may include the ingredient list itself, as illustrated by the elided arguments to be added in the one-line recipe “Add to a cocktail glass in the order listed.” Arg[r] ...
6
R for semantics
... the basis of a very abstract theory of automata' At this point it is necessary for us' having said so much about theoperationalapproach,totrytoindicatemorepreciselywhatconstitutesagenuin[r] ...
28
The semantics of symbols in traditional national uzbek crafts
... Especially, the carpets of Qungirat consist of geometric figures too, and they are in rhombic, meandr themes, W and S like signs, stella octangulas, triangle shapes, celestial and misti[r] ...
6
A modular approach to defining and characterising notions of simulation
... This paper is an extended version of [6]. It differs from [6] in the treatment of language constructors and their associated semantics: these were regarded as a single concept in loc. cit., but are here separated ...
42