Results 61 to 70 of about 511,372 (153)

The Algebra of Multi-Agent Dynamic Belief Revision

, 2005
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for dynamic belief revision in a multi-agent setting.
Sadrzadeh, Mehrnoosh, Sadrzadeh, M., Baltag , Alexandru, M. Sadrzadeh, A. Baltag, Baltag, Alexandru, Baltag, A., Mehrnoosh Sadrzadeh, Alexandru Baltag   +8 more
core   +1 more source

n₀-Order Weighted Pseudo Δ-Almost Automorphic Functions and Abstract Dynamic Equations

Mathematics, 2019
In this paper, we introduce the concept of a n 0 -order weighted pseudo Δ n 0 δ -almost automorphic function under the matched space for time scales and we present some properties.
Chao Wang, Ravi P. Agarwal, Donal O’Regan, Gaston M. N’Guérékata   +3 more
doaj   +1 more source

Do we need dynamic semantics? [PDF]

, 2014
I suspect the answer to the question in the title of this paper is no. But the scope of my paper will be considerably more limited: I will be concerned with whether certain types of considerations that are commonly cited in ...
Lewis, Karen S.
core   +1 more source

Ontological learning for a dynamic semantics ontological framework

Dyna, 2014
En este trabajo se propone una arquitectura de Aprendizaje Onto lógico, que es uno de los componentes claves del Marco Ontológi co Dinámico Semántico (MODS) para la Web Semántica.
Taniana Rodríguez, José Aguilar
doaj  

Phraseologisms with Intensifying Semantics in Russian: Dynamic Aspect

RUDN Journal of Language Studies, Semiotics and Semantics
The relevance of the study of the discharge of stable units with intensifying semantics, indicating the intensity of the manifestation of a sign or the course of an action, as well as the study of phraseologisms formed according to the model “up to ...
Elena I. Zinovieva, Elena K. Nikolaeva, Elena I. Seliverstova   +2 more
doaj   +1 more source

Dynamic Provenance for SPARQL Update

, 2014
While the Semantic Web currently can exhibit provenance information by using the W3C PROV standards, there is a "missing link" in connecting PROV to storing and querying for dynamic changes to RDF graphs using SPARQL.
Halpin, Harry, Cheney, James; id_orcid, Harry Halpin, James Cheney   +3 more
core   +1 more source

Algebra and Sequent Calculus for Epistemic Actions

, 2005
We introduce an algebraic approach to Dynamic Epistemic Logic. This approach has the advantage that: (i) its semantics is a transparent algebraic object with a minimal set of primitives from which most ingredients of Dynamic Epistemic Logic arise, (ii ...
Sadrzadeh, Mehrnoosh, Baltag , Alexandru, Coecke , Bob, Baltag, Alexandru, Coecke, Bob   +4 more
core   +1 more source

Model evolution and system evolution

Journal of Computer Science and Technology, 2000
In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the ability to define the relation of intentional ...
Claudia Pons, Gabriel Alfredo Baum, Ralf-Detlef Kutsche   +2 more
doaj  

Towards Sensor-Based Mobility Assessment for Older Adults: A Multimodal Framework Integrating PoseNet Gait Dynamics and InBody Composition

Sensors
The acceleration of global population aging has driven a surge in demand for health monitoring among older adults. However, traditional mobility assessment methods mostly rely on invasive measurements or laboratory-grade equipment, making it difficult to
Sinan Chen, Lingqi Kong, Zhaozhen Tong, Yuko Yamaguchi, Masahide Nakamura   +4 more
doaj   +1 more source

Stage levels, states, and the semantics of the copula

, 2013
The paper investigates the issue whether the stage-level/individual level contrast introduced by Carlson 1977 requires the assumption of two homonymous copulas depending on the categorization of the predicative.
Jäger, Gerhard
core