PROGOL

Progol is Stephen Muggleton's implementation of Inductive Logic Programming used in computer science that combines "Inverse Entailment" with "general… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Most search techniques within ILP require the evaluation of a large number of inconsistent clauses. However, acceptable clauses… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2003
2003
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2000
2000
Inverse entailment (IE) is known as a technique for finding inductive hypotheses in Horn theories. When a background theory is… (More)
Is this relevant?
1999
1999
We consider the task of tagging Slovene words with morphosyntactic descriptions (MSDs). MSDs contain not only part-of-speech… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
This paper presents a case study of a machine-aided knowledge discovery process within the general area of drug design. Within… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
A system for`tagging' words with their part-of-speech (POS) tags is constructed. The system has two components: a lexicon… (More)
Is this relevant?
1997
1997
Current implementation of coverage check for evaluating the candidate hypothesis in A*-like search in Progol is based on backward… (More)
  • figure 1
Is this relevant?
1997
1997
As far as this author is aware this is the rst paper to de scribe the application of Progol to enantioseparations A scheme is pro… (More)
Is this relevant?
1997
1997
In this paper, we introduce a framework for realizing Knowledge Discovery in Databases by uti l izing Induct ive Logic P r o g r… (More)
  • figure 2
Is this relevant?
Highly Cited
1995
Highly Cited
1995
This paper firstly provides a re-appraisal of the development of techniques for inverting deduction, secondly introduces Mode… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?