Documents
Authors
Tables
Log in
Sign up
MetaCart
DMCA
Donate
Documents:
Advanced Search
Include Citations
Authors:
Advanced Search
Include Citations |
Disambiguate
Tables:
DMCA
Inverse entailment and Progol (1995)
Cached
Download Links
[www.ncc.up.pt]
[www.doc.ic.ac.uk]
Other Repositories/Bibliography
DBLP
Save to List
Add to Collection
Correct Errors
Monitor Changes
by Stephen Muggleton
Citations:
719 - 61 self
Summary
Citations
Active Bibliography
Co-citation
Clustered Documents
Version History
Citations
10905
A mathematical theory of communication
- Shannon - 1948
2132
An Introduction to Kolmogorov Complexity and its Applications
- Li, Vitányi - 1993
2082
W.: Foundations of Logic Programming
- Lloyd - 1984
1562
Modeling by shortest data description
- Rissanen - 1983
1194
Foundations of Inductive Logic Programming
- Muggleton - 1995
1120
Language Identification in the Limit.
- Gold - 1967
1104
A machine-oriented logic based on the resolution principle
- Robinson - 1965
935
Learning logical definitions from relations
- Quinlan - 1990
624
The role of abduction in logic programming.
- Kakas, Kowalski, et al. - 1997
534
Algorithmic Program Debugging.
- Shapiro - 1983
533
Inductive logic programming: theory and methods. J Log Program.
- Muggleton, Raedt - 1994
202
Machine invention of first-order predicates by inverting resolution.
- Muggleton, Buntine - 1988
159
Theories for mutagenicity: A study in first-order and feature-based induction.
- Srinivasan, Muggleton, et al. - 1996
121
Transformational systems and the algebraic structure of atomic formulas,”
- Reynolds - 1970
115
Drug design by machine learning: The use of inductive logic programming to model the structure-activity relationships of trimethoprim analogues binding to dihydrofolate reductase.
- King, Muggleton, et al. - 1992
110
Protein secondary structure prediction using logic.
- King, Muggleton, et al. - 1992
110
Mutagenesis: ILP experiments in a non-determinate biological domain
- Srinivasan, Muggleton, et al. - 1994
84
Automatic Methods of Inductive Inference
- Plotkin - 1971
83
A note on inductive generalisation.
- Plotkin - 1970
71
The application of Inductive Logic Programming to finite element mesh design
- Dolsak, Muggleton - 1992
60
Non-monotonic learning
- Bain, Muggleton - 1992
55
Extensions of inversion of resolution applied to theory completion.
- Rouveirol - 1992
45
Learning qualitative models of dynamic systems.
- Bratko, Muggleton, et al. - 1992
44
A Completeness Theorem and a Computer Program for Finding Theorems Derivable from Given Axioms
- Lee - 1967
43
Compression, significance and accuracy
- Muggleton, Srinivasan, et al. - 1992
39
Learning the past tense of English verbs: The symbolic patter associator vs. connectionist models
- Ling - 1994
35
Inductive Logic Programming: derivations, successes and shortcomings.
- Muggleton - 1994
34
Subsumption and implication
- Gottlob - 1987
34
Incremental generation of VL1 hypotheses: the underlying methodology and the descriptions of program AQ11
- Michalski, Larson - 1983
32
Sub-unification: a tool for efficient induction of recursive programs.
- Lapointe, Matwin - 1992
29
an oracle based approach to constructive induction
- Duce - 1987
26
Inverting implication
- Muggleton - 1992
24
Learnability of restricted logic programs
- Cohen - 1993
24
Completing logic programs by inverse resolution
- Wirth - 1989
23
A learnability model for universal representations
- Muggleton, Page - 1994
20
Complexity-based induction
- Conklin, Witten - 1994
19
Predicate invention and utility
- Muggleton - 1994
18
Strategy for Constructing New Predicates in First Order Logic
- Muggleton, A - 1988
16
Combinatorics: Theory and Applications,
- Krishnamurthy - 1985
15
Generalization of Clauses.
- Idestam-Almquist - 1993
13
An Experiment in Automatic Induction
- Popplestone - 1969
12
Inducing temporal fault dignostic rules from a qualitative model
- Feng - 1992
12
The Principles of Science: A Treatise on Logic and Scientific Method, First Edition (1874); 2nd Edition (1877). Reprinted by
- Jevons - 1958
10
Inverting the Resolution Principle
- Muggleton - 1991
7
Self-Saturation f Definite Clauses
- Muggleton, Page - 1994
7
Past Tenses of Verbs and First-Order Learning
- Quinlan - 1993
7
A simple and general solution for inverting resolution
- Rouveirol, C, et al. - 1989
6
Beyond first-order learning: inductive learning with higher-order logic
- Muggleton, Page - 1994
4
Confirmation Theory and Machine Learning
- Gillies - 1992
4
An optimized Model Inference System
- Markus - 1992
3
Learning missing clauses by inverse resolution
- Idestam-Almquist - 1992
2
On the Mechanisation of Deductive Inference
- Jevons
2
der Laag and Nienhuys-Cheng. Subsumption and refinement in model inference
- van - 1993
2
The Effect of Background Knowledge in Inductive Logic Programming: A Case Study
- Srinivasan, Muggleton, et al. - 1995
1
An Inductive Logic Programming Implementation
- Dormer - 1993
1
der Laag and Nienhuys-Cheng. Existence and nonexistence of complete refinement operators
- van - 1994
1
amplification for automatic theorem proving
- Power - 1969