Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

PROGOL

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
This paper firstly provides a re-appraisal of the development of techniques for inverting deduction, secondly introduces Mode… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
The game of chess has been a major testbed for research in artificial intelligence, since it requires focus on intelligent… Expand
Is this relevant?
2005
2005
In this paper we present a preliminary investigation of rational agents who, aware of their own limited mental resources, use… Expand
  • figure 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper presents a case study of a machine-aided knowledge discovery process within the general area of drug design. Within… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
This paper presents a method for approximate match of first-order rules with unseen data. The method is useful especially in case… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
Highly Cited
2003
Highly Cited
2003
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2001
2001
In a multiple-instance representation, each learning example is represented by a “bag” of fixed-length “feature vectors”. Such a… Expand
  • figure 1
  • table 1
  • figure 3
  • table 2
Is this relevant?
2000
2000
The HR program, Colton et al. (1999), performs theory formation in domains of pure mathematics. Given only minimal information… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
1999
1999
We consider the task of tagging Slovene words with morpho-syntactic descriptions (MSDs). MSDs contain not only part-of-speech… Expand
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… Expand
Is this relevant?