Results 131 to 140 of about 464,264 (305)

Two formal systems for situation semantics.

open access: yesNotre Dame Journal of Formal Logic, 1991
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

What are the possibilities for promoting teacher resilience at the school level? Insights from the co‐development of a participatory approach in England

open access: yesBritish Educational Research Journal, EarlyView.
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.

open access: yes, 2007
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  

The doctoral journey as decolonial praxis: Self‐formation of Global South students in UK higher education

open access: yesBritish Educational Research Journal, EarlyView.
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]

open access: yes
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

Transforming Brain Health With Neurotechnology Convergence (Part II): Intelligent Neurointervention Systems for Neurological Disorders

open access: yesBrain Health, EarlyView.
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]

open access: yes, 1995
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

General Decay for a Viscoelastic Equation with Acoustic Boundary Conditions and a Logarithmic Nonlinearity

open access: yesMathematics
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

open access: yes, 2008
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

open access: yesBusiness Strategy and the Environment, EarlyView.
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

Home - About - Disclaimer - Privacy