Results 1  10
of
75
Inverse entailment and Progol
, 1995
"... This paper firstly provides a reappraisal of the development of techniques for inverting deduction, secondly introduces ModeDirected Inverse Entailment (MDIE) as a generalisation and enhancement of previous approaches and thirdly describes an implementation of MDIE in the Progol system. Progol ..."
Abstract

Cited by 719 (61 self)
 Add to MetaCart
This paper firstly provides a reappraisal of the development of techniques for inverting deduction, secondly introduces ModeDirected Inverse Entailment (MDIE) as a generalisation and enhancement of previous approaches and thirdly describes an implementation of MDIE in the Progol system. Progol
Learning Stochastic Logic Programs
, 2000
"... Stochastic Logic Programs (SLPs) have been shown to be a generalisation of Hidden Markov Models (HMMs), stochastic contextfree grammars, and directed Bayes' nets. A stochastic logic program consists of a set of labelled clauses p:C where p is in the interval [0,1] and C is a firstorder r ..."
Abstract

Cited by 1194 (81 self)
 Add to MetaCart
order rangerestricted definite clause. This paper summarises the syntax, distributional semantics and proof techniques for SLPs and then discusses how a standard Inductive Logic Programming (ILP) system, Progol, has been modied to support learning of SLPs. The resulting system 1) nds an SLP with uniform
PartofSpeech Tagging Using Progol
 In Inductive Logic Programming: Proceedings of the 7th International Workshop (ILP97). LNAI 1297
, 1997
"... . A system for `tagging' words with their partofspeech (POS) tags is constructed. The system has two components: a lexicon containing the set of possible POS tags for a given word, and rules which use a word's context to eliminate possible tags for a word. The Inductive Logic Programming ..."
Abstract

Cited by 48 (5 self)
 Add to MetaCart
Programming (ILP) system Progol is used to induce these rules in the form of definite clauses. The final theory contained 885 clauses. For background knowledge, Progol uses a simple grammar, where the tags are terminals and predicates such as nounp (noun phrase) are nonterminals. Progol was altered to allow
Pharmacophore Discovery using the Inductive Logic Programming System Progol
 Machine Learning
, 1998
"... This paper is a case study of a machine aided knowledge discovery process within the general area of drug design. More specifically, the paper describes a sequence of experiments in which an Inductive Logic Programming(ILP) system is used for pharmacophore discovery. Within drug design, a pharmacoph ..."
Abstract

Cited by 67 (18 self)
 Add to MetaCart
This paper is a case study of a machine aided knowledge discovery process within the general area of drug design. More specifically, the paper describes a sequence of experiments in which an Inductive Logic Programming(ILP) system is used for pharmacophore discovery. Within drug design, a
Hybrid Abductive Inductive Learning: a Generalisation of Progol
 Proceedings of the 13th International Conference on Inductive Logic Programming, volume 2835 of Lecture Notes in AI
, 2003
"... Abstract. The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success, it is known that Bottom Generalisation, and therefore Progol5, are restricted to finding hypotheses that lie ..."
Abstract

Cited by 19 (6 self)
 Add to MetaCart
Abstract. The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success, it is known that Bottom Generalisation, and therefore Progol5, are restricted to finding hypotheses that lie
HIGHERORDER LOGIC LEARNING AND λPROGOL
"... Abstract. We present our research produced about Higherorder Logic Learning (HOLL), which consists of adapting Firstorder Logic Learning (FOLL), like Inductive Logic Programming (ILP), within a Higherorder Logic (HOL) context. We describe a first working implementation of λProgol, a HOLL system a ..."
Abstract
 Add to MetaCart
Abstract. We present our research produced about Higherorder Logic Learning (HOLL), which consists of adapting Firstorder Logic Learning (FOLL), like Inductive Logic Programming (ILP), within a Higherorder Logic (HOL) context. We describe a first working implementation of λProgol, a HOLL system
Mutagenesis: ILP experiments in a nondeterminate biological domain
 Proceedings of the 4th International Workshop on Inductive Logic Programming, volume 237 of GMDStudien
, 1994
"... This paper describes the use of Inductive Logic Programming as a scientific assistant. In particular, it details the application of the ILP system Progol to discovering structural features that can result in mutagenicity in small molecules. To discover these concepts, Progol only had access to th ..."
Abstract

Cited by 110 (11 self)
 Add to MetaCart
This paper describes the use of Inductive Logic Programming as a scientific assistant. In particular, it details the application of the ILP system Progol to discovering structural features that can result in mutagenicity in small molecules. To discover these concepts, Progol only had access
TopDown Induction Of First Order Logical Decision Trees
, 1998
"... this paper. For instance, the Progol system (Muggleton, 1995) has recently been extended with caching and other efficiency improvements (Cussens, 1997). Another direction of work is the use of sampling techniques, see e.g. (Srinivasan, 1998; Sebag, 1998). 168 CHAPTER 7. SCALING UP Tilde ..."
Abstract
 Add to MetaCart
this paper. For instance, the Progol system (Muggleton, 1995) has recently been extended with caching and other efficiency improvements (Cussens, 1997). Another direction of work is the use of sampling techniques, see e.g. (Srinivasan, 1998; Sebag, 1998). 168 CHAPTER 7. SCALING UP Tilde
OHMSHA, LTD. and SpringerVerlag A,
, 1995
"... Abstract This paper firstly provides a reappraisal of the development of techniques for inverting deduction, secondly introduces ModeDirected Inverse Entailment (MDIE) as a generalisation and enhancement of previous approaches and thirdly describes an implementation f MDIE in the Progol system. P ..."
Abstract
 Add to MetaCart
Abstract This paper firstly provides a reappraisal of the development of techniques for inverting deduction, secondly introduces ModeDirected Inverse Entailment (MDIE) as a generalisation and enhancement of previous approaches and thirdly describes an implementation f MDIE in the Progol system
Learning constraint grammarstyle disambiguation rules using inductive logic programming
 In Proc. COLING/ACL98
, 1998
"... This paper reports a pilot study, in which Constraint Grammar inspired rules were learnt using the Progol machinelearning system. Rules discarding faulty readings of ambiguously tagged words were learnt for the part of speech tags of the StockholmUme' £ Corpus. Several thousazld disambiguatio ..."
Abstract

Cited by 13 (1 self)
 Add to MetaCart
This paper reports a pilot study, in which Constraint Grammar inspired rules were learnt using the Progol machinelearning system. Rules discarding faulty readings of ambiguously tagged words were learnt for the part of speech tags of the StockholmUme' £ Corpus. Several thousazld
Results 1  10
of
75