Results 221 to 230 of about 16,854 (264)

Sly Pete in Dynamic Semantics

Journal of Philosophical Logic, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Dynamic Semantics at Work

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

Algebraic Semantics for Dynamic Dynamic Logic

2015
Dynamic 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

On Dependent Pronouns and Dynamic Semantics

Journal of Philosophical Logic, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Dynamic Semantics for Conceptual Graphs

1999
Dynamisation in Conceptual Graph Theory has been stimulated by mostly two trends: one inspired by computer science notions of actors and agents and the other one by computational semantics; we focus on the later, following John Sowa's parallel between Existential Graphs and Discourse Representation Theory or more generally Dynamic Semantics.
openaire   +2 more sources

Free dynamics and algebraic semantics

1977
Adamek has recently given general criteria for the construction of a free X-dynamics. We specialize this result to the case in which the free dynamics is over the initial object, noting that the result, μ0:A X → A is an isomorphism. This result not only specializes to the theory of minimal fixed points, but provides a new method of constructing ...
openaire   +1 more source

Semantically Aware Dynamic Layouts

2014 27th SIBGRAPI Conference on Graphics, Patterns and Images, 2014
Arranging 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, Danilo Motta, Luis Gustavo Nonato   +2 more
openaire   +1 more source

Network semantics of dynamical systems

2015 54th IEEE Conference on Decision and Control (CDC), 2015
Dynamical systems enjoy a rich variety of mathematical representations, from interconnections of convolution operators or rational functions of a complex variable to systems of (possibly stochastic) differential or differential-algebraic equations. Although many of these representations can describe the same behavior, i.e.
Vasu Chetty, Sean Warnick
openaire   +1 more source

A Denotational Semantics for Dynamic Architectures

2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2019
With the emergence of mobile and adaptive computing, dynamic architectures have become increasingly important. In such architectures, components can appear and disappear, and connections between them can change over time. Verification of such architectures is performed over the composition of its components, which is usually defined in an operational ...
openaire   +1 more source

Two theories of dynamic semantics

1991
The dynamic view on the semantics of natural language, though stemming already from the seventies, has developed into a widely studied subject in the second half of the eighties. At present, the unification of various dynamic theories constitutes an important issue. In this paper, two theories are compared, viz.
Groenendijk, J.A.G., Stokhof, M.J.B.
openaire   +2 more sources