Results 81 to 90 of about 4,200 (297)
Meta-Interpretive LEarning with Reuse
Inductive Logic Programming (ILP) is a research field at the intersection between machine learning and logic programming, focusing on developing a formal framework for inductively learning relational descriptions in the form of logic programs from ...
Rong Wang +3 more
doaj +1 more source
Inductive Completeness of Logics of Programs
AbstractWe propose a new approach to delineating logics of programs, based directly on inductive definition of program semantics. The ingredients are elementary and well-known, but their fusion yields a simple yet powerful approach, surprisingly overlooked for decades.The denotational semantics of a regular program can be construed as a relation ...
openaire +1 more source
Inductive Logic Programming as Abductive Search [PDF]
We present a novel approach to non-monotonic ILP and its implementation called TAL (Top-directed Abductive Learning). TAL overcomes some of the completeness problems of ILP systems based on Inverse Entailment and is the first top-down ILP system that ...
Corapi, Domenico +2 more
core +1 more source
Abstract As front‐line observers and active participants in pupils' daily lives, teachers closely monitor pupils' social interactions, emotional states and behavioural changes. Their unique perspective enables them to detect problems in the social lives of their pupils that may not be immediately visible to peers, parents or mental health professionals.
Yixuan Zheng +4 more
wiley +1 more source
AILP: Abductive Inductive Logic Programming [PDF]
Inductive Logic Programming (ILP) is often situated as a research area emerging at the intersection of Machine Learning and Logic Programming (LP). This paper makes the link more clear between ILP and LP, in particular, between ILP and Abductive Logic ...
Hilde Ade +3 more
core +1 more source
The many faces of inductive logic programming [PDF]
© 1993, Springer Verlag. All rights reserved. Inductive logic programming is a research area which has its roots in machine learning and computational logic. A short introduction to this area is given.
Lavrac, Nada +3 more
core +2 more sources
Abstract Curriculum decolonisation has become a prominent feature of equity agendas in UK higher education, yet there remains limited empirical and theoretical work on how such initiatives are evaluated, particularly within business schools. This paper presents one of the first multi‐institutional empirical studies examining how UK business schools ...
Sally Everett +2 more
wiley +1 more source
Abstract Primary education teachers face increasing challenges in engaging diverse learners and fostering creativity, digital competence and other transversal skills, often lacking clear, practical guidance for integrating these skills into their classrooms.
Nella Escala +2 more
wiley +1 more source
Inductive queries for a drug designing robot scientist [PDF]
It is increasingly clear that machine learning algorithms need to be integrated in an iterative scientific discovery loop, in which data is queried repeatedly by means of inductive queries and where the computer provides guidance to the experiments that ...
Amanda Schierz +15 more
core +1 more source
Falling pupil numbers and school closures: Setting a research agenda for a new era of precarity
Abstract This paper explores the significant phenomenon of decreasing pupil numbers in England due to lower birth rates and the impact of a school closure on a school community. It then discusses how the sociology of education might research this major issue.
Eleanor Fagan, Alice Bradbury
wiley +1 more source

