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.
2012
2012
Characterising Driver Intention via Hierarchical Perception-Action Modelling
  • 2012
  • Corpus ID: 17759441
We seek a mechanism for the classification of the intentional behaviour of a cognitive agent, specifically a driver, in terms of… 
2009
2009
Induction on Failure: Learning Connected Horn Theories
Several learning systems based on Inverse Entailment (IE) have been proposed, some that compute single clause hypotheses… 
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… 
2006
2006
Expressing General Problems as CSPs
We consider the translation of general AI problems into CSPs. In particular, we have developed a translation suite able to… 
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
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… 
2002
2002
Learnability of Description Logic Programs ( Extended Technical Report )
Carin-ALN is an interesting new rule learning bias for ILP. By allowing description logic terms as predicates of literals in… 
2000
2000
Adapting Behavior by Inductive Prediction in Soccer Agents
This paper proposes new architecture of agent which adapts its behavior by predicting the results of actions and avoiding taking… 
1998
1998
PAC Learning Conceptual Graphs
This paper discusses the practical learnability of simple classes of conceptual graphs. We place ourselves in the well studied…