Formal semantics (linguistics)
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
Formal semantics for workflow computations
... of semantics that can be captured through a single scheduling mechanism that guarantees serializability and ...the formal semantics of workow computations on which the meanings of the specications ...
33
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
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
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
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
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
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
... the formal speciication and the actual implementa- tions used by various web browsers as the most important line of future ...the formal speciica- tion using test case generation techniques hat are ...
10
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
Ontology and Formal Semantics - Integration Overdue
... of semantics is to explain how linguistic constructs relate to the world, then semantic analysis of natural language text is, indirectly, an attempt at uncovering the semiotic ontology of commonsense knowledge, ...
25
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
Combining Formal and Distributional Models of Temporal and Intensional Semantics
... In Lewis and Steedman (2013), we proposed a solution to these problems which uses CCG (Steedman, 2012) as a model of formal semantics, making it straightforward to build wide-coverage logical forms. Hand ...
5
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
... Temporal Logic Approaches Our previous approach [2] is based on a branching-time temporal logic, CTL (or computation tree logic [12]). This approach formalizes dependencies in CTL and gives a formal ...
27
Learning Semantically and Additively Compositional Distributional Representations
... similarity. Formal Semantics Our model implements a fragment of logic capable of semantic com- position, largely due to the simple framework of Dependency-based Compositional ...
11
LP 1997 08: Wider Still and Wider Resetting the Bounds of Logic
... Although this perspective on inference is not generally accepted, it falls within standard logic in the following sense. Varieties of non-standard inference can be developed using standard techniques, including ...
22
Towards Design-by-Contract based software architecture design
... both formal and user-friendly ...the formal semantics of components, connectors and also their configuration are given in Finite State Process (FSP) enabling the formal analysis of X CD ...
9
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
... of formal methods, across differing abstractions, paradigms, and presentations, must be ...axiomatic semantics, and UTP theo- ries to encode computational ...the formal state machine notation, ...
46