Results 21 to 30 of about 6,127,131 (339)
Logic programs as specifications in the inductive verification of logic programs
Electronic Notes in Theoretical Computer Science, 2001 AbstractIn this paper we define a new verification method based on an assertion language able to express properties defined by the user through a logic program. We first apply the verification framework defined in [3] to derive sufficient inductive conditions to prove partial correctness.
Marco Comini, Roberta Gori, Giorgio Levi
openalex +5 more sources
Higher Inductive Types in Programming [PDF]
Journal of Universal Computer Science, 2017 JUCS - Journal of Universal Computer Science Volume Nr.
Basold,Henning +2 more
openaire +3 more sources
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
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
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
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
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 +1 more source
FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria
AAAI Conference on Artificial Intelligence, 2020 Inductive Logic Programming (ILP) systems aim to find a set of logical rules, called a hypothesis, that explain a set of examples. In cases where many such hypotheses exist, ILP systems often bias towards shorter solutions, leading to highly general ...
Mark Law +4 more
semanticscholar +1 more source