Inductive logic programming (ILP) is a subfield of symbolic artificial intelligence which uses logic programming as a uniform representation for examples...

Inductive programming (IP) is a special area of automatic programming, covering research from artificial intelligence and programming, which addresses...

Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical...

Falsifiability Grammar induction Inductive logic programming Inductive probability Inductive programming Inductive reasoning aptitude Inductivism Inquiry...

Probabilistic logic programming is a programming paradigm that combines logic programming with probabilities. Most approaches to probabilistic logic programming are...

Progol is an implementation of inductive logic programming that combines inverse entailment with general-to-specific search through a refinement graph...

an inductive logic programming system introduced by Ashwin Srinivasan in 2001. As of 2022[update] it is still one of the most widely used inductive logic...

Golem is an inductive logic programming algorithm developed by Stephen Muggleton and Cao Feng in 1990. It uses the technique of relative least general...

Alan Robinson in 1965 and has become a fundamental notion in inductive logic programming. Deciding whether a given clause θ-subsumes another is an NP-complete...

computer programming, and algebra to school children. Inductive logic programming was another approach to learning that allowed logic programs to be synthesized...

representing hypotheses (and not only logic programming), such as functional programs. Inductive logic programming is particularly useful in bioinformatics...

In machine learning, first-order inductive learner (FOIL) is a rule-based learning algorithm. Developed in 1990 by Ross Quinlan, FOIL learns function-free...

Abductive logic programming (ALP) is a high-level knowledge-representation framework that can be used to solve problems declaratively, based on abductive...

theory Bayesian inference Information theory Inductive inference Inductive logic programming Inductive reasoning Learning Minimum message length Minimum...

ILP can refer to: Inductive logic programming Information Leak Prevention Instruction-level parallelism Integer linear programming ilp., a 2013 album by...

of two clause sets in first-order logic, which was the basis of the Golem approach to inductive logic programming. Jacobsen, Erik (Jun 1991), Unification...

to model the uncertainty; some also build upon the methods of inductive logic programming. Significant contributions to the field have been made since...

Mooney, R. J et al. "Learning to parse database queries using inductive logic programming." Proceedings of the national conference on artificial intelligence...

of deriving conclusions from premises. They are integral parts of formal logic, serving as norms of the logical structure of valid arguments. If an argument...

displaying short descriptions of redirect targets Inductive logic programming – learning logic programs from dataPages displaying wikidata descriptions...

declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic of a computation...

statistical inference Inductive logic programming – learning logic programs from dataPages displaying wikidata descriptions as a fallback Inductive probability –...

detachment — an earlier version of resolution Inductive logic programming Inverse resolution Logic programming Method of analytic tableaux SLD resolution...

integrated circuits, software programs, engineering designs, etc. Logic programs (LPs) are software programs written using programming languages whose primitives...

logic and computer science, the calculus of constructions (CoC) is a type theory created by Thierry Coquand. It can serve as both a typed programming...

into stereochemistry-based drug design using inductive logic programming". Inductive Logic Programming. Lecture Notes in Computer Science. Vol. 1314...

Case-based reasoning Decision tree learning Inductive logic programming Gaussian process regression Genetic programming Group method of data handling Kernel...

Metaheuristic Logic and automated reasoning Programming using logic Logic programming See "Logic as search" above. Forms of Logic Propositional logic First-order...

set theory Aleph, an advanced system for inductive logic programming Aleph (Automated Library Expandable Program), software by Ex Libris Group Aleph, an...

one stereoisomer over another Grammar induction Inductive bias Inductive probability Inductive programming Rule induction Word-sense induction Backward induction...