Formal Semantics
An English Japanese Machine Translation System Based on Formal Semantics of Natural Language
... AN ENGLISH JAPANESE MACHINE TRANSLATION SYSTEM BASED ON FORMAL SEMANTICS OF NATURAL LANGUAGE COL~VG 82, J Horec~ (~,) So,~ l~e#a~ R u b ~ Co, ,mm r ?,4eede,,aL~ AN ENGLISH JAPANESE MACHINE TRANSLATION[.] ...
6
Testing Formal Semantics: Handel C
... the formal semantics of Handel-C: a C-based language with true parallelism and priority-based channel communication, which can be compiled to ...notational semantics for Handel-C, as described in ...
96
MoL 2014 15: Philosophy of logical practice: a case study in formal semantics
... in formal semantics away from intuitions towards empirical data, resulting an identity crisis for the ...that formal semantics should concretely determine its own identity by choosing between ...
234
Some Puzzles of Politeness and Impoliteness within a Formal Semantics of Offensive Language
... Not all of the puzzles of linguistic (im)politeness are addressed in this article, and there is more to say about each of the puzzles within this framework. How- ever, the semantic theory outlined has been demonstrated ...
18
Implementation of EasyTime Formal Semantics using a LISA Compiler Generator
... The flexibility of the measuring system is a crucial objective in the development of universal software for measuring time in sporting competitions. Therefore, the domain-specific language EasyTime was formally designed, ...
26
A Formal Semantics for Generating and Editing Plurals
... a formal semantics for an object- oriented formalism which allows for the represen- tation of plural objects (such as ‘Three N’, ‘Most of the N’, ‘Some ...The semantics is given in terms of a mapping ...
7
An Implementation of Formal Semantics in the Formalism of Relational Databases
... AN IMPLEMENTATION OF FORMAL SEMANTICS IN THE FORMALISM OF RELATIONAL DATABASES A N I M P L E M E N T A T I O N O F F O R M A L S E M A N T I C S I N T H E F O R M A L I S M O F R E L A T I O N A L D A[.] ...
6
Formal semantics for workflow computations
... Workows are composite multitask activities that accommodate the de- mands of heterogeneous environments by relaxing the semantic properties of traditional transactions. Workows are increasingly important in modern com- ...
33
On the Formal Semantics of IF-like Logics
... In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in the case of Independence Friendly (IF) ...
24
Book Reviews: Computational Linguistics and Formal Semantics
... AI probably has the best theories about h o w to make sense of this, and certainly the best theories about h o w to make sense of it computationally but see Partee's contribution for ref[r] ...
6
Class Formal semantics and lexical semantics, prof. B. Partee, Spring semester 2013
... We added another operator and now “какой-нибудь” can take a wide scope with respect to “каждая девочка”. «нибудь»-type indefinites are good with modals, universal quantifier «каждый», [r] ...
8
Book Reviews: Meaning and Speech Acts Volume I: Principles of Language Use Volume II: Formal Semantics of Success and Satisfaction
... The guiding idea of the entire project is to construct an ideal formal language representing the logic of abstract illocutionary acts, and then provide translation rules from English phr[r] ...
5
How has belief modality contributed to formal semantics?
... of formal treatment of linguistics, we cannot disregard the contri- bution of possible world ...Montague semantics, DRT (Discourse Repre- sentation Theory), mental space, and situation theory are closely ...
12
A Formal Semantics of the Core DOM in Isabelle/HOL
... In a world in which more and more applications are ofered as services on the internet, web browsers start to take on a similarly central role in our daily IT infrastructure as operating systems. Thus, web browsers should ...
10
A formal semantics for situated conversation
... Despite these similarities, examples such as Scratches and Table force us to confront challenges that have received little attention in referential semantics. A deictic use of a pronoun can simply be assigned an ...
53
Ontology and Formal Semantics - Integration Overdue
... trivialize semantics; while at the same time suggesting that semantic analysis should itself be used as a guide to uncovering this ontological structure), we suggested here performing semantic analysis from the ...
25
Formal Syntax and Semantics of Programming Languages Kenneth Slonneger pdf
... the semantics of a pro- gramming language, since the meaning of a computer program can be considered as a function from input values to output ...the formal semantics of programming ...
654
Formal aspects of workflow management, Part 1: Semantics
... or after e). His e < f means that if both events e and f happen, then e precedes f. This work describes a formalism and its intended usage, but gives no formal semantics. The semantics is ...
27
Combining Formal and Distributional Models of Temporal and Intensional Semantics
... Distributional semantics aims to induce the mean- ing of language from unlabelled ...distributional semantics have repre- sented semantics in vector spaces (Baroni et ...the formal ...
5
Formal Distributional Semantics: Introduction to the Special Issue
... in Formal Semantics, they do encode relevant semantic information, as shown by their success in demanding semantic tasks such as predicting sentence simi- larity (Marelli et ...Distributional ...
17