Results 251 to 260 of about 1,360,419 (300)
Some of the next articles are maybe not open access.
Formal Semantics and Ontologies
2008Formal ontology relies on representation languages for expressing ontologies. This involves the formal semantics of these languages which is typically based on a limited set of abstract mathematical notions. In this paper, we discuss the interplay between formal semantics and the intended role of ontologies as semantic foundation.
Frank Loebe, Heinrich Herre
openaire +1 more source
Formal Semantics of Hybrid Chi
2004The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Semantics (SOS) and a number of associated functions. The χ syntax and semantics can also deal with local scoping of variables and/or channels, implicit differential algebraic equations ...
Schiffelers, R.R.H. +4 more
openaire +2 more sources
2010
In his classic paper on frame semantics, Charles Fillmore says that it comes from traditions of empirical semantics rather than formal semantics. In this paper we will try to draw a closer connection between empirical and formal semantics and suggest that a notion of frame closely related to that found in FrameNet can be usefully exploited in formal ...
openaire +1 more source
In his classic paper on frame semantics, Charles Fillmore says that it comes from traditions of empirical semantics rather than formal semantics. In this paper we will try to draw a closer connection between empirical and formal semantics and suggest that a notion of frame closely related to that found in FrameNet can be usefully exploited in formal ...
openaire +1 more source
Formal semantics of speech acts for argumentative dialogues
Adaptive Agents and Multi-Agent Systems, 2014In this paper, we give formal semantics to speech acts for argumentative dialogues in the context of an agent-oriented programming language. Our approach to giving formal semantics to such speech acts uses operational semantics and builds upon existing ...
Alison R. Panisson +4 more
semanticscholar +1 more source
A Formal Behavioral Semantics for TestML
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), 2006TestML is an XML-based language for the exchange of test descriptions in automotive systems design and mainly introduced through the structural definition of an XML schema as an independent exchange format for existing tools and methods covering a wide range of different test technologies.
Jürgen Großmann, Wolfgang Müller 0003
openaire +1 more source
Towards the formalization of interaction semantics
Proceedings of the 6th International Conference on Semantic Systems, 2010With the advent of Web 2.0 and the emergence of improved technologies to enhance UI, the importance of user experience and intuitiveness of Web interfaces led to the growth and success of Interaction Design. Web designers often turn to pre-defined and well-founded design patterns and user interaction paradigms to build novel and more effective Web ...
Irene Celino, Francesco Corcoglioniti
openaire +2 more sources
2009
AbstractSemantics is the discipline that studies linguistic meaning generally, and the qualification ‘formal’ indicates something about the sorts of techniques used in investigating linguistic meaning. More specifically, formal semantics is the discipline that employs techniques from symbolic logic, mathematics, and mathematical logic to produce ...
openaire +2 more sources
AbstractSemantics is the discipline that studies linguistic meaning generally, and the qualification ‘formal’ indicates something about the sorts of techniques used in investigating linguistic meaning. More specifically, formal semantics is the discipline that employs techniques from symbolic logic, mathematics, and mathematical logic to produce ...
openaire +2 more sources
2002
Acknowledgments. Introduction (Paul Portner and Barbara Partee). 1. The Proper Treatment of Quantification in Ordinary English (Richard Montague). 2. A Unified Analysis of the English Bare Plural (Greg Carlson). 3. Generalized Quantifiers and Natural Language (Jon Barwise and Robin Cooper). 4.
openaire +1 more source
Acknowledgments. Introduction (Paul Portner and Barbara Partee). 1. The Proper Treatment of Quantification in Ordinary English (Richard Montague). 2. A Unified Analysis of the English Bare Plural (Greg Carlson). 3. Generalized Quantifiers and Natural Language (Jon Barwise and Robin Cooper). 4.
openaire +1 more source
1993
This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intentional logic. It covers all the major aspects,
openaire +1 more source
This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intentional logic. It covers all the major aspects,
openaire +1 more source
A Formal Semantics for Traffic Sequence Charts
Principles of Modeling, 2018W. Damm +3 more
semanticscholar +1 more source