Skip to search formSkip to main contentSkip to account menu

PROGOL

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

Related topics

Related topics

6 relations
Computer scienceFirst Order Inductive LearnerPrologRoss Quinlan

Broader (1)

Inductive logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The HR3 discovery system: design decisions and implementation details
. Automated Theory Formation is a hybrid AI technique which has been implemented in two scientific discovery systems, HR1 and HR2… 
2011
2011
A comparative study on ILP-based concept discovery systems
2007
2007
Relative relevance of subsets of agent's knowledge
We study agents situated in partially observable environments, who do not have the resources to create conformant plans. Instead… 
2005
2005
Deduction and Exploratory Assessment of Partial Plans
In this paper we present a preliminary investigation of rational agents who, aware of their own limited mental resources, use… 
2004
2004
From Discourse Analysis to Answering Design Questions
This paper discusses an approach of modelling design rational expressed in natural language sentences into a discourse model. The… 
2004
2004
Combining Multiple Answers for Learning Mathematical Structures from Visual Observation
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential… 
2004
2004
GAP-rule discovery for graded classification
Graded classification occurs in many areas of IT, e.g. user preference, relevance, rating, investment, business competitiveness… 
2000
2000
Statistical and logical reasoning in disambiguation
  • S. Pulman
  • Philosophical Transactions of the Royal Society…
  • 2000
  • Corpus ID: 18485385
While recent statistical methods for disambiguation in natural language processing have been very successful, earlier arguments… 
1998
1998
Induction of Constraint Grammar-Rules Using Progol
The paper reports a pilot study aiming at inducing rules for disambiguating words with different possible part of speech readings… 
1997
1997
On a Sufficient Condition for the Existence of Most Specific Hypothesis in Progol
In this paper, we give a sufficient condition for the existence of the most specific hypothesis (MSH) in Progol. Muggleton [2… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)