Results 11 to 20 of about 6,301,735 (343)
Inductive Logic Programming [PDF]
, 2011 This book constitutes the thoroughly refereed post-proceedings of the 20th International Conference on Inductive Logic Programming, ILP 2010, held in Florence, Italy in June 2010. The 11 revised full papers and 15 revised short papers presented together with abstracts of three invited talks were carefully reviewed and selected during two rounds of ...
FRASCONI, PAOLO, F. A. Lisi
+7 more sources
Refining Inductive Types [PDF]
Logical Methods in Computer Science, 2012 Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexed types that refine data by computationally useful information.
Robert Atkey +2 more
doaj +1 more source
Induction in component-based software synthesis
Lietuvos Matematikos Rinkinys, 2023 The automatic programming and automatic software synthesis systems are relevant software engineering research objects. This article presents the prospects of induction as a component-based software synthesis method.
Vaidas Giedrimas
doaj +3 more sources
Extending Coinductive Logic Programming with Co-Facts [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We introduce a generalized logic programming paradigm where programs, consisting of facts and rules with the usual syntax, can be enriched by co-facts, which syntactically resemble facts but have a special meaning.
Davide Ancona +2 more
doaj +1 more source
Knowledge Discovery in Variant Databases Using Inductive Logic Programming
Bioinformatics and Biology Insights, 2013 Understanding the effects of genetic variation on the phenotype of an individual is a major goal of biomedical research, especially for the development of diagnostics and effective therapeutic solutions.
Hoan Nguyen +3 more
doaj +2 more sources
Program Logics for Homogeneous Generative Run-Time Meta-Programming [PDF]
Logical Methods in Computer Science, 2015 This paper provides the first program logic for homogeneous generative run-time meta-programming---using a variant of MiniML by Davies and Pfenning as its underlying meta-programming language.
Martin Berger, Laurence Tratt
doaj +1 more source
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
Learning as program induction [PDF]
, 2018 The notion that the mind approximates rational (Bayesian) inference has had a strong influence on thinking in psychology since the 1950s. In constrained scenarios, typical of psychology experiments, people often behave in ways that approximate the dictates of probability theory.
Neil R Bramley +3 more
openaire +4 more sources
The potential of Large Language Models in language education
Освітній вимір, 2021 This editorial explores the potential of Large Language Models (LLMs) in language education. It discusses the role of LLMs in machine translation, the concept of ‘prompt programming’, and the inductive bias of LLMs for abstract textual reasoning.
Vita A. Hamaniuk
doaj +1 more source
Experiences of Middle School Programming in an Online Learning Environment
Behavioral Sciences, 2022 This small-scale qualitative study aimed to explore learning programming through online experiences among middle school students in a school for girls in Saudi Arabia.
Reem Alebaikan +4 more
doaj +1 more source