Results 241 to 250 of about 226,897 (274)
Some of the next articles are maybe not open access.
Journal of Philosophical Logic, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
2012
The integrated theory of dynamic interpretation set out here will be a surprise to advanced researchers in linguistics. It combines classical formal semantics and modern dynamic semantics without altering the fundamental paradigm. At the book’s core lies a pragmatically motivated notion of a dynamic conjunction of meanings, an idea that is worked out ...
openaire +3 more sources
The integrated theory of dynamic interpretation set out here will be a surprise to advanced researchers in linguistics. It combines classical formal semantics and modern dynamic semantics without altering the fundamental paradigm. At the book’s core lies a pragmatically motivated notion of a dynamic conjunction of meanings, an idea that is worked out ...
openaire +3 more sources
Semantically Aware Dynamic Layouts
2014 27th SIBGRAPI Conference on Graphics, Patterns and Images, 2014Arranging geometric primitives in a two-dimensional layout is a typical problem in graphics and visualization applications. Most existing approaches are either not flexible enough to allow users modify the layout according to their interest or unable to maintain the semantic relation between geometric instances during user manipulation.
Erick Gomez Nieto +2 more
openaire +1 more source
2011
This chapter describes the transformational technology strategy the BBC Future Media & Technology department is using to evolve from a relational content model and static publishing framework to a fully dynamic semantic publishing (DSP) architecture.
openaire +1 more source
This chapter describes the transformational technology strategy the BBC Future Media & Technology department is using to evolve from a relational content model and static publishing framework to a fully dynamic semantic publishing (DSP) architecture.
openaire +1 more source
Semantic realism, rigid designation, and dynamic semantics
Behavioral and Brain Sciences, 1998Semantic realism fits Millikan's account of kind terms in its focus on information-theoretic abilities and strategic ways of gathering information in human communication. Instead of the traditional logical necessity, we should interpret rigid designation in a dynamic semantics as a legislative act to constrain possible ways in which our belief may
openaire +1 more source
2007
In this case study we show how an unambiguous semantic representation can be constructed dynamically in left-to-right order while a text is written in PENG, a controlled natural language designed for knowledge representation. PENG can be used in contexts where precise texts (e.g.
Rolf Schwitter, Marc Tilbrook
openaire +1 more source
In this case study we show how an unambiguous semantic representation can be constructed dynamically in left-to-right order while a text is written in PENG, a controlled natural language designed for knowledge representation. PENG can be used in contexts where precise texts (e.g.
Rolf Schwitter, Marc Tilbrook
openaire +1 more source
2004
Abstract In this chapter I present and motivate a formal elaboration of the treatment of anaphoric relationships suggested in (Stalnaker 1998) which is close in spirit and scope to that of Heim (1982) and Groenendijk and Stokhof (1991).
openaire +2 more sources
Abstract In this chapter I present and motivate a formal elaboration of the treatment of anaphoric relationships suggested in (Stalnaker 1998) which is close in spirit and scope to that of Heim (1982) and Groenendijk and Stokhof (1991).
openaire +2 more sources
Imperative Negation and Dynamic Semantics
2003The philosophical thesis that is defended in this paper is the thesis that an atomic sentence and its negation belong to the same category. In the case of imperatives, the thesis implies that an imperative and its negation are equipotent with respect to their binding force and layers of informational content.
openaire +1 more source
Algebraic Semantics for Dynamic Dynamic Logic
2015Dynamic dynamic logic (DDL) is a generalisation of propositional dynamic logic PDL and dynamic epistemic logic. In this paper, we develop algebraic semantics for DDL without the constant program. We introduce inductive and continuous modal Kleene algebras for PDL and show the validity of reduction axioms in algebraic models and hence the algebraic ...
Minghui Ma, Jeremy Seligman
openaire +1 more source
For centuries, computers have served as engines of calculation—cold, rigid machines built to manipulate symbols without understanding. They have mastered arithmetic, conquered logic, accelerated science, and reshaped civilization, yet they have remained fundamentally blind to meaning.
openaire +1 more source
openaire +1 more source