Stephen Muggleton  Home/Search
Context Related
| ncc.up.pt/~amjorge...nt_and_Progol.ps.Z niaad.liacc.up.pt/...nt_and_Progol.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ncc.up.pt/~amjo...onal_Repository (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper firstly provides a re-appraisal of the development of techniques for inverting deduction, secondly introduces Mode-Directed Inverse Entailment (MDIE) as a generalisation and enhancement of previous approaches and thirdly describes an implementation of MDIE in the Progol system. Progol is implemented in C and available by anonymous ftp. The re-assessment of previous techniques in terms of inverse entailment leads to new results for learning from positive data and inverting... (Update)
Cited by: More
A Hybrid Model for Word Sense Disambiguation in.. - Machine Translation Lucia (2005) (Correct)
Scaling Boosting by Margin-Based Inclusion of Features and.. - Hoche, Wrobel (2002) (Correct)
CrossMine: Efficient Classification Across Multiple Database .. - Xiaoxin Yin Uiuc (2004) (Correct)
Active bibliography (related documents): More All
1.3: Inductive Logic Programming: Theory And Methods - Muggleton, De Raedt (1994) (Correct)
1.0: Inductive Logic Programming: derivations, successes and.. - Muggleton (1993) (Correct)
0.9: Learning Logical Exceptions In Chess - Bain (1994) (Correct)
Similar documents based on text: More All
0.2: CProgol4.4: a tutorial introduction - Muggleton, Firth (Correct)
0.2: A Comparison of ILP and Propositional Systems on.. - Roberts, Jacobs, Van.. (Correct)
0.2: Mutagenesis: ILP experiments in a non-determinate.. - Srinivasan.. (1994) (Correct)
Related documents from co-citation: More All
33: Learning Logical Definitions from Relations (context) - Quinlan - 1990
28: Efficient induction of logic programs - Muggleton, Feng - 1990
22: Inductive logic programming : Theory and methods - Muggleton, De Raedt - 1994
BibTeX entry: (Update)
S. Muggleton. Inverse entailment and PROGOL. New Gen. Comput., 13:245--286, 1995. http://citeseer.ist.psu.edu/muggleton95inverse.html More
@article{ muggleton95inverse,
author = "Muggleton, S.",
title = "Inverse Entailment and {P}rogol",
journal = "New Generation Computing, Special issue on Inductive Logic Programming",
volume = "13",
number = "3-4",
publisher = "Ohmsha",
pages = "245-286",
year = "1995",
url = "citeseer.ist.psu.edu/muggleton95inverse.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1984
1447 The Mathematical Theory of Communication (context) - Shannon, Weaver - 1963
660 An introduction to Kolmogorov complexity and its application.. - Li, Vitanyi - 1993
634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965
493 Modeling by Shortest Data Description (context) - Rissanen - 1978
492 Learning logical definitions from relations (context) - Quinlan - 1990
412 Language identification in the limit (context) - Gold - 1967
410 Principles of Artificial Intelligence (context) - Nilsson - 1980
388 Inductive logic programming - Muggleton - 1991
363 Programming in Prolog (context) - Clocksin, Mellish - 1981
328 Algorithmic program debugging (context) - Shapiro - 1983
313 Inductive logic programming: Theory and methods - Muggleton, De Raedt - 1994
271 Efficient induction of logic programs - Muggleton, Feng - 1990
212 Abductive logic programming - Kakas, Kowalski et al. - 1992
154 Machine invention of first-order predicates by inverting res.. (context) - Muggleton, Buntine - 1988
96 Drug design by machine learning: The use of inductive logic .. (context) - King, Muggleton et al. - 1992
85 Theories for mutagenicity: a study of first-order and featur.. - Srinivasan, Muggleton et al. - 1995
77 Protein secondary structure prediction using logic-based mac.. (context) - Muggleton, King et al. - 1992
65 The application of Inductive Logic Programming to finite ele.. - Dolsak, Muggleton - 1992
63 Transformational systems and the algebraic structure of atom.. (context) - Reynolds - 1969
55 Automatic Methods of Inductive Inference (context) - Plotkin - 1971
48 Mutagenesis: Ilp experiments in a non-determinate biological.. - Srinivasan, Muggleton et al. - 1994
41 an oracle based approach to constructive induction (context) - Muggleton - 1987
41 Non-monotonic learning - Bain, Muggleton - 1991
37 A note on inductive generalisation (context) - Plotkin - 1969
34 Extensions of inversion of resolution applied to theory comp.. (context) - Rouveirol - 1992
33 Inductive logic programming: derivations (context) - Muggleton - 1994
30 A completeness theorem and a computer program for finding th.. (context) - Lee - 1967
27 Sub-unification: a tool for efficient induction of recursive.. (context) - Lapointe, Matwin - 1992
23 Bayesian inductive logic programming - Muggleton - 1994
23 Philosophical Transactions of the Royal Society of London (context) - Jevons, mechanisation et al.
22 A learnability model for universal representations - Muggleton, Page - 1994
22 Learning qualitative models of dynamic systems - Bratko, Muggleton et al. - 1991
21 significance and accuracy (context) - Muggleton, Srinivasan et al. - 1992
20 Information Processing Letters (context) - Gottlob, implication - 1987
18 Inducing temporal fault dignostic rules from a qualitative m.. (context) - Feng - 1992
18 Learning the past tense of english verbs: the symbolic patte.. - Ling - 1994
18 Learnability of restricted logic programs - Cohen - 1993
15 Inverting implication - Muggleton - 1992
11 A strategy for constructing new predicates in first order lo.. - Muggleton - 1988
8 Self-saturation of definite clauses (context) - Muggleton, Page - 1994
8 Beyond first-order learning: inductive learning with higher-.. (context) - Muggleton, Page - 1994
8 Incremental generation of vl1 hypotheses: the underlying met.. (context) - Michalski, Larson - 1980
6 Inverting the resolution principle (context) - Muggleton - 1991
5 A simple and general solution for inverting resolution (context) - Rouveirol, Puget - 1989
5 Markus - an optimized model inference system (context) - Grobelnik - 1992
5 Past tenses of verbs and first-order learning (context) - Quinlan - 1993
5 Predicate invention and utilization (context) - Muggleton - 1994
3 Confirmation theory and machine learning (context) - Gillies - 1992
3 Combinatorics: theory and applications (context) - Krishnamurthy - 1986
3 of Computing and Information Science (context) - Conklin, Witten et al. - 1992
3 Existence and nonexistence of complete refinement operators (context) - van der Laag - 1994
3 An experiment in automatic induction (context) - Popplestone - 1969
2 Generalisation of Clauses (context) - Idestam-Almquist - 1993
1 Learning missing clauses by inverse resolution (context) - Idestam-Almquist - 1992
1 The Principles of Science: a Treatise on Logic and Scientifi.. (context) - Jevons
1 Subsumption and refinement in model inference - van der Laag - 1993
1 Power amplification for automatic theorem proving (context) - Meltzer - 1969
1 An Inductive Logic Programming Implementation (context) - Dormer - 1993
1 The effect of background knowledge in inductive logic progra.. (context) - Srinivasan, Muggleton et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ncc.up.pt/~amjorge/Personal_Repository.html):
Extending Programming By Demonstration With Hierarchical Event .. - Kosbie, Myers (1994) (Correct)
Relating Logic Programs Via Program Maps - Kirschenbaum, Sterling, Jain (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC