Results 11 to 20 of about 125,965 (208)
Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Explaining Biases in Machine Learning
Computers, 2021 Machine learning methods are growing in relevance for biometrics and personal information processing in domains such as forensics, e-health, recruitment, and e-learning.
Alfonso Ortega +6 more
doaj +1 more source
Logic programming revisited [PDF]
ACM Transactions on Computational Logic, 2001 Logic programming has been introduced as programming in the Horn clause subset of first-order logic. This view breaks down for the negation as failure inference rule. To overcome the problem, one line of research has been to view a logic program as a set of iff-definitions.
Denecker, Marc +2 more
openaire +3 more sources
British Educational Research Journal, Volume 48, Issue 6, Page 1049-1064, December 2022., 2022 Abstract The division of educational systems into different tracks—academic and vocational—represents one of the key elements in explaining social stratification and inequalities. Previous research identifies teachers' expectations as a critical factor to understand the relationship between tracking and social inequality.
Aina Tarabini +2 more
wiley +1 more source
Inductive Logic Programming [PDF]
, 2015 Proceedings of the 24th International Conference on Inductive Logic Programming, Nancy, France, September 14-16, 2014.
Davis, Jesse, Ramon, Jan
openaire +3 more sources
Inductive Logic Programming for Symbol Recognition [PDF]
2009 10th International Conference on Document Analysis and Recognition, 2009 In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial de- scriptions of symbols, based on a formal description. This work is a first step in this direction and is rather a proof of concept, rather than a fully operational and robust frame- work.
K.C., Santosh +2 more
openaire +4 more sources
Business Strategy and the Environment, Volume 32, Issue 1, Page 353-368, January 2023., 2023 Abstract Impact investments have the dual goals of generating profit and environmental and/or social impact from the same project or enterprise. This article examines recent impact investments in biodiversity conservation—specifically, debt finance in the form of conventional bonds and impact bonds.
Benjamin S. Thompson
wiley +1 more source
Few-Shot Induction of Generalized Logical Concepts via Human Guidance
Frontiers in Robotics and AI, 2020 We consider the problem of learning generalized first-order representations of concepts from a small number of examples. We augment an inductive logic programming learner with 2 novel contributions.
Mayukh Das +3 more
doaj +1 more source
Induction Models on \mathbb{N} [PDF]
LPAR-23: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, 2020, Vol. 73, Pages 169-190, 2020 Mathematical induction is a fundamental tool in computer science and mathematics. Henkin initiated the study of formalization of mathematical induction restricted to the setting when the base case B is set to singleton set containing 0 and a unary generating function S.
arxiv +1 more source
Inductive Logic Programming: Theory and methods [PDF]
The Journal of Logic Programming, 1994 AbstractInductive Logic Programming (ILP) is a new discipline which investigates the inductive construction of first-order clausal theories from examples and background knowledge. We survey the most important theories and methods of this new field. First, various problem specifications of ILP are formalized in semantic settings for ILP, yielding a ...
Muggleton, Stephen, De Raedt, Luc
openaire +2 more sources
Answer Set Programming for Regular Inference
Applied Sciences, 2020 We propose an approach to non-deterministic finite automaton (NFA) inductive synthesis that is based on answer set programming (ASP) solvers. To that end, we explain how an NFA and its response to input samples can be encoded as rules in a logic program.
Wojciech Wieczorek +2 more
doaj +1 more source