Results 21 to 30 of about 461,304 (274)
Logic + control: On program construction and verification
This paper presents an example of formal reasoning about the semantics of a Prolog program of practical importance (the SAT solver of Howe and King). The program is treated as a definite clause logic program with added control.
Drabent, Włodzimierz
core +1 more source
Abstract This article examines how UK and US universities manage racial equality regimes through governance structures that prioritise institutional reputation over substantive racial justice reform. Drawing on Bourdieu's field, habitus and capital theory, the study demonstrates how universities neutralise racial justice efforts through bureaucratic ...
David Roberts
wiley +1 more source
Logical information theory: new logical foundations for information theory [PDF]
here is a new theory of information based on logic. The definition of Shannon entropy as well as the notions on joint, conditional, and mutual entropy as defined by Shannon can all be derived by a uniform transformation from the corresponding formulas of logical information theory.
openaire +1 more source
Abstract This article examines the emotional experiences and processes of stigmatisation encountered by families benefiting from the Shock Plan Against Segregation and for Inclusion, Equal Opportunities and Educational Success (SP), implemented in Barcelona.
Andrea Jover +3 more
wiley +1 more source
Abstract Within the educational literature, inter‐organisational school networks are commonly considered instruments for administration, management, and school improvement, but are rarely scrutinised as objects of study themselves. Conversely, in organisational studies, this perspective is given more prominence.
Ignacio Wyman, Paul Wilfred Armstrong
wiley +1 more source
Abstract This paper critically analyses how school readiness has been historically and discursively constructed in Early Childhood Education (ECE) policy in England over the past four decades. Using Bacchi's ‘What's the Problem Represented to be?’ framework and Foucauldian concepts of governmentality, the paper explores how school readiness has shifted
Louise Kay
wiley +1 more source
Four options for assigning a meaning to Islamic Logic are surveyed including a new proposal for an option named "Real Islamic Logic" (RIL). That approach to Islamic Logic should serve modern Islamic objectives in a way comparable to the functionality of ...
Bergstra, Jan Aldert
core +1 more source
Abstract Academic misconduct appeal services have quietly emerged within China's education marketplace, with commercial agencies promoting themselves on social media to assist international students facing misconduct hearings. While existing research on academic integrity has emphasized prevention and detection, far less attention has been paid to what
Gengyan Tang +2 more
wiley +1 more source
Abstract This paper explores the role of community stakeholders in supporting the educational trajectories of students experiencing socio‐economic disadvantage in the Irish context. Building on international and national policy debates, the study examines how community‐based organisations, statutory services and outreach initiatives work alongside ...
Aoife Joy Keogh, Deirdre McGillicuddy
wiley +1 more source

