Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,379,577 papers from all fields of science
Search
Sign In
Create Free Account
PROGOL
Progol is Stephen Muggleton's implementation of Inductive Logic Programming used in computer science that combines "Inverse Entailment" with "general…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Computer science
First Order Inductive Learner
Prolog
Ross Quinlan
Expand
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
S. Colton
,
R. Ramezani
,
M. T. Llano
2014
Corpus ID: 18451737
. Automated Theory Formation is a hybrid AI technique which has been implemented in two scientific discovery systems, HR1 and HR2…
Expand
2011
2011
A comparative study on ILP-based concept discovery systems
Y. Kavurucu
,
Pinar Senkul
,
I. H. Toroslu
Expert systems with applications
2011
Corpus ID: 13280612
2007
2007
Relative relevance of subsets of agent's knowledge
Sławomir Nowaczyk
,
J. Malec
2007
Corpus ID: 2205373
We study agents situated in partially observable environments, who do not have the resources to create conformant plans. Instead…
Expand
2005
2005
Deduction and Exploratory Assessment of Partial Plans
J. Malec
,
Sławomir Nowaczyk
International Joint Conference on Artificial…
2005
Corpus ID: 60025911
In this paper we present a preliminary investigation of rational agents who, aware of their own limited mental resources, use…
Expand
2004
2004
From Discourse Analysis to Answering Design Questions
Sanghee Kim
,
R. Bracewell
,
K. Wallace
LSTKM@EKAW
2004
Corpus ID: 2917668
This paper discusses an approach of modelling design rational expressed in natural language sentences into a discourse model. The…
Expand
2004
2004
Combining Multiple Answers for Learning Mathematical Structures from Visual Observation
P. Santos
,
D. Magee
,
A. Cohn
,
David C. Hogg
European Conference on Artificial Intelligence
2004
Corpus ID: 1194902
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential…
Expand
2004
2004
GAP-rule discovery for graded classification
Tomáš Horváth
,
P. Vojtás
2004
Corpus ID: 17720840
Graded classification occurs in many areas of IT, e.g. user preference, relevance, rating, investment, business competitiveness…
Expand
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…
Expand
1998
1998
Induction of Constraint Grammar-Rules Using Progol
Martin Eineborg
,
N. Lindberg
International Conference on Inductive Logic…
1998
Corpus ID: 41120974
The paper reports a pilot study aiming at inducing rules for disambiguating words with different possible part of speech readings…
Expand
1997
1997
On a Sufficient Condition for the Existence of Most Specific Hypothesis in Progol
K. Furukawa
,
T. Murakami
,
Ken Ueno
,
Tomonobu Ozaki
,
K. Shimazu
International Conference on Inductive Logic…
1997
Corpus ID: 41945159
In this paper, we give a sufficient condition for the existence of the most specific hypothesis (MSH) in Progol. Muggleton [2…
Expand
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)
ACCEPT & CONTINUE