Results 251 to 260 of about 41,655,511 (287)
Some of the next articles are maybe not open access.
A Dynamic Semantics for Multimodal Communication
Lecture Notes in Computer Science, 2022Jeremy Kuhn
exaly +3 more sources
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
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
Dynamic Semantics for Conceptual Graphs
1999Dynamisation 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
1977Adamek 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
A Semantics for Dynamic Argumentation Frameworks
2012This paper presents a semantics for dynamic argumentation frameworks. A dynamic argumentation system involves the concept of execution of an argumentation affecting subsequent arguments. Although such dynamic treatment is necessary to grasp the behavior of actual argumentation, semantics proposed to date can only handle the static aspects.
Kazuko Takahashi 0001, Yu Nambu
openaire +2 more sources
A Denotational Semantics for Dynamic Architectures
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2019With 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 +2 more sources
BlenX Static and Dynamic Semantics
2009We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Beta-binders. It has been specifically designed and implemented to model and simulate biological systems, but it is general enough to handle core computer science problems as well.
Priami, Corrado +2 more
openaire +4 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