It is important to have a formal semantics for the objectoriented modelling language UML. Furthermore, it would be fine to have a compositional semantics in order to model open distributed systems and component-based systems. For this reason we present a compositional operational semantics for the state machines associated to a class diagram. We first describe the meaning of objects, then the m...

The paper discusses the lexical description and runtime treatment of multiword expressions in the Ontological Semantic (On-toSem) text processing environment. We show how our formalism permits the encoding of syntactic structures and semantic entities of any degree of complexity, and how those descriptions support the automatic generation of high quality, formal text-meaning representations fro...

This report documents the program and the outcomes of Dagstuhl Seminar 13462 “Computational Models of Language Meaning in Context”. The seminar addresses one of the most significant issues to arise in contemporary formal and computational models of language and inference: that of the role and expressiveness of distributional models of semantics and statistically derived models of language and l...

Please read over your article carefully, as this will be your last opportunity to review the article prior to publication. It has been copyedited to conform to APA style, as described in the Publication Manual of the American Psychological Association (5th ed.), and for grammar, punctuation usage, and formal consistency. Other changes in wording are intended to more clearly convey your meaning;...

Please read over your article carefully. It has been copyedited to conform to APA style, as described in the Publication Manual of the American Psychological Association (5th ed.), and for grammar, punctuation usage, and formal consistency. Other changes in wording are intended to more clearly convey your meaning; if meaning has been altered, please suggest an alternative that will restore the ...

Please read over your article carefully. It has been copyedited to conform to APA style, as described in the Publication Manual of the American Psychological Association (5th ed.), and for grammar, punctuation usage, and formal consistency. Other changes in wording are intended to more clearly convey your meaning; if meaning has been altered, please suggest an alternative that will restore the ...

This dissertation will elaborate on the understanding of intersubjective meaning making by analyzing the traces of collaborative knowledge construction users leave behind in socio-technical systems. Therefore, it will draw upon more theoretical and more formal models of cognitive psychology to describe and explain the underlying process in detail. This is done with the goal to support intersubj...

Formal semanticists have developed sophisticated compositional theories of sentential meaning, paying a lot of attention to those grammatical words (determiners, logical connectives, etc.) that constitute the functional scaffolding of sentences. Corpus-based computational linguists, on the other hand, have developed powerful distributional methods to induce representations of the meaning of con...

The expressions of a language distinguish between many different types of objects. These types can affect how the meanings of these expressions combine. This paper provides a formal picture of the process of meaning combination in a richly typed framework.

Feldman’s project [1] has the ambitious goal of giving a compositional account of the “full range of meanings” in human language, one which meets the high standards of formalization found in formal semantics but is built on a theory of “embodied cognition”, takes into account the neurobiological substrate of language, and makes use of representations of world knowledge and discourse and situati...