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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
. Automated Theory Formation is a hybrid AI technique which has been implemented in two scientific discovery systems, HR1 and HR2… 
2007
2007
We study agents situated in partially observable environments, who do not have the resources to create conformant plans. Instead… 
2005
2005
In this paper we present a preliminary investigation of rational agents who, aware of their own limited mental resources, use… 
2004
2004
This paper discusses an approach of modelling design rational expressed in natural language sentences into a discourse model. The… 
2004
2004
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential… 
2004
2004
Graded classification occurs in many areas of IT, e.g. user preference, relevance, rating, investment, business competitiveness… 
2000
2000
  • S. Pulman
  • 2000
  • Corpus ID: 18485385
While recent statistical methods for disambiguation in natural language processing have been very successful, earlier arguments… 
1998
1998
The paper reports a pilot study aiming at inducing rules for disambiguating words with different possible part of speech readings… 
1997
1997
In this paper, we give a sufficient condition for the existence of the most specific hypothesis (MSH) in Progol. Muggleton [2…