• Publications
  • Influence
Inductive programming meets the real world
TLDR
We identified several new approaches and techniques which have the potential to overcome some restrictions of previous systems: learning from very few positive examples becomes possible when users and systems share background knowledge that can be represented in a declarative way. Expand
  • 101
  • 7
  • PDF
Ultra-Strong Machine Learning: comprehensibility of programs learned with ILP
TLDR
We present two sets of experiments testing human comprehensibility of logic programs. Expand
  • 50
  • 5
  • PDF
Metaphors and heuristic-driven theory projection (HDTP)
TLDR
A representation using the mathematically sound framework of heuristic-driven theory projection (HDTP) is presented which is--although quite different from classical approaches--algebraic in nature, too. Expand
  • 82
  • 3
  • PDF
Inductive Synthesis of Functional Programs
  • U. Schmid
  • Computer Science, Mathematics
  • Künstliche Intell.
  • 2002
TLDR
We present an approach to folding of finite program terms based on the detection of recurrence relations in a single given term which is considered as the kth unfolding of an unknown recursive program. Expand
  • 27
  • 3
  • PDF
Test Data
  • 22
  • 3
  • PDF
Reference Frames for Spatial Inference in Text Understanding
TLDR
We present an approach to spatial reasoning that is based on homogenous coordinate systems and their transformations and we present empirical results concerning the influence of the selected reference frame on the inference process. Expand
  • 21
  • 3
Computer models solving intelligence test problems: Progress and implications
TLDR
This paper is an extended abstract of an article in the Artificial Intelligence Journal [Hernández-Orallo et al., 2016]. Expand
  • 42
  • 2
  • PDF
Inductive rule learning on the knowledge level
TLDR
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. Expand
  • 47
  • 2
  • PDF
How Does Predicate Invention Affect Human Comprehensibility?
TLDR
We present the results of experiments testing human comprehensibility of logic programs learned with and without predicate invention. Expand
  • 25
  • 2
  • PDF
A Unifying Framework for Analysis and Evaluation of Inductive Programming Systems
TLDR
We introduce conditional higher-order term rewriting as a common framework for inductive logic and inductive functional program synthesis. Expand
  • 25
  • 2
  • PDF