Results 131 to 140 of about 464,264 (305)
Two formal systems for situation semantics.
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Abstract Alongside the growing teacher supply crisis, there are widespread concerns about the mental health and well‐being of teachers, leading to a growing interest in the concept of teacher resilience. In this article, we investigate the possibilities for promoting teacher resilience at the school level using a novel participatory approach. We report
Steph Ainsworth +3 more
wiley +1 more source
Transition System Semantics for Deterministic Situation Calculus.
We define transition system semantics for deterministic situation calculus and study the set of entailments with respect to this semantics from basic theories of actions. These theories include axioms for deterministic complex actions defined by means of
Soutchanski King's
core
Abstract Previous research concerning Global South doctoral students in the United Kingdom has mainly situated their experiences within adaptationist paradigms, emphasising cultural adjustment and assimilation into Western academic norms. Such studies often depict students as passive recipients, overlooking their agency and the transformative potential
Peng Zhang +3 more
wiley +1 more source
Truthmaker Semantics and Natural Language Semantics [PDF]
Truthmaker semantics is a non-classical logical framework that has recently garnered significant interest in philosophy, logic, and natural language semantics.
Champollion, Lucas
core +1 more source
ABSTRACT Neurological disorders represent a critical domain within global health, necessitating advanced interventions to address complex pathologies such as tumors, functional disorders, and cerebrovascular diseases. Despite the proven benefits of early intervention, current treatment paradigms face significant challenges: (1) limited precision in ...
Qing Ye +14 more
wiley +1 more source
Dynamic Semantics for Tense and Aspect [PDF]
A semantics for tense, modality, and aspect in natural language must capture causal and contingent relations between events and states as welt as merely temporal ones The paper investigates a non-reified dynamic logic based, formulation of the situation ...
Steedman, Mark
core +1 more source
In this work, we investigate the stability of solutions in a situation where the logarithmic source term competes with the viscoelastic dissipation under acoustic boundary conditions.
Jum-Ran Kang, Hye-Jin Kim
doaj +1 more source
A Semantics for ADL as Progression in the Situation Calculus
Lin and Reiter were the first to propose a purely declarative semantics of STRIPS by relating the update of a STRIPS database to a form of progression in the situation calculus.
core
Reducing Food Waste Through Sharing Platforms: Unveiling the Rebound Effect
ABSTRACT Food‐sharing platforms are nowadays recognised as a powerful tool to increase food saving. However, little is known about the key determinants fostering its usage. We propose testing the psychosocial determinants of food‐sharing app usage and its impact on post consumption behaviour by combining the technology acceptance model (TAM) with the ...
Laura Michelini +3 more
wiley +1 more source

