%BibTex file developed by Luc De Raedt and Stephen Muggleton for a
%Logic Programming Journal article on ILP (around 325 entries).

@string(mk = "Morgan Kaufmann")
@string(ml = "Machine Learning")
@string(ijmms = "International Journal of Man-Machine Studies")
@string(ai = "Artificial Intelligence")
@string(mcm = "Michalski, R.S and Carbonell, J.G. and Mitchell, T.M.")
@string(bible = "Machine Learning: an artificial
intelligence approach")
@string(jlp= "Journal of Logic Programming")
@string(jws = "John Wiley \& Sons")

@inproceedings{ade,
	AUTHOR = "Ade, H. and De Raedt, L. and Bruynooghe, M.",
	TITLE = "Theory revision",
	YEAR = 1993,
	PAGES = "179-192",
	BOOKTITLE = "Proceedings of the 3rd International Workshop on Inductive Logic Programming",
	EDITOR = "Muggleton, S."}

@article{ang:compreg,
	TITLE = "On the complexity of minimum inference of regular sets",
	AUTHOR = "D. Angluin",
	YEAR = 1978,
	JOURNAL = "Information and Control",
	VOLUME = 39,
	PAGES = "337--350"}

@article{ang:nqueries,
	TITLE = "A note on the number of queries needed to identify regular languages",
	AUTHOR = "D. Angluin",
	YEAR = 1982,
	JOURNAL = "Information and Control",
	VOLUME = 51,
	NUMBER = 1,
	PAGES = "76--87"}

@article{ang:krev,
	TITLE = "Inference of reversible languages",
	AUTHOR = "D. Angluin",
	YEAR = 1982,
	JOURNAL = "JACM",
	VOLUME = 29,
	PAGES = "741--765"}

@article{angsmith,
	TITLE = "A survey of inductive inference: theory and methods",
	AUTHOR = "D. Angluin and C.H. Smith",
	YEAR = 1983,
	JOURNAL = "Computing Surveys",
	VOLUME = 15,
	NUMBER = 3,
	PAGES = "237--269"}

@inproceedings{arbabdm,
	AUTHOR = "B. Arbab and D. Michie",
	TITLE = "Generating rules from examples",
	YEAR = 1985,
	PAGES = "631--633",
	BOOKTITLE = "IJCAI-85",
	PUBLISHER = "Kaufmann",
	ADDRESS = "Los Altos, CA"}

@incollection{extran,
	AUTHOR = "M. A-Razzak and T. Hassan and R. Pettipher",
	TITLE = "EXTRAN-7: A {F}ortran-based software package
		for building expert systems",
	YEAR = 1984,
	PAGES = "23--30",
	BOOKTITLE = "Research and Development in Expert Systems",
	EDITOR = "M.A. Bramer",
	PUBLISHER = "Cambridge University Press",
	ADDRESS = "Cambridge"}

@techreport{bain87,
	AUTHOR = "M. Bain",
	TITLE = "Specification of attributes for computer induction",
	YEAR = 1987,
	TYPE = "{TIRM}",
	INSTITUTION = "The Turing Institute",
	ADDRESS = "Glasgow"}

@techreport{bain:nmtirm,
	AUTHOR = "M. Bain",
	TITLE = "Experiments in Non-monotonic First-order Induction",
	YEAR = 1990,
	TYPE = "{{TIRM}}",
	INSTITUTION = "The Turing Institute",
	ADDRESS = "Glasgow"}

@incollection{bain:pole,
	AUTHOR = "M. Bain",
	TITLE = "Machine-learned rule-based control",
	YEAR = 1990,
	BOOKTITLE = "Knowledge-Based Systems for Industrial Control",
	PAGES = "222-243",
	EDITOR = "J. McGhee",
	ADDRESS = "London"}

@inproceedings{bain:mlw91,
	AUTHOR = "M. Bain",
	TITLE = "Experiments in Non-monotonic Learning",
	YEAR = 1991,
	PAGES = "380--384",
	BOOKTITLE = "Proceedings of the Eighth International Workshop on Machine Learning",
	PUBLISHER = "Morgan Kaufmann",
	ADDRESS = "San Mateo, CA"}

@inproceedings{banerji:dream,
	AUTHOR = "R.B. Banerji",
	TITLE = "Learning in the limit in a growing language",
	YEAR = 1987,
	PAGES = "280-282",
	BOOKTITLE = "IJCAI-87",
	PUBLISHER = "Kaufmann",
	ADDRESS = "Los Angeles, CA"}

@incollection{banerji:theo,
	AUTHOR = "R.B. Banerji",
	TITLE = "Learning theoretical terms",
	YEAR = 1992,
	BOOKTITLE = "Inductive Logic Programming",
	EDITOR= "S. Muggleton",
	PUBLISHER = "Academic Press",
	ADDRESS = "London"}

@inproceedings{bell,
	AUTHOR = "Bell, S. and Weber, S.",
	TITLE = "On the close relationship between {FOIL} and the frameworks
of Helft and Plotkin",
	YEAR = 1993,
	PAGES = "1--10",
	BOOKTITLE = "Proceedings of the 3rd International Workshop on Inductive Logic Programming",
	EDITOR = "Muggleton, S."}

@inproceedings{BG:89,
	AUTHOR = "F. Bergadano and A. Giordana and and S. Ponsero",
	TITLE = "Deduction in top-down inductive learning",
	YEAR = 1989,
	BOOKTITLE = "Proceedings of the Sixth International Workshop on Machine
	  Learning",
	PUBLISHER = "Kaufmann",
	ADDRESS = "Los Altos, CA"}

@inproceedings{ber:pon:89,
	AUTHOR = "F. Bergadano and S. Ponsero",
	TITLE = "Integrating empirical and analytic learning in concept
		acquisition",
	YEAR = 1989,
	BOOKTITLE = "Proceedings of the International
		Symposium on Methodologies for Intelligent Systems:
		Lecture Notes in Artificial Intelligence",
	PUBLISHER = "Springer-Verlag"}

@inproceedings{bergadano:ilp93,
	AUTHOR = "F. Bergadano, S. Brusotti, D. Gunetti  and U. Trinchero",
	TITLE = "Inductive test case generation",
	YEAR = 1993,
	PAGES = "11--24",
	BOOKTITLE = "Proceedings of the 3rd International Workshop on Inductive Logic Programming",
	EDITOR = "Muggleton, S."}

@article(ber:PAMI,
        author = "Bergadano, F. and Giordana, A. and Saitta, L",
        title = "Concept acquisition in noisy environments",
        year = 1988,
        journal = "IEEE Transactions on Pattern Analysis and Machine Intelligence",
        volume = 10,
        pages = "555-578")

@incollection{bennett:algcomp,
	AUTHOR = "C. Bennett",
	TITLE = "Logical depth and physical complexity",
	YEAR = 1988,
	BOOKTITLE = "The Universal Turing Machine A Half Century Survey",
	PAGES = "227--257",
	EDITOR = "R. Herken",
	PUBLISHER = "Kammerer and Unverzagt",
	ADDRESS = "Hamburg"}

@inproceedings{bratko:93,
	AUTHOR = "I. Bratko  and M. Grobelnik",
	TITLE = "Inductive learning applied to program construction and verification",
	YEAR = 1993,
	PAGES = "279-292",
	BOOKTITLE = "Proceedings of the 3rd International Workshop on Inductive Logic Programming",
	EDITOR = "Muggleton, S."}

@inproceedings(bru:paz:91,
        title = "An investigation of
noise-tolerant relational concept learning algorithms",
        author = "Brunk, C.A. and Pazzani, M.J.",
        year = 1991,
        booktitle = "Proceedings of the  8th International Workshop on Machine Learning",
        publisher = mk
)

@inproceedings{bry:90,
        author = "Bry, Francois",
        title = "Intensional updates: abduction via deduction",
        booktitle = "Proceedings of the 7th International Conference on
Logic Programming",
        editor ="Warren, D. and Szeredi, P.",
        publisher = "The MIT press",
        pages = "561-578",
        year = 1990}

@inproceedings{blumer:occam,
	AUTHOR = "A. Blumer and A. Ehrenfeucht and D. Haussler and M. Warmuth",
	TITLE = "Classifying Learnable Geometric Concepts with the {V}apnik-{C}hervonenkis dimension",
	YEAR = 1986,
	PAGES = "273-282",
	BOOKTITLE = "Proceedings of the 18th {ACM} {S}ymposium on {T}heory
		of {C}omputing" }

@article{bnf,
	AUTHOR = "A.W. Biermann and J.A. Feldman",
	TITLE = "On the synthesis of finite-state machines
		from samples of their behaviour",
	YEAR = 1972,
	JOURNAL = "IEEE Transactions on Computers",
	VOLUME = "C",
	NUMBER = 21,
	PAGES = "592--597"}

@incollection(bier:86,
  author = "Biermann, A.",
  title = "Fundamental mechanisms in machine learning and inductive inference",
  booktitle = "Fundamentals of Artificial Intelligence",
  year = 1986,
  publisher = "Springer-Verlag",
  editor = "Bibel, W. and Jorrand, P.")

@techreport{pitt:occam,
	AUTHOR = "R. Board and L. Pitt",
	TITLE = "On the necessity of occam algorithms",
	YEAR = 1989,
	INSTITUTION = " University of Illinois at Urbana-Champaign",
	TYPE = "UIUCDCS-R-89-1544"}

@book{bobrow:loops,
	AUTHOR = "D.G. Bobrow and M. Stefik",
	TITLE = "The LOOPS manual",
	YEAR = 1983,
	PUBLISHER = "Xerox",
	ADDRESS = "Palo Alto, CA"}

@incollection{bratmich:al1,
	AUTHOR = "I. Bratko and D. Michie",
	TITLE = "A representation of pattern-knowledge in chess endgames",
	YEAR = 1980,
	BOOKTITLE = "Advances in Computer Chess",
	VOLUME = "2",
	EDITOR = "M. Clarke",
	PUBLISHER = "Edinburgh University Press",
	ADDRESS = "Edinburgh",
	PAGES = "31--56"}

@book{bratko:prolog,
	AUTHOR = {I. Bratko},
	TITLE = {Prolog for artificial intelligence},
	YEAR = 1986,
	PUBLISHER = "Addison-Wesley",
	ADDRESS = "London"}

@inproceedings{bratmugg:utube,
	AUTHOR = "I. Bratko and S. Muggleton and A. Varsek",
	TITLE = "Learning Qualitative Models of Dynamic Systems",
	YEAR = 1991,
	BOOKTITLE= "Proceedings of the Eighth International Machine Learning Workshop",
	PUBLISHER = "Morgan-Kaufmann",
	ADDRESS= "San Mateo, Ca"}

@techreport{brazmugg:multiagent,
	AUTHOR = "P. Brazdil and S. Muggleton",
	TITLE = "Learning to Relate Terms in a Multiple Agent Environment",
	YEAR = 1990,
	INSTITUTION = "LIACC",
	ADDRESS = "Porto, Portugal"}

@inproceedings{assistant86,
	AUTHOR = "B. Cestnik and I. Kononenko and I. Bratko",
	TITLE = "ASSISTANT 86: a knowledge-elicitation
		tool for sophisticated users",
	YEAR = 1987,
	PAGES = "31--45",
	BOOKTITLE = "Progress in machine learning
		",
	PUBLISHER = "Sigma",
	ADDRESS = "Wilmslow, England"}

@book{carnap:confirm,
	AUTHOR = {R. Carnap},
	TITLE = {The Continuum of Inductive Methods},
	YEAR = 1952,
	PUBLISHER = "Chicago University",
	ADDRESS = "Chicago"}

@article{cn2,
	AUTHOR = "P. Clark and T. Niblett",
	TITLE = "The {CN}2 algorithm",
	YEAR = 1989,
	JOURNAL = "Machine Learning",
	NUMBER = 3,
	PAGES = "261--283"}

@techreport{bratko:human,
	AUTHOR = "I. Bratko",
	TITLE = "Generating human-understandable decision rules",
	YEAR = 1983,
	TYPE = "Working paper",
	INSTITUTION = "E. Kardelj University Ljubljana",
	ADDRESS = "Ljubljana, Yugoslavia"}

@incollection{brazdil:states,
	AUTHOR = "P. Brazdil",
	TITLE = "Knowledge states and meta-knowledge maintenance",
	YEAR = 1987,
	BOOKTITLE = "Progress in Machine Learning",
	EDITOR = "I. Bratko and N. Lavrac",
	PUBLISHER = "Sigma Press",
	ADDRESS = "Wilmslow, England"}

@inproceedings{bru:88,
	AUTHOR = "Bruynooghe, M. and Janssens",
	TITLE = "An instance of abstract interpretation integrating type and mode inferencing",
	YEAR = 1988,
	PAGES = "669-683",
	BOOKTITLE = "Proceedings of the 5th International Conference and Symposium on Logic Programming"}

@article{buntine:induction,
	AUTHOR = "W. Buntine",
	TITLE = "Induction of horn clauses: methods and the
		plausible generalization algorithm",
	YEAR = 1987,
	JOURNAL = "International Journal of Man-Machine Studies",
	VOLUME = 26,
	NUMBER = 4,
	PAGES = "499--519"}

@article{buntine:gensub,
	TITLE = "Generalised subsumption and its applications to induction and
		redundancy",
	AUTHOR = "W. Buntine",
	YEAR = 1988,
	JOURNAL = "Artificial Intelligence",
	VOLUME = 36,
	NUMBER = 2,
	PAGES = "149--176"}

@article(Bun:87,
        author = "Buntine, W.",
        title = "Induction of Horn-Clauses: methods and the plausible
generalization algorithm",
        journal = ijmms,
        volume = 26,
        pages = "499-520",
        year = 1987)

@article{burstdarl,
	TITLE = "A transformation system for developing recursive programs",
	AUTHOR = "R.M. Burstall and J. Darlington",
	YEAR = 1977,
	JOURNAL = "Journal of the Association for Computing Machinery",
	VOLUME = 24,
	PAGES = "44--67"}

@techreport{carlson:flatten,
	AUTHOR = {B. Carlson and F. Kant and W\"{u}nsche},
	TITLE = "A Scheme for Functions in Logic Programming",
	YEAR = 1989,
	TYPE = "{UPMAIL}",
	NUMBER = "57",
	INSTITUTION = "Uppsala Programming Methodology and Artificial Intelligence Laboratory",
	ADDRESS = "Uppsala, Sweden"}

@book{cart,
	TITLE = "Classification and Regression Trees",
	AUTHOR = "L. Breiman and J.H. Friedman and R.A. Olshen and
		C.J. Stone",
	YEAR = 1984,
	PUBLISHER = "Wadsworth",
	ADDRESS = "Belmont"}

@book{chaitin:algcomp,
	TITLE = "Information, Randomness and Incompleteness - Papers on
		Algorithmic Information Theory",
	AUTHOR = "G. Chaitin",
	YEAR = 1987,
	PUBLISHER = "World Scientific Press",
	ADDRESS = "Singapore"}

@book{changnlee,
	TITLE = "Symbolic Logic and Mechanical Theorem Proving",
	AUTHOR = "C. Chang and R. Lee",
	YEAR = "1973",
	PUBLISHER = "Academic Press",
	ADDRESS = "London"}

@book{clockmell,
	TITLE = "Programming in Prolog",
	AUTHOR = "W.F. Clocksin and C.S. Mellish",
	YEAR = "1981",
	PUBLISHER = "Springer-Verlag",
	ADDRESS = "Berlin"}

@inproceedings{ashcolomb:pokolb,
	AUTHOR = "R.M. Colomb and A.Srinivasan and C.A. Sammut",
	TITLE = "Making knowledge representation independent of knowledge processing",
	YEAR = 1991,
	BOOKTITLE = "IJCAI Workshop on Knowledge Acquisition"}

@inproceedings{cohen,
	AUTHOR = "Cohen, W.",
	TITLE = "Learnability of restricted logic programs",
	YEAR = 1993,
	PAGES = "41-72",
	BOOKTITLE = "Proceedings of the 3rd International Workshop on Inductive Logic Programming",
	EDITOR = "Muggleton, S."}

@inproceedings{cohen1,
	AUTHOR = "Cohen, W.",
	TITLE = "{PAC}-learning a restricted class of logic programs",
	YEAR = 1993,
	PAGES = "41-72",
	BOOKTITLE = "Proceedings of the 3rd International Workshop on Inductive Logic Programming",
	EDITOR = "Muggleton, S."}

@techreport{conkwit:compress,
	AUTHOR = "D. Conklin and I. Witten",
	TITLE = "Complexity-based Induction",
	YEAR = 1992,
	INSTITUTION = "Dept. of Computing and Information Science,
		Queen's University",
	ADDRESS = "Kingston, Ontario, Canada"}

@inproceedings{ashcomp:wces,
	AUTHOR = "P. Compton and A.Srinivasan and others",
	TITLE = "Knowledge base maintenance without a knowledge engineer",
	YEAR = 1991,
	BOOKTITLE = "First World Congress on Expert Systems",
	PAGES = "16--19",
	ADDRESS = "Orlando, Florida"}

@inproceedings{ashcomp:ijcai,
	AUTHOR = "P. Compton and A.Srinivasan and others",
	TITLE = "Ripple down rules",
	YEAR = 1991,
	BOOKTITLE = "IJCAI Workshop on Representing Knowledge in
		Medical Decision Support Systems"}

@book{date:base,
	AUTHOR = "C.J. Date",
	TITLE = "An Introduction to Database Systems",
	YEAR = 1976,
	PUBLISHER = "Addison-Wesley"}

@techreport{dechterdm,
	AUTHOR = "R. Dechter and D. Michie",
	TITLE = "Induction of plans",
	YEAR = 1984,
	TYPE = "{TIRM}",
	NUMBER = "84-006",
	INSTITUTION = "The Turing Institute",
	ADDRESS = "Glasgow"}

@inproceedings{dec:89,
        author = "Decker, H.",
        title = "Drawing updates from derivations",
        booktitle = "Proceedings of the 2nd International Conference on
Database Theory",
        editor = "Abiteboul, S. and Kanellakis, P.C.",
  series = "Lecture Notes in Computer Science",
        publisher = "Springer-Verlag",
        volume = 470,
        year = 1990}

@book{d:book,
	TITLE = "Interactive Theory Revision: an Inductive Logic Programming
		Approach",
	AUTHOR = "L. De Raedt",
	YEAR = 1992,
	PUBLISHER = "Academic Press"}

@techreport(d:sd,
        title = "Inductive Logic Programming and Scientific Discovery",
        author = "L. De Raedt",
        year = 1992,
        institution = "Katholieke Universiteit Leuven, Department of
Computing Science",
        note = "submitted")

@article(db:ml,
  author = "L. De Raedt and M. Bruynooghe",
  title = "Interactive Concept-Learning and Constructive Induction by analogy",
 journal =ml,
 year = 1992,
        volume = 8,
 no = 2,
 pages = "107-150")

@article{db:ka,
	AUTHOR = "L. De Raedt and M. Bruynooghe",
	TITLE = "Indirect relevance and bias in inductive concept-learning",
	JOURNAL = "Knowledge Acquisition",
	VOLUME = 2,
	PAGES = "365--390",
	YEAR = 1990}

@article{db:ai,
	AUTHOR = "L. De Raedt and M. Bruynooghe",
	TITLE = "Belief updating from integrity constraints and queries",
	JOURNAL = "Artificial Intelligence",
	VOLUME = 53,
	PAGES = "291--307",
	YEAR = 1992}

@article{db:kr,
        author =   "L. De Raedt and M. Bruynooghe",
        title = "A unifying framework for concept-learning
algorithms",
        year = 1992,
        journal = "The Knowledge Engineering Review",
        volume = 7,
        number =3 ,
        pages = "251-269"}

@inproceedings{db:ijcai93,
	AUTHOR = "L. De Raedt and M. Bruynooghe",
	TITLE = "A theory of clausal discovery",
	BOOKTITLE = "Proceedings of the 13th International Joint Conference on
		Artificial Intelligence",
	PUBLISHER = "Morgan Kaufmann",
	YEAR = 1993}

@inproceedings(lns:ijcai,
        author = "L. De Raedt  and N. Lavra\v{c} and S. D\v{z}eroski",
        title = "Multiple predicate learning",
        booktitle = "Proceedings of the 13th International Joint
Conference on Artificial Intelligence",
        publisher = "Morgan Kaufmann",
        year = 1993)

@incollection{dsb:vvt,
	AUTHOR = "L. De Raedt and G. Sablon and M. Bruynooghe",
	TITLE = "Using interactive concept-learning for knowledge base
		validation and verification",
	EDITOR = "M. Ayel and J.P. Laurent",
	BOOKTITLE = "Validation, Verification and Testing of Knowledge
		Based Systems",
	PAGES = "177--190",
	PUBLISHER = "John Wiley and Sons",
	YEAR = 1991}

@inproceedings{ln:ismis,
	AUTHOR = "L. De Raedt and N. Lavra\v{c}",
	TITLE = "The many faces of inductive logic programming",
	EDITOR = "J. Komorowski",
	BOOKTITLE = "Proceedings of the 7th International
		Symposium on Methodologies for Intelligent Systems:
		Lecture Notes in Artificial Intelligence",
	PUBLISHER = "Springer-Verlag",
	YEAR = 1993}

@inproceedings{dersh:synth,
	AUTHOR = "N. Dershowitz",
	TITLE = "Synthesis by completion",
	YEAR = 1985,
	BOOKTITLE = "IJCAI-85",
	PUBLISHER = "Kaufmann",
	ADDRESS = "Los Altos, CA",
	PAGES = "208--214"}

@article(lopstr:lpj,
	author = "Deville, Y. and Lau, K.",
	title = "Logic program synthesis",
	year = 1993,
	journal = "Journal of Logic Programming",
	note = "submitted to the Special Issue") 

@inproceedings{diet:limits,
	AUTHOR = "Dietterich",
	TITLE = "Limitations of inductive learning",
	YEAR = 1989,
	BOOKTITLE = "Proceedings of the Sixth International
		Workshop on Machine Learning",
	PUBLISHER = "Morgan-Kaufmann",
	ADDRESS = "San Mateo, CA",
	PAGES = "124--128"}

@incollection{dolmugg:fem,
	AUTHOR = "B. Dolsak and S. Muggleton",
	TITLE = "The application of {I}nductive {L}ogic {P}rogramming to
		finite element mesh design",
	YEAR = 1992,
	BOOKTITLE = "Inductive Logic Programming",
	EDITOR= "S. Muggleton",
	PUBLISHER = "Academic Press",
	ADDRESS = "London"}

@article{duflat,
	AUTHOR = "B. Dufay and J.C. Latombe",
	TITLE = "An approach to automatic robot programming based on inductive learning",
	YEAR = 1984,
	JOURNAL = "International Journal of Robotics Research",
	VOLUME = 3,
	NUMBER = 4,
	PAGES = "3--20"}

@inproceedings{ebg:dejong,
	AUTHOR = "G. DeJong",
	TITLE = "Generalisations Based on Explanations",
	BOOKTITLE = "IJCAI-81",
	YEAR = 1981,
	PUBLISHER = "Kaufmann",
	PAGES = "67--69"}

@incollection{duda:prospector,
	AUTHOR = "R.O. Duda and J. Gashnig and P.E. Hart",
	TITLE = "Model design in the PROSPECTOR consultant program
		for mineral exploration",
	YEAR = 1979,
	PAGES = "153--167",
	BOOKTITLE = "Expert Systems in the Microelectronic Age",
	EDITOR = "D. Michie",
	PUBLISHER = "Edinburgh University Press",
	ADDRESS = "Edinburgh"}

@book{dzer:thesis,
        TITLE = "Handling Noise in Inductive Logic Programming",
        AUTHOR = "S. Dzeroski",
        YEAR = 1991,
        PUBLISHER = "University of Ljubljana, (M.Sc. Thesis)",
        ADDRESS = "Ljubljana"}

@inproceedings{dze:mug:rus,
	AUTHOR = "Dzeroski, S. and Muggleton, S. and Russell, S.",
	TITLE = "{PAC}-learnability of determinate logic programs",
	YEAR = 1992,
	BOOKTITLE = "Proceedings of the 5th {ACM} Workshop on Computational
Learning Theory",
	ADDRESS = "Pittsburg, PA"}

@inproceedings(saso3,
        author = "D\v{z}eroski, S. and Bratko, I.",
        title = "Handling noise in Inductive Logic Programming",
        booktitle = "Proceedings of the 2nd International Workshop on Inductive
Logic Programming",
        editor = "Muggleton, S.",
        year = 1992).

@article{eastwood,
	AUTHOR = "E. Eastwood",
	TITLE = "Control Theory and the Engineer",
	YEAR = 1968,
	JOURNAL = "Proceeding of the Institution of Electrical Engineers",
	VOLUME = 115,
	NUMBER = 1,
	PAGES = "203--211"}

@inproceedings{ehren:genval,
	AUTHOR = "A. Ehrenfeucht and D. Haussler and M. Kearns and L. Valiant",
	TITLE = "A general lower bound on the number of examples needed
		for learning",
	YEAR = 1988,
	PAGES = "110--120",
	BOOKTITLE = "COLT 88: Proceedings of the Conference on Learning",
	PUBLISHER = "Morgan-Kaufmann",
	ADDRESS = "Los Altos, CA"}

@inproceedings(emd:hab:83,
  author = "Emde, W. and Habel, C.U. and Rollinger, C.R.",
  year = 1983,
  title = "The discovery of the equator or concept driven learning",
  booktitle = "Proceedings of the 8th International Joint Conference on Artificial Intelligence",
  publisher = mk,
  pages = "455-458")

@incollection(emd:89,
  author = "Emde, W.",
  title = "An inference engine for multiple theories",
  editor = "Morik, K.",
  booktitle = "Knowledge Representation and Organization in Machine Learning",
  series = "Lecture Notes in Artificial Intelligence",
  volume = 347,
  publisher = "Springer-Verlag",
  year = 1989)

@inproceedings(thie:89,
  author = "Thieme, S.",
  year = 1989,
  title = "The acquisition of Model-Knowledge for a Model-Driven Machine Learning approach",
  editor = "Morik, K.",
  booktitle = "Knowledge Representation and Organization in Machine Learning",
  publisher = "Springer Verlag")

@incollection(kie:wro:92,
        booktitle = "Inductive Logic Programming",
  author = "Kietz, J-U. and Wrobel, S.",
        title ="Controlling the complexity of learning in logic through syntactic and task-oriented models",
        editor = "Muggleton, S.",
        publisher = "Academic Press",
        year = 1992)

@inproceedings{epstein:discovery,
	AUTHOR = "S.L. Epstein",
	TITLE = "On the discovery of mathematical theorems",
	YEAR = 1987,
	PAGES = "194--197",
	BOOKTITLE = "IJCAI-87",
	PUBLISHER = "Kaufmann",
	ADDRESS = "Los Angeles, CA"}

@inproceedings{caoeddie:robot1,
	AUTHOR = "C. Feng and E. Grant",
	TITLE = "Generating experiments in robot learning",
	YEAR = "1989",
	PAGES = "177--184",
	BOOKTITLE= "Second Scandinavian Conference on Artificial Intelligence",
	ADDRESS = "Tampere, Finland"}

@inproceedings{caoeddie:robot2,
	AUTHOR = "C. Feng and E. Grant",
	TITLE = "Learning by experimentation in a robot world",
	YEAR = "1989",
	PAGES = "13--15",
	BOOKTITLE= "Second Scandinavian Conference on Artificial Intelligence",
	ADDRESS = "Tampere, Finland"}

@phdthesis{cao:thesis,
        author = "Cao Feng",
        year = 1990,
        school = "The Turing Institute, University of Strathclyde",
        title = "Learning by Experimentation" }

@incollection{feng:satellite,
	AUTHOR = "C. Feng",
	TITLE = "Inducing temporal fault dignostic rules from a qualitative model",
	YEAR = 1992,
	BOOKTITLE = "Inductive Logic Programming",
	EDITOR= "S. Muggleton",
	PUBLISHER = "Academic Press",
	ADDRESS = "London"}

@incollection{rouv92,
	AUTHOR = "C. Rouveirol",
	TITLE = "Extensions of Inversion of Resolution applied to Theory Completion",
	YEAR = 1992,
	BOOKTITLE = "Inductive Logic Programming",
	EDITOR= "S. Muggleton",
	PUBLISHER = "Academic Press",
	ADDRESS = "London"}

@misc{cao:hlgg,
	AUTHOR = "C. Feng and S. Muggleton",
	TITLE = "{L}east {G}eneral {G}eneralisation in {H}igher {O}rder {L}ogic",
	YEAR = 1991,
	NOTE = "to appear as a TIRM"}

@incollection{flach,
	AUTHOR = "P. Flach",
	TITLE = "A framework for inductive logic programming",
	EDITOR = "S. Muggleton",
	BOOKTITLE = "Inductive logic programming",
	PUBLISHER = "Academic Press",
	YEAR = 1992}

@article(flener,
	author = "P. Flener and Y. Deville",
	title = "Logic Program Synthesis ?",
	journal = "Journal of Symbolic Computation",
	year = 1993,
	note = "to appear")

@incollection{page:pacilp,
	AUTHOR = "D. Page and A. Frisch",
	TITLE = "Generalization and Learnability:
		A Study of Constrained Atoms",
	YEAR = 1992,
	BOOKTITLE = "Inductive Logic Programming",
	EDITOR = "S. Muggleton",
	PUBLISHER = "Academic Press",
	ADDRESS= "London"}

@techreport{foxmcd:xcon,
	AUTHOR = "M.S. Fox and J. McDermott",
	TITLE = "The role of databases in knowledge-based systems",
	YEAR = 1986,
	NUMBER = "CMU-RI-TR-86-3",
	INSTITUTION = "Carnegie-Mellon University, Robotics Institute",
	ADDRESS = "Pittsburgh, PA"}

@inproceedings{fagan:vm,
	AUTHOR = "L. Fagan and J. Kunz and E. Feigenbaum and J. Osborne",
	TITLE = "On the discovery of mathematical theorems",
	YEAR = 1979,
	PAGES = "260--262",
	BOOKTITLE = "IJCAI-79",
	PUBLISHER = "Kaufmann",
	ADDRESS = "Los Altos, CA"}

@incollection{feigbottle,
	AUTHOR = "E.A. Feigenbaum",
	TITLE = "Themes and case studies of knowledge engineering",
	YEAR = 1979,
	PAGES = "3-25",
	BOOKTITLE = "Expert Systems in the Micro-electronic Age",
	EDITOR = "D. Michie",
	PUBLISHER = "Edinburgh University Press",
	ADDRESS = "Edinburgh"}

@book{feigfifth,
	AUTHOR = {E.A. Feigenbaum and P. McCorduck},
	TITLE = {The Fifth Generation: artificial intelligence and Japan's computer
		challenge to the world},
	YEAR = 1984,
	PUBLISHER = "Joseph",
	ADDRESS = "London"}

@article{fubooth,
	AUTHOR = "K.S. Fu and T.L. Booth",
	TITLE = "Grammatical inference: introduction and survey",
	YEAR = 1975,
	JOURNAL = "IEEE Transactions on Systems, Man, Cybernetics",
	VOLUME = 5,
	PAGES = "95--111,409--423"}

@inproceedings{fubuch,
	AUTHOR = "L.M. Fu and B.G. Buchanan",
	TITLE = "Learning intermediate concepts in constructing
		a hierarchical knowledge base",
	YEAR = 1985,
	PAGES = "659--666",
	BOOKTITLE = "IJCAI-85",
	PUBLISHER = "Kaufmann",
	ADDRESS = "Los Altos, CA"}

@techreport{gabbay:temporal,
	AUTHOR = "D. Gabbay",
	TITLE = "Executable temporal logic for interactive systems",
	YEAR = 1987,
	INSTITUTION = "Department of Computing, Imperial College"}

@techreport{gabbay:defeasible,
	AUTHOR = "D. Gabbay and D. Nute",
	TITLE = "Defeasible reasoning: Syntax, Semantics,
		Implementation and Application",
	YEAR = 1988,
	INSTITUTION = "Department of Computing, Imperial College",
	TYPE = "Final report to the National Science Foundation
		of work performed under NSF grant No. IST-8505586"}

@book{gallager:information,
	TITLE = "Information theory and Reliable Communication",
	AUTHOR = "R. G. Gallager",
	YEAR = 1968,
	PUBLISHER = "Wiley",
	ADDRESS = "New York"}

@inproceedings{gillies:turingood,
	AUTHOR = "D.A. Gillies",
	TITLE = "The {T}uring-{G}ood Weight of evidence Function
		and {P}oppers's measure of severity of a Test",
	BOOKTITLE = "Proceedings of the Conference on
		Reasoning as a Paradigm for Artificial Intelligence",
	YEAR = 1987,
	PUBLISHER = "University of Durham",
	ADDRESS = "Durham"}

@incollection{gillies:induction,
	AUTHOR = "D.A. Gillies",
	TITLE = "Induction and Probability",
	YEAR = 1988,
	PAGES = "179--204",
	BOOKTITLE = "An Encyclopedia of Philosophy",
	EDITOR = "G.M.R. Parkinson"}

@incollection{giov:flatten,
	AUTHOR = "E. Giovannetti and C. Moiso",
	TITLE = "Some aspects of the integration between
		logic programming and functional programming",
	YEAR = 1987,
	PAGES = "69--79",
	BOOKTITLE = "Artificial Intelligence II. Methodology, Systems, Applications",
	PUBLISHER = "North-Holland",
	EDITOR = "P Jorrand and V. Sgurev"}

@inproceedings(marko,
  author = "Grobelnik, M.",
  title = "Markus - an optimized Model Inference System",
        booktitle = "Proceedings of the ECAI workshop on Logical Approaches to Machine Learning",
  year = 1992)


@article{godel:incomplete:paper,
	AUTHOR = {K. G\"{o}del},
	TITLE = {\"{U}ber formal unentscheidbare {S}\"{a}tze der 
	{P}rincipia {M}athematica und verwandter {S}ystem {I}},
	YEAR = 1931,
	JOURNAL = "Monats. Math. Phys.",
	VOLUME = 32,
	PAGES = "173--198"}

@book{godel:incomplete:book,
	AUTHOR = {K. G\"{o}del},
	TITLE = {On Formally Undecidable Propositions of
	Principia Mathematica and Related Systems},
	YEAR = 1962,
	PUBLISHER = "Oliver and Boyd",
	HOWPUBLISHED = "Translated by B. Meltzer",
	ADDRESS = "London"}

@book{godel:collected,
	TITLE = {G\"{o}del's Collected Works},
	YEAR = 1980,
	EDITOR = "S. Feferman et al.",
	PUBLISHER = "Oxford University Press",
	ADDRESS = "Oxford"}

@article{goldident,
	AUTHOR = "E.M. Gold",
	TITLE = "Language identification in the limit",
	YEAR = 1967,
	JOURNAL = "Information and Control",
	VOLUME = 10,
	PAGES = "447--474"}

@article{gold:complexity,
	AUTHOR = "E.M. Gold",
	TITLE = "Complexity of automaton identification from given data",
	YEAR = 1978,
	JOURNAL = "Information and Control",
	VOLUME = 37,
	PAGES = "302--320"}

@article{gottlob:imp,
	AUTHOR = "G. Gottlob",
	TITLE = "Subsumption and implication",
	YEAR = 1987,
	JOURNAL = "Information Processing Letters",
	PUBLISHER = "North Holland",
	VOLUME = 24,
	NUMBER = 2,
	PAGES = "109--111"}

@article(gues:ll:90a,
        author =  "Guessoum, A. and Lloyd, J.W.",
        title = "Updating Knowledge Bases",
        journal = "New Generation Computing",
        volume = 8,
        pages = "71-88",
        year = 1990)

@techreport(gues:ll:90b,
        author =  "Guessoum, A. and Lloyd, J.W.",
        title = " Updating Knowledge Bases II",
        number = "TR-90-03",
        institution = "University of Bristol, Department of Computer Science",
        year = 1990)

@incollection{haussler90,
	AUTHOR = "D. Haussler",
	TITLE = "Applying {V}aliant's learning framework to {AI}
		concept-learning problems",
	YEAR = 1990,
	PAGES = "641--669",
	BOOKTITLE = " Machine learning: an artificial intelligence approach",
	VOLUME = "3",
	EDITOR = "Y. Kodratoff and R. Michalski",
	PUBLISHER = "Morgan Kaufman",
	ADDRESS = "San Mateo, CA"}

@article{haussler:bias,
	AUTHOR = "D. Haussler",
	TITLE = "Quantifying inductive bias: A{I} learning algorithms and {V}aliant's
	learning framework",
	YEAR = 1988,
	JOURNAL = "Artificial intelligence",
	VOLUME = 36,
	PAGES = "177 - 221"}

@article{hayes:bmt,
	AUTHOR = "J. Hayes-Michie",
	TITLE = "News from {B}rainware",
	YEAR = 1990,
	JOURNAL = "Pragmatica",
	VOLUME = 1,
	PAGES = "10-11",
	PUBLISHER = "Turing Institute Press",
	ADDRESS = "Glasgow, UK"}

@inproceedings{hel:88,
	AUTHOR = "N. Helft",
	TITLE = "Learning systems of first order rules",
	BOOKTITLE = "Proceedings of the 5th International Workshop on Machine Learning",
        publisher = mk,
        year = 1988,
        pages = "395-401"}

@inproceedings{hel:89,
	AUTHOR = "N. Helft",
	TITLE = "Induction as nonmonotonic inference",
	BOOKTITLE = "Proceedings of the 1st International Conference
		on Principles of Knowledge Representation and Reasoning",
	PAGES = "149--156",
	PUBLISHER = "Kaufmann",
	YEAR = 1989}

@inproceedings{hoare:progs,
	AUTHOR = "C.A.R. Hoare",
	TITLE = "Programs are predicates",
	BOOKTITLE = "Proceedings of the Final Fifth
		Generation Conference",
	YEAR = 1992,
	PUBLISHER = "Ohmsha",
	ADDRESS = "Tokyo" }

@book{holland:genetic,
	AUTHOR = "J.H. Holland",
	TITLE = "Adaption in Natural and Artificial Systems",
	YEAR = 1975,
	PUBLISHER = "University of Michigan Press",
	ADDRESS = "Ann Arbor, Michigan"}

@book{hopullman:automata,
	AUTHOR = "J.E. Hopcroft and J.D. Ullman",
	TITLE = "Introduction to Automata and Formal Languages",
	YEAR = 1979,
	PUBLISHER = "Addison-Wesley",
	ADDRESS = "Reading, MA"}

@inproceedings{humesamm:mlw91,
        AUTHOR = "D. Hume and C.A. Sammut",
        TITLE = "Using Inverse Resolution to Learn Relations from Experiments",
        PAGES = "412--416",
        YEAR = 1991,
        BOOKTITLE = "Proceedings of the Eighth International Workshop on Machine
                Learning",
        EDITOR = "L. Birnbaum and G.C. Collins",
        PUBLISHER = "Morgan Kaufmann",
        ADDRESS = "San Mateo"}

@inproceedings(kak:man:90,
        author = "Kakas, T. and Mancarella, P.",
        title = "Database updates through abduction",
        booktitle = "Proceedings of the 16th International  Conference on
Very Large Databases",
        pages = "650-661",
        editor = "McLeod, D. and Sacks-Davis, R. and Scheck, H.",
        publisher = mk,
        year =1990)

@techreport{kfuru:clp,
	AUTHOR = "T. Kawamura and K. Furukawa",
	TITLE = "Towards Inductive Generalization in Constraint
		Logic Programs",
	YEAR = 1993,
	INSTITUTION = "Faculy of Environmental Information, Keio University"}

@article{king:promis,
	AUTHOR = "R. King and M.J.E. Sternberg",
	TITLE = "A machine learning approach for the prediction of protein secondary structure",
	YEAR = 1990,
	JOURNAL = "Journal of Molecular Biology",
	VOLUME = 216,
	PAGES = "441--457"}

@incollection{king:mi12,
	AUTHOR = "R. King",
	TITLE = "{PROMIS}: {E}xperiments in machine learning and protein folding",
	YEAR = 1991,
	BOOKTITLE = "Machine Intelligence 12",
	EDITOR = "D. Michie",
	PUBLISHER = "Oxford University Press"}

@inproceedings{kir:ster:91,
	AUTHOR = "Kirschenbaum and L. Sterling",
	TITLE = "Refinement strategies for inductive learning of
		simple {P}rolog programs",
	BOOKTITLE = "Proceedings of the 12th International Joint
		Conference on Artificial Intelligence",
	PUBLISHER = "Kaufmann",
	YEAR = 1991}

@incollection{kleene52,
	AUTHOR = "S. Kleene",
	TITLE = "Finite axiomatizability of theories in the predicate
		calculus using additional predicate symbols",
	YEAR = 1952,
	EDITOR = "S. Kleene",
	BOOKTITLE = "Two papers on the predicate calculus,
		Memoirs of the American Mathematical Society No. 10",
	PUBLISHER = "American Mathematical Society",
	ADDRESS = "Providence, RI"}

@article{kmuggs:drugs,
	AUTHOR = "R. King and S. Muggleton R. Lewis and M. Sternberg",
	TITLE = "Drug design by machine learning: The use of inductive logic programming to model the structure-activity relationships of trimethoprim analogues binding to dihydrofolate reductase",
	JOURNAL = "Proceedings of the National Academy of Sciences",
	VOLUME = "89",
	NUMBER = "23",
	YEAR = 1992 }

@incollection{numao,
        AUTHOR = "Kijsirikul, B. and Numao, M. and Shimura, M.",
        TITLE = "Efficient learning of logic programs with non-determinate, non-discriminating literals",
        YEAR = 1992,
        BOOKTITLE = "Inductive Logic Programming",
        EDITOR= "S. Muggleton",
        PUBLISHER = "Academic Press",
        ADDRESS = "London"}

@article{kuipers:qual,
	AUTHOR = "B. Kuipers",
	TITLE = "Qualitative simulation",
	YEAR = 1986,
	JOURNAL = "Artificial Intelligence",
	VOLUME = 29,
	PAGES = "289--338"}

@book{klnghor,
	AUTHOR = "Horwitz and Kling",
	TITLE = "Chess Studies",
	YEAR = 1851,
	PUBLISHER = "Skeet",
	ADDRESS = "London"}

@book{kow:logic,
	AUTHOR = "R.A. Kowalski",
	TITLE = "Logic for Problem Solving",
	YEAR = 1980,
	PUBLISHER = "North Holland" }

@techreport{huberman,
	AUTHOR = "B.J. Huberman",
	TITLE = "A program to play chess end-games",
	YEAR = 1968,
	INSTITUTION = "Computer Science Department, 
		  	Stanford",
	TYPE = "CS",
	NUMBER = "106"}

@book{hunt,
	AUTHOR = "E.B. Hunt and J. Marin and P.T. Stone",
	TITLE = "Experiments in Induction",
	YEAR = 1966,
	PUBLISHER = "Academic Press",
	ADDRESS = "New York"}

@techreport{idestam:invimp2,
	AUTHOR = "P. Idestam-Almquist",
	TITLE = "Generalization under Implication:
		Expansion of Clauses for Linear Roots",
	YEAR = 1992,
	INSTITUTION = "Dept. of Computer and Systems Sciences, 
		  	Stockholm University" }

@inproceedings{idestam:invimp,
        AUTHOR = "P. Idestam-Almquist",
        TITLE = "Generalisation under implication by using 
or-introduction",
        YEAR = 1993,
        BOOKTITLE = "Proceedings of the 6th European Conference on Machine Learning",
	EDITOR = "Brazdil, P.",
 	SERIES = "Lecture Notes in Artificial Intelligence",
	VOLUME = 667,
        PUBLISHER = "Springer-Verlag",
	PAGES = "56-64"}

@inproceedings{ishizaka:invention,
	AUTHOR = "H. Ishizaka",
	TITLE = "Learning simple deterministic languages",
	BOOKTITLE = "Computational learning theory: proceedings of the second annual
		workshop",
	YEAR = 1989,
	PUBLISHER = "Kaufmann",
	ADDRESS = "San Mateo, CA"}

@book{intellicorp:kee,
	AUTHOR = "Intellicorp",
	TITLE = "The Knowledge Engineering Environment",
	YEAR = 1984,
	PUBLISHER = "Intellicorp",
	ADDRESS = "Menlo Park, CA"}

@techreport{jackson,
	AUTHOR = "J.A. Jackson",
	TITLE = "Economics of Automatic Generation of Rules from
		Examples in a {C}hess End-Game",
	YEAR = 1985,
	INSTITUTION = "Computer Science Department, 
		  	Univ. of Illinois at Urbana Champaign",
	TYPE = "UIUCDCS-F",
	NUMBER = "85-932"}

@techreport{femf30,
	AUTHOR = "A. Jezernik and S. Gorosnik and S. Bader",
	TITLE = "Deformation and Stress Analysis of Cylinder {F30} using FEM, {F}inal report",
	YEAR = 1989,
	INSTITUTION = "Faculty of Technical Sciences, Maribor, Yugoslavia"}

@book{johnson:thesis,
	AUTHOR = "S.D. Johnson",
	TITLE = "Synthesis of Digital Designs from Recursion Equations",
	YEAR = 1984,
	PUBLISHER = "MIT Press"}

@book{kalbfleish,
	AUTHOR = "J. Kalbfleish",
	TITLE = "Probability and Statistical Inference",
	YEAR = 1979,
	VOLUME = "2",
	PUBLISHER = "Springer-Verlag",
	ADDRESS = "New York"}

@inproceedings{prolog:ebg,
	AUTHOR = "S.T. Kedar-Cabelli and L.T. McCarty",
	TITLE = "Explanation-based generalization as resolution theorem proving",
	PAGES = "383--389",
	YEAR = 1987,
	BOOKTITLE = "Proceedings of the Fourth International Workshop on Machine
		Learning",
	EDITOR = "P. Langley",
	PUBLISHER = "Morgan Kaufmann",
	ADDRESS = "Los Altos"}

@inproceedings{kietz,
        AUTHOR = "Kietz, J.U",
        TITLE = "Some lower bounds on the computational complexity of
		inductive logic programming",
        YEAR = 1993,
        BOOKTITLE = "Proceedings of the 6th European Conference on
		Machine Learning",
	EDITOR = "Brazdil, P.",
 	SERIES = "Lecture Notes in Artificial Intelligence",
	VOLUME = 667,
        PUBLISHER = "Springer-Verlag",
	PAGES = "115-123"}

@article{kolmogorov:information,
	AUTHOR = "A.N. Kolmogorov",
	TITLE = "Three approaches to the quantitative definition of 
	information",
	YEAR = 1965,
	JOURNAL = "Prob. Inf. Trans.",
	VOLUME = 1,
	PAGES = "1--7"}

@incollection{konolige:nonmon,
	AUTHOR = "K. Konolige",
	TITLE = "Partial models and non-monotonic inference",
	PAGES = "3--19",
	YEAR = 1988,
	BOOKTITLE = "Machine Intelligence 11",
	EDITOR = "J.E. Hayes and D. Michie and J. Richard",
	PUBLISHER = "Oxford University Press",
	ADDRESS = "Oxford"}

@techreport{kononenkoetal,
	AUTHOR = "I. Kononenko and I. Bratko and R. Roskar",
	TITLE = "Experiments in Automatic Learning of Medical Diagnostic
		Rules",
	YEAR = 1984,
	INSTITUTION = "Faculty of Electircal Engineering, E. Kardelj
			University, Ljubljana"}

@inproceedings{lapointe:subu,
	TITLE = "Sub-unification: a tool for efficient induction
		of recursive programs",
	AUTHOR = "S. Lapointe and S. Matwin",
	YEAR = 1992,
	BOOKTITLE = "Proceedings of the Ninth International Machine Learning Conference",
	PUBLISHER = "Morgan Kaufmann",
	ADDRESS = "Los Altos"}

@inproceedings{lapointe:construct,
	TITLE = "Constructive Inductive Logic Programming",
	AUTHOR = "S. Lapointe and C. Ling and S. Matwin",
	YEAR = 1993,
	BOOKTITLE = "Proceedings of the 3rd International Workshop on Inductive Logic Programming",
	EDITOR = "Muggleton, S."}

@book{lopstr,
	editor = "K. K. Lau and T. Clement",
	title = "Logic Program Synthesis and Transformation",
	series = "Workshops in Computing",
	publisher = "Springer-Verlag",
	year = 1993}

@book{lav:dze,
	AUTHOR = "N. Lavra\v{c} and S. D\v{z}eroski",
	TITLE = "Inductive Logic Programming : Techniques and Applications",
	YEAR = 1993,
	PUBLISHER = "Ellis Horwoord",
	Note = "(to appear)"}

@inproceedings{lavrac:linus,
	AUTHOR = "N. Lavra\v{c} and S. D\v{z}eroski and M. Grobelnik",
	TITLE = "Learning non-recursive definitions of relations with {LINUS}",
	EDITOR = "Yves Kodratoff",
	BOOKTITLE = "Proceedings of the 5th European Working Session on
		Learning, volume 482 of Lecture Notes in Artificial
		Intelligence",
	PUBLISHER = "Springer-Verlag",
	YEAR = 1991}

@techreport{ling:necinv,
	AUTHOR = "C. Ling",
	TITLE = "Inventing necessary theoretical terms in scientific
		duiscovery and inductive logic programming",
	YEAR = 1991,
	INSTITUTION = "Dept. of Comp. Sci., Univ. of Western Ontario",
	NUMBER = "302"}

@inproceedings{mingkolm,
	TITLE = "Inductive Reasoning and {K}olmogorov Complexity",
	AUTHOR = "M. Li and P.M.B. Vitanyi",
	YEAR = 1989,
	BOOKTITLE = "Proceedings of the Fourth Annual IEEE Structure in Complexity Theory Conference",
	PAGES = "165--185"}

@inproceedings{mizog:clp,
	AUTHOR = "F. Mizoguchi and H. Ohwada",
	TITLE = "Constraint-directed generalization for learning spatial
		relations",
	BOOKTITLE = "Proceedings of the Second Inductive Learning Workshop",
	YEAR = 1992,
	PUBLISHER = "ICOT TM-1182",
	ADDRESS = "Tokyo"}

@techreport{ling:invent,
	AUTHOR = "X. Ling and M. Dawes",
	TITLE = "Theory Reduction with Uncertainty: A Reason
		for Theoretical Terms",
	YEAR = 1990,
	INSTITUTION = "University of Western Ontario",
	NUMBER = "271"}

@incollection{langley:bacon,
	AUTHOR = "P. Langley and G.L Bradshaw and H. Simon",
	TITLE = "Rediscovering chemistry with the {B}acon system",
	YEAR = 1983,
	PAGES = "307--330",
	BOOKTITLE = "Machine Learning: An Artificial Intelligence
			Approach",
	EDITOR = "R. Michalski and J. Carbonnel and T. Mitchell",
	PUBLISHER = "Tioga",
	ADDRESS = "Palo Alto, CA"}

@incollection{lmm:unif.rev,
	AUTHOR = "J.L Lassez, M.J. Maher, K. Marriott",
	TITLE = "Unification revisited",
	YEAR = 1987,
	BOOKTITLE = "Who Knows",
	PUBLISHER = "Springer-Verlag"}

@article{lawson:confirmation,
	TITLE = "The Context of Prediction and the Paradox of Confirmation",
	AUTHOR = "T. Lawson",
	YEAR = 1985,
	JOURNAL = "British Journal for the Philosophy of Science",
	VOLUME = 36,
	PAGES = "393--407"}

@inproceedings{leech,
	AUTHOR = "W.J. Leech",
	TITLE = "A Rule Based Process Control Method with Feedback",
	BOOKTITLE = "Proceedings of the ISA/86",
	YEAR = 1986,
	PAGES = "169--175",
	PUBLISHER = "The Instrumentation Society of America",
	ADDRESS = "Research Triangle Park, NC 27709"}

@phdthesis{lee:thesis,
	TITLE = "A completeness theorem and a computer program
		for finding theorems derivable from given axioms",
	AUTHOR = "C. Lee",
	SCHOOL = "University of California, Berkeley",
	YEAR = 1967}

@incollection{lenat:am,
	AUTHOR = "D.B. Lenat",
	TITLE = "On Automated Scientific Theory Formation: a case study
		using the {AM} Program",
	BOOKTITLE = "Machine Intelligence 9",
	YEAR = 1981,
	EDITOR = "J.E. Hayes and D. Michie",
	PUBLISHER = "Horwood",
	ADDRESS = "New York"}

@article{lenat:eurisko,
	TITLE = "{EURISKO}: A Program that learns new Heuristics and domain
		concepts: the nature of Heuristics III: Program design and
		results",
	AUTHOR = "D.B. Lenat",
	YEAR = 1983,
	JOURNAL = "Artificial Intelligence",
	VOLUME = 21,
	NUMBER = "1 \& 2",
	PAGES = "61--98"}

@article{lev:fsm,
	TITLE = "The use of tree derivatives and a sample support
		parameter for inferring tree systems",
	AUTHOR = "B. Levine",
	YEAR = 1982,
	JOURNAL = "IEEE Transactions on Pattern Analysis
		and Machine Intelligence",
	VOLUME = 4,
	PAGES = "25--34"}

@article{lindley:scoring,
	TITLE = "Scoring rules and the inevitability of Probability",
	AUTHOR = "D.V. Lindley",
	YEAR = 1982,
	JOURNAL = "International Statistics Review",
	VOLUME = 50,
	PAGES = "1--26"}

@book{lloyd:lp,
	AUTHOR = "J.W. Lloyd",
	TITLE = "Foundations of Logic Programming",
	YEAR = 1984,
	PUBLISHER = "Springer-Verlag",
	ADDRESS = "Berlin"}

@article{mellish,
	author =	"Chris S. Mellish",
	title =		"Some Global Optimizations for a {P}rolog Compiler",
	journal =	"Journal of Logic Programming",
	volume =	"2",
	pages =		"43--66",
	year =		"1985" }

@inproceedings{mishra,
	author =	"Prateek Mishra",
	title =		"Towards a theory of types in {P}rolog",
	booktitle =	"Proceedings of the 1984 International Symposium on
			Logic Programming",
	publisher =	"IEEE Computer Society Press",
	address =	"Atlantic City",
	pages =		"289--298",
	year =		"1984" }

@book{mcexpert,
	AUTHOR = "R. McLaren",
	TITLE = "Expert Ease User Manual",
	YEAR = 1984,
	PUBLISHER = "ITL-KnowledgeLink",
	ADDRESS = "Glasgow"}

@incollection{mchanegri,
	AUTHOR = "R.S. Michalski and P. Negri",
	TITLE = "An Experiment on Inductive Learning in Chess End Games",
	YEAR = 1977,
	PAGES = "175--192",
	BOOKTITLE = "Machine Intelligence 8",
	EDITOR = "E.W. Elcock and D. Michie",
	PUBLISHER = "Horwood",
	ADDRESS = "New York"}

@techreport{mchalarson78,
	AUTHOR = "R. Michalski and J. Larson",
	TITLE = "Selection of most Representative Training Examples and
		Incremental Generation of VL1 Hypotheses: the
		underlying Methodology and the Description of Programs
		{ESEL} and {AQ11}",
	YEAR = 1978,
	INSTITUTION = "Computer Science Department, Univ. of Illinois
			at Urbana-Champaign",
	TYPE = "UIUCDCS-R",
	NUMBER = "78-867"}

@techreport{mchalarson80,
	AUTHOR = "R. Michalski and J. Larson",
	TITLE = "Incremental Generation of VL1 Hypotheses: the
		underlying Methodology and the Description of Program
		{AQ11}",
	YEAR = 1980,
	INSTITUTION = "Computer Science Department, Univ. of Illinois
			at Urbana-Champaign",
	TYPE = "ISG",
	NUMBER = "83-5"}

@article{mcha:soybean,
	TITLE = "Learning by being told and learning from examples:
		an experimental comparison of the two methods of
		knowledge acquisition in the context of developing
		an expert system for soybean disease diagnosis",
	AUTHOR = "R.S Michalski and R.L. Chilausky",
	YEAR = 1980,
	JOURNAL = "International Journal of Policy Analysis and
		Information Systems",
	VOLUME = 4,
	NUMBER = "2",
	PAGES = "125--161"}

@incollection{mchastepp,
	AUTHOR = "R.S. Michalski and R. Stepp",
	TITLE = "Learning from observation: conceptual clustering",
	YEAR = 1983,
	PAGES = "331--364",
	BOOKTITLE = "Machine Learning: An Artificial Intelligence
			Approach",
	EDITOR = "R. Michalski and J. Carbonnel and T. Mitchell",
	PUBLISHER = "Tioga",
	ADDRESS = "Palo Alto, CA"}

@incollection{mcha:induce,
	AUTHOR = "R.S. Michalski",
	TITLE = "A theory and methodology of inductive learning",
	YEAR = 1983,
	PAGES = "83-134",
	BOOKTITLE = "Machine Learning: An Artificial Intelligence
			Approach",
	EDITOR = "R. Michalski and J. Carbonnel and T. Mitchell",
	PUBLISHER = "Tioga",
	ADDRESS = "Palo Alto, CA"}

@inproceedings{maher:equiv,
	AUTHOR = "M.J. Maher",
	TITLE = "Equivalences of logic programs",
	YEAR = 1986,
	BOOKTITLE = "Proceedings of Third International Conference on Logic Programming",
	PUBLISHER = "Springer",
	ADDRESS = "Berlin"}

@inproceedings{aq15,
	AUTHOR = "R. Michalski and I. Mozetic and J. Hong and N. Lavrac",
	TITLE = "The {AQ15} Inductive Learning System: an Overview
		and Experiments",
	YEAR = 1986,
	BOOKTITLE = "Proceedings of IMAL 1986",
	PUBLISHER = "Universit\'{e} de Paris-Sud",
	ADDRESS = "Orsay"}

@incollection{mcha:disc,
	AUTHOR = "R.S. Michalski",
	TITLE = "Understanding the nature of learning: issues
		and research directions",
	YEAR = 1986,
	PAGES = "3--25",
	BOOKTITLE = "Machine Learning: An Artificial Intelligence
			Approach",
	VOLUME = 2,
	EDITOR = "R. Michalski and J. Carbonnel and T. Mitchell",
	PUBLISHER = "Kaufmann",
	ADDRESS = "Los Altos, CA"}

@incollection{dm:pole,
	AUTHOR = "D. Michie and R.A. Chambers",
	TITLE = "{BOXES}: An experiment in adaptive control",
	YEAR = 1968,
	PAGES = "137-152",
	BOOKTITLE = "Machine Intelligence 2",
	EDITOR = "E. Dale and D. Michie",
	PUBLISHER = "Oliver and Boyd",
	ADDRESS = "Edinburgh"}

@incollection{dm:advice,
	AUTHOR = "D. Michie",
	TITLE = "A theory of advice",
	YEAR = 1977,
	PAGES = "151-168",
	BOOKTITLE = "Machine Intelligence 8",
	EDITOR = "E. Elcock and D. Michie",
	PUBLISHER = "Horwood"}

@article{dm:knowledge,
	TITLE = "Measuring the knowledge content of expert programs",
	AUTHOR = "D. Michie",
	YEAR = 1982,
	MONTH = "November",
	JOURNAL = "The Bulletin of the Institute of Mathematics
		and its Application",
	VOLUME = 18,
	PAGES = "216--220"}

@article{dm:chess,
	AUTHOR = "D. Michie",
	TITLE = "Computer chess and the humanisation of technology",
	YEAR = 1982,
	JOURNAL = "Nature",
	VOLUME = 299,
	PAGES = "391--394"}

@incollection{dm:quality,
	AUTHOR = "D. Michie",
	TITLE = "Quality control of induced rule-based programs",
	YEAR = 1984,
	BOOKTITLE = "The Fifth Generation",
	PUBLISHER = "GS Institute",
	ADDRESS = "London"}

@inproceedings{rulemaster,
	AUTHOR = "D. Michie and S. Muggleton and C. Riese and S. Zubrick",
	TITLE = "RuleMaster:  a second-generation knowledge-engineering
		facility",
	YEAR = 1984,
	PAGES = "591--597",
	BOOKTITLE = "Proceedings of the First Conference on Artificial
		Intelligence Applications",
	PUBLISHER = "IEEE Computer Soc."}

@incollection{dm:esrob,
	AUTHOR = "D. Michie",
	TITLE = "Expert systems and robotics",
	YEAR = 1985,
	PAGES = "419-436",
	BOOKTITLE = "Handbook of Industrial Robotics",
	EDITOR = "D. Nof",
	PUBLISHER = "Wiley",
	ADDRESS = "New York"}

@article{dm:superart,
	AUTHOR = "D. Michie",
	TITLE = "The superarticulacy phenomenon in the context
		of software manufacture",
	YEAR = 1986,
	JOURNAL = "Proceedings of the Royal Society of London",
	VOLUME = "A 405",
	PAGES = "185--212"}

@inproceedings{dm:ml,
	AUTHOR = "D. Michie",
	TITLE = "Machine learning in the next five years",
	BOOKTITLE = "Proceedings of the Third European Working
		Session on Learning",
	YEAR = 1988,
	PUBLISHER = "Pitman",
	PAGES = "107--122"}

@article{dm:credit,
	AUTHOR = "D. Michie",
	TITLE = "Personal models of rationality",
	YEAR = "To appear in 1988",
	JOURNAL = "Journal of Statistical Planning and Inference"}

@article{dm:wales,
	AUTHOR = "D. Michie",
	TITLE = "Applications of machine learning to recognition and control",
	YEAR = 1989,
	JOURNAL = "University of Wales Review, Science and Technology",
	NUMBER = 5,
	PAGES = "23--28"}

@inproceedings{dmbain:concepts,
	AUTHOR = "D. Michie and M. Bain",
	TITLE = "Machine acquisition of concepts from sample data",
	YEAR = 1989,
	PAGES = "1--27",
	BOOKTITLE = "1989 Spring Symposium on Artificial Intelligence and Intelligent Tutoring Systems",
	EDITOR = "R.B. Thomson and D. Kopec",
	ADDRESS = "University of Maine"}

@inproceedings{dmbain:scand,
	AUTHOR = "D. Michie and M. Bain",
	TITLE = "Machines that learn and machines that teach",
	YEAR = 1989,
	PAGES = "1--25",
	BOOKTITLE = "Scandinavian Conference on Artificial Intelligence",
	EDITOR = "H. Jaakkola and S. Linnainmaa",
	ADDRESS = "Amsterdam"}

@incollection{dm:brain,
	AUTHOR = "D. Michie",
	TITLE = "Machine executable skills from silent brains",
	YEAR = 1990,
	PAGES = "1--24",
	BOOKTITLE = "Research and Development in Expert Systems VII",
	EDITOR = "T.R. Addis and R.M. Muir",
	PUBLISHER = "Cambridge University Press",
	ADDRESS = "Cambridge, UK"}

@incollection{dmbainjean:cogn,
	AUTHOR = "D. Michie and M. Bain and J. Hayes-Michie",
	TITLE = "Cognitive models from subcognitive skills",
	YEAR = 1990,
	PAGES = "71--99",
	BOOKTITLE = "Knowledge-Based Systems for Industrial Control",
	EDITOR = "J. McGhee, M.J. Grimble and P. Mowforth",
	PUBLISHER = "Peter Peregrinus for IEE",
	ADDRESS = "London, UK"}

@article{miclet:fsm,
	AUTHOR = "L. Miclet",
	TITLE = "Regular inference with a tail clustering method",
	YEAR = 1980,
	JOURNAL = "IEEE Transactions on Systems, Man, Cybernetics",
	VOLUME = 10,
	PAGES = "737--743"}

@book{minskpap,
	TITLE = "Perceptrons",
	AUTHOR = "M. Minsky and S. Papert",
	YEAR = 1969,
	PUBLISHER = "MIT Press",
	ADDRESS = "MA"}

@incollection{minsky:frames,
	AUTHOR = "M. Minsky",
	TITLE = "A framework for representing knowledge",
	YEAR = 1975,
	PAGES = "211--277",
	BOOKTITLE = "The Psychology of Computer Vision",
	EDITOR = "P. Winston",
	PUBLISHER = "Mcgraw-Hill",
	ADDRESS = "New York"}

@book{mort:logind,
	TITLE = "The Logic of Induction",
	AUTHOR = "H. Mortimer",
	YEAR = 1988,
	PUBLISHER = "Ellis Horwood",
	ADDRESS = "Chichester, England"}

@techreport{mit:80,
	AUTHOR = "T.M. Mitchell",
	TITLE = "The need for biases in learning generalizations",
	NUMBER = "CBM-TR-117",
	INSTITUTION = "Department of Computer Science, Rutgers University",
	YEAR = 1980}

@article{mitchell:ver,
	AUTHOR = "T.M. Mitchell",
	TITLE = "Generalisation as search",
	YEAR = 1982,
	JOURNAL = "Artificial Intelligence",
	VOLUME = 18,
	PAGES = "203--226"}

@incollection{mitchell:learn83,
	AUTHOR = "T. Mitchell and P. Utgoff and R. Banerji",
	TITLE = "Learning by Experimentation: Acquiring and Refining
		Problem-Solving Heuristics",
	YEAR = 1983,
	BOOKTITLE = "Machine Learning: An Artificial Intelligence
			Approach",
	EDITOR = "R. Michalski and J. Carbonnel and T. Mitchell",
	PUBLISHER = "Tioga",
	ADDRESS = "Palo Alto, CA"}

@article{ebg:mitchell,
	AUTHOR = "T.M. Mitchell and R.M. Keller and S.T. Kedar-Cabelli",
	TITLE = "Explanation-Based Generalization: A Unifying View",
	YEAR = 1986,
	JOURNAL = "Machine Learning",
	VOLUME = 1,
	NUMBER = 1,
	PAGES = "47--80"}

@incollection{moore:fsm,
	AUTHOR = "E.F. Moore",
	TITLE = "Gedanken-experiments on sequential machines",
	YEAR = 1956,
	BOOKTITLE = "Automata Studies",
	PAGES = "129--153",
	EDITOR = "C.E. Shannon and J. McCarthy",
	PUBLISHER = "Princeton University Press",
	ADDRESS = "Princeton, NJ"}

@techreport{eduardo:horn,
	AUTHOR = "E. Morales",
	TITLE = "Inductive learning of first-order Horn clauses",
	YEAR = 1989,
	TYPE = "{TIRM}",
	INSTITUTION = "The Turing Institute",
	NUMBER = "89-038"}

@techreport{eduardo:8puzzle,
	AUTHOR = "E. Morales",
	TITLE = "Some experiments with macro-operators in the 8-puzzle",
	YEAR = 1990,
	TYPE = "{TIRM}",
	INSTITUTION = "The Turing Institute",
	NUMBER = "90-042"}

@inproceedings{eduardo:ewsl91,
	AUTHOR = "E. Morales",
	TITLE = "Learning features by experimentation in chess",
	YEAR = 1991,
	PAGES = "494--511",
	BOOKTITLE= "EWSL '91",
	EDITOR = "Y. KODRATOFF",
	PUBLISHER = "Springer-Verlag",
	ADDRESS = "Berlin"}

@inproceedings{eduardo:ilpw91,
	AUTHOR = "E. Morales",
	TITLE = "Learning chess patterns",
	YEAR = 1991,
	PAGES = "291--307",
	BOOKTITLE= "First International Workshop on Inductive Logic Programming",
	ADDRESS = "Porto, Portugal"}

@techreport{moses:macsyma,
	AUTHOR = "J. Moses",
	TITLE = "A MACSYMA primer",
	YEAR = 1975,
	INSTITUTION = "Computer Science Laboratory, MIT",
	NUMBER = "Mathlab Memo No. 2"}

@incollection(mor:89,
        author = "Morik, Katharina",
        title = "Sloppy Modeling",
        editor = "Morik, Katharina",
        booktitle = "Knowledge Representation and Organization in Machine Learning",
  series = "Lecture Notes in Artificial Intelligence",
        publisher = "Springer-Verlag",
        volume = 347,
        year = 1989)

@techreport{mozetic:kardio,
	AUTHOR = "I. Mozetic and I. Bratko and N. Lavrac",
	TITLE = "The derivation of medical knowledge from a
		qualitative model of the heart",
	YEAR = 1984,
	INSTITUTION = "Josef Stefan Institute",
	ADDRESS= "Ljubljana, Yugoslavia"}

@phdthesis{mug:thesis,
	TITLE = "Inductive Acquisition of Expert Knowledge",
	AUTHOR = "S. Muggleton",
	SCHOOL = "Edinburgh University",
	YEAR = 1987}

@inproceedings{mug:duce,
	AUTHOR = "S. Muggleton",
	TITLE = "Duce, an oracle based approach to constructive induction",
	BOOKTITLE = "IJCAI-87",
	YEAR = 1987,
	PUBLISHER = "Kaufmann",
	PAGES = "287--292"}

@techreport{mug:cigol1,
	AUTHOR = "S. Muggleton, W. Buntine",
	TITLE = "Towards constructive induction in first-order
		predicate calculus",
	YEAR = 1987,
	TYPE = "{TIRM}",
	INSTITUTION = "The Turing Institute",
	ADDRESS = "Glasgow"}

@inproceedings{ducerev:mug,
	AUTHOR = "S. Muggleton",
	TITLE = "Inverting the resolution principle",
	BOOKTITLE = "Machine Intellience 12 (in press)",
	YEAR = 1988,
	PUBLISHER = "Oxford University Press"}

@inproceedings{cigol:mugbun,
	AUTHOR = "S. Muggleton and W. Buntine",
	TITLE = "Machine invention of first-order predicates
		by inverting resolution",
	BOOKTITLE = "Proceedings of the Fifth International Conference on
		Machine Learning",
	YEAR = 1988,
	PUBLISHER = "Kaufmann",
	PAGES = "339--352"}

@inproceedings{algcomp:mug,
	AUTHOR = "S. Muggleton",
	TITLE = "A strategy for constructing new predicates
		in first order logic",
	BOOKTITLE = "Proceedings of the Third European
		Working Session on Learning",
	YEAR = 1988,
	PUBLISHER = "Pitman",
	PAGES = "123--130"}

@inproceedings{mugfeng:golem,
	AUTHOR = "S. Muggleton and C. Feng",
	TITLE = "Efficient induction of logic programs",
	BOOKTITLE = "Proceedings of the First Conference
		on Algorithmic Learning Theory",
	YEAR = 1990,
	PUBLISHER = "Ohmsha",
	ADDRESS = "Tokyo" }

@inproceedings{expform:cigol,
	AUTHOR = "S. Muggleton and M.E. Bain and
		J. Hayes-Michie and D. Michie",
	TITLE = "An experimental comparison of human and machine learning
		formalisms",
	BOOKTITLE = "Proceedings of the Sixth International Workshop on
		Machine Learning",
	YEAR = 1989,
	PUBLISHER = "Kaufmann",
	ADDRESS = "Los Altos, CA"}

@inproceedings{mug:compsig,
	AUTHOR = "S. Muggleton and A. Srinivasan and M. Bain",
	TITLE = "Compression, significance and accuracy",
	YEAR = 1992,
	BOOKTITLE = "Proceedings of the Ninth International Machine
		Learning Conference",
	PUBLISHER = "Morgan-Kaufmann",
	ADDRESS = "San Mateo, CA"}

@article{mugg:ilp,
	TITLE = "Inductive Logic Programming",
	AUTHOR = "S. Muggleton",
	YEAR = "1991",
	JOURNAL = "New Generation Computing",
	VOLUME = 8,
	NUMBER = 4,
	PAGES = "295--318"}

@book{mug:thesisbook,
	TITLE = "Inductive Acquisition of Expert Knowledge",
	AUTHOR = "S. Muggleton",
	YEAR = 1990,
	PUBLISHER = "Addision-Wesley",
	ADDRESS = "Wokingham, England"}

@incollection{muggbain:nonmon,
	AUTHOR = "M. Bain and S. Muggleton",
	TITLE = "Non-monotonic Learning",
	YEAR = "1991",
	BOOKTITLE = "Machine Intelligence 12",
	EDITOR = "D. Michie",
	PUBLISHER = "Oxford University Press"}

@techreport{mugg:mdl,
	AUTHOR = "S. Muggleton and A. Srinivasan and M. Bain",
	TITLE = "MDL codes for non-monotonic learning",
	YEAR = 1991,
	TYPE = "{TIRM}",
	NUMBER = "91-049",
	INSTITUTION = "The Turing Institute",
	ADDRESS = "Glasgow"}

@article{muggks:proteins,
	AUTHOR = "S. Muggleton and R. King and M. Sternberg",
	TITLE = "Protein secondary structure prediction using logic-based
		machine learning",
	JOURNAL = "Protein Engineering",
	VOLUME = "5",
	NUMBER = "7",
	PAGES = "647--657",
	YEAR = 1992 }

@book{mugg:ilpbook,
	TITLE = "Inductive Logic Programming",
	EDITOR = "S. Muggleton",
	YEAR = 1992,
	PUBLISHER = "Academic Press"}

@book{mugg:ilpw,
	TITLE = "Proceedings of the First International Workshop on Inductive Logic Programming",
	AUTHOR = "S. Muggleton",
	YEAR = 1991,
	INSTITUTION = "University of Porto",
	ADDRESS = "Porto, Portugal"}

@book{mugg:ilpw1,
	TITLE = "Proceedings of the First International Workshop on Inductive Logic Programming",
	EDITOR = "S. Muggleton",
	YEAR = 1991,
	PUBLISHER = "University of Porto",
	ADDRESS = "Porto, Portugal"}

@book{mugg:ilpw2,
	TITLE = "Proceedings of the Second International Workshop on Inductive Logic Programming",
	EDITOR = "S. Muggleton",
	YEAR = 1992,
	PUBLISHER = "ICOT",
	ADDRESS = "Tokyo, Japan"}

@book{mugg:ilpw3,
	TITLE = "Proceedings of the Third International Workshop on Inductive Logic Programming",
	EDITOR = "S. Muggleton",
	YEAR = 1993,
	PUBLISHER = "Jozef Stefan Institute",
	ADDRESS = "Bled, Slovenia"}

@article{mugg:invimp,
	TITLE = "Inverting Implication",
	AUTHOR = "S. Muggleton",
	YEAR = 1993,
	JOURNAL = "Artificial Intelligence Journal",
	NOTE = "(to appear)"}

@article{mugg:predinv,
	AUTHOR = "S. Muggleton",
	TITLE = "Predicate Invention and Utility",
	YEAR = "1993",
	JOURNAL = "Journal of Experimental and Theoretical Artificial Intelligence",
	NOTE = "(to appear)"}

@article{nib:yapes,
	AUTHOR = "T. Niblett",
	TITLE = "{YAPES}: {Y}et {A}nother {P}rolog {E}xpert {S}ystem",
	YEAR = 1985,
	JOURNAL = "CC-AI: the journal for integrated study of artificial
		intelligence, cognitive science and applied epistemology",
	VOLUME = 2,
	NUMBER = 2,
	PAGES = "3-30"}

@techreport{nib86a,
	AUTHOR = "T. Niblett and I Bratko",
	TITLE = "Learning Decision Rules in Noisy Domains",
	YEAR = 1986,
	TYPE = "{TIRM}",
	NUMBER = "86-018",
	INSTITUTION = "The Turing Institute",
	ADDRESS = "Glasgow"}

@inproceedings{nib:generalisation,
	AUTHOR = "T. Niblett",
	TITLE = "A study of generalisation in logic programs",
	YEAR = 1988,
	BOOKTITLE = "EWSL-88",
	PUBLISHER = "Pitman",
	ADDRESS = "London"}

@book{nilsson:principles,
	TITLE = "Principles of Artificial Intelligence",
	AUTHOR = "N.J. Nilsson",
	YEAR = 1980,
	PUBLISHER = "Tioga",
	ADDRESS = "Palo Alto, CA"}

@book{nilsgen:logic,
	TITLE = "Logical foundations of artificial intelligence",
	AUTHOR = "M.R.Genesereth and N.J. Nilsson",
	YEAR = 1987,
	PUBLISHER = "Morgan Kaufmann",
	ADDRESS = "Los Altos"}

@techreport{ntis,
	AUTHOR = "NTIS",
	TITLE = "Use of the Skew T, Log P Diagram in Analysis and Forecasting.
		Air Weather Service Manual AWSM",
	PAGE = "105--124",
	YEAR = 1969,
	NUMBER = "NTIS AD695603",
	INSTITUTION = "National Technical Information Service",
	ADDRESS = "Springfield, VA"}

@techreport{nute:defeasible,
	AUTHOR = "D. Nute",
	TITLE = "LDR: A Logic for Defeasible Reasoning",
	YEAR = 1986,
	NUMBER = "01-0013",
	INSTITUTION = "ACMC"}

@book{patnib:acls,
	AUTHOR = "A. Paterson and T. Niblett",
	TITLE = "ACLS Manual",
	YEAR = 1982,
	PUBLISHER = "ITL-KnowledgeLink",
	ADDRESS = "Glasgow"}

@techreport{paterson:cluster,
	AUTHOR = "A. Paterson",
	TITLE = "An attempt to use CLUSTER to synthesise humanly
		intelligible subproblems for the KPK chess endgame",
	YEAR = 1983,
	NUMBER = "UIUCDCS-R-83-1156",
	INSTITUTION = "Univ. Illinois",
	ADDRESS = "Urbana, IL"}

@book{paterson:thesis,
	TITLE = "Computer Induction in a Tutorial Context",
	AUTHOR = "A. Paterson",
	YEAR = 1984,
	PUBLISHER = "University of Edinburgh, (M.Phil. Thesis)",
	ADDRESS = "Edinburgh"}

@techreport(pere:89,
        author = "Pereira, L.M. and Calejo, M. and Aparicio, J.N.",
        title = "Refining knowledge base updates",
        institution = " AI Center/UNINOVA, Portugal",
        year = "7 November  1989")

@book(piat,
        editor = "Piatetsky-Shapiro, G. and Frawley, W.",
        title = "Knowledge discovery in databases",
        year = 1991,
        publisher = "The MIT press")

@phdthesis{plotkin:thesis,
	TITLE = "Automatic Methods of Inductive Inference",
	AUTHOR = "G.D. Plotkin",
	SCHOOL = "Edinburgh University",
	YEAR = 1971,
	MONTH = "August"}

@incollection{plotkin:mi5,
	AUTHOR = "G.D. Plotkin",
	TITLE = "A note on inductive generalisation",
	PAGES = "153--163",
	YEAR = 1970,
	BOOKTITLE = "Machine Intelligence 5",
	EDITOR = "B. Meltzer and D. Michie",
	PUBLISHER = "Elsevier North Holland",
	ADDRESS = "New York"}

@incollection(plo:71,
  author = "Plotkin, G.",
  year = 1971,
  title = "A further note on inductive generalization",
  booktitle = "Machine Intelligence",
        volume=6,
  publisher = "Edinburgh University Press")

@article{paocarr,
	AUTHOR = "T.W. Pao and J.W. {Carr III}",
	TITLE = "A solution of the syntactical induction-inference problem for regular languages",
	YEAR = 1978,
	JOURNAL = "Computer Languages",
	VOLUME = 3,
	PAGES = "53--64"}

@techreport{fempapermill,
	AUTHOR = "M. Oblak and A. Jezernik and J. Ducep",
	TITLE = "Deformation and stress analysis of paper mill for the {S}ladogorska {C}ompany,
		{F}inal report",
	YEAR = 1986,
	INSTITUTION = "Faculty of Technical Scineces, Maribor, Yuoslavia"}

@techreport{ororke,
	AUTHOR = "P. O'Rorke",
	TITLE = "A Comparative Study of Inductive Learning Systems
		{AQ11P} and {ID3} using a Chess End-Game Test Problem",
	YEAR = 1982,
	INSTITUTION = "Computer Science Department, Univ. of Illinois
			at Urbana-Champaign",
	TYPE = "ISG",
	NUMBER = "82-2"}

@book{pop:conjectures,
	TITLE = "Conjectures and Refutations: The Growth of Scientific Knowledge",
	AUTHOR = "K. Popper",
	YEAR = 1972,
	PUBLISHER = "Routledge and Kegan Paul",
	ADDRESS = "London"}

@incollection{quin79,
	AUTHOR = "J.R. Quinlan",
	TITLE = "Discovering rules from large collections of examples:
		a case study",
	YEAR = 1979,
	BOOKTITLE = "Expert Systems in the Micro-electronic Age",
	PAGES = "168--201",
	EDITOR = "D. Michie",
	PUBLISHER = "Edinburgh University Press",
	ADDRESS = "Edinburgh"}

@incollection{quin82b,
	AUTHOR = "J.R. Quinlan",
	TITLE = "Semi-autonomous acquisition of pattern-based knowledge",
	YEAR = 1982,
	PAGES = "192--207",
	BOOKTITLE = "Introductory readings in expert systems",
	EDITOR = "D. Michie",
	PUBLISHER = "Gordon and Breach",
	ADDRESS = "New York"}

@incollection{quin83,
	AUTHOR = "J.R. Quinlan",
	TITLE = "Learning Efficient Classification Procedures and their
		Application to Chess End Games",
	YEAR = 1983,
	BOOKTITLE = "Machine Learning: An Artificial Intelligence
			Approach",
	EDITOR = "R. Michalski and J. Carbonnel and T. Mitchell",
	PUBLISHER = "Tioga",
	ADDRESS = "Palo Alto, CA"}

@incollection{quin86,
	AUTHOR = "J.R. Quinlan",
	TITLE = "Learning from Noisy Data",
	YEAR = 1986,
	BOOKTITLE = "Machine Learning Volume 2",
	EDITOR = "R. Michalski and J. Carbonnel and T. Mitchell",
	PUBLISHER = "Kaufmann",
	ADDRESS = "Palo Alto, CA"}

@inproceedings{quin86a,
	AUTHOR = "J.R. Quinlan and K.A. Horn and L. Lazarus",
	TITLE = "Inductive Knowledge Acquisition: A Case Study",
	YEAR = 1986,
	PAGES = "183--204",
	BOOKTITLE = "Proceedings of the Second {A}ustralian Conference on
		the Applications of Expert Systems",
	PUBLISHER = "New South Wales Institute of Technology",
	ADDRESS = "Sydney"}

@article{quin86b,
	AUTHOR = "J.R. Quinlan",
	TITLE = "Induction of decision trees",
	YEAR = 1986,
	JOURNAL = "Machine Learning",
	VOLUME = 1,
	PAGES = "81--106"}

@inproceedings{quin87,
	AUTHOR = "J.R. Quinlan",
	TITLE = "Generating production rules from decision trees",
	YEAR = 1987,
	PAGES = "304--307",
	BOOKTITLE = "Proceedings of the Tenth International
		Conference on Artificial Intelligence",
	PUBLISHER = "Kaufmann",
	ADDRESS = "Los Altos, CA:"}

@techreport{quin89,
	AUTHOR = "J.R. Quinlan",
	TITLE = "Learning relations: comparison of a symbolic
		and a connectionist approach",
	YEAR = 1989,
	INSTITUTION = "University of Sydney",
	NUMBER = "346"}

@article{quinrivest,
	AUTHOR = "J.R. Quinlan and R.L. Rivest",
	TITLE = "Inferring Decision Trees Using the {M}inimum {D}escription {L}ength Principle",
	YEAR = 1989,
	JOURNAL = "Information and Computation",
	VOLUME = 80,
	PAGES = "227--248"}

@article{quin90,
	AUTHOR = "R. Quinlan",
	TITLE = "Learning Logical Definitions from Relations",
	YEAR = 1990,
	JOURNAL = "Machine Learning",
	VOLUME = 5,
	PAGES = "239--266"}

@inproceedings{quin91,
	AUTHOR = "J.R. Quinlan",
	TITLE = "Determinate literals in inductive logic programming",
	YEAR = 1991,
	PAGES = "746--750",
	BOOKTITLE = "IJCAI-91: Proceedings of the Twelfth International
		Joint Conference on Artificial Intelligence",
	PUBLISHER = "Morgan-Kaufmann",
	ADDRESS = "San Mateo, CA:"}

@inproceedings{qui:93,
        AUTHOR = "Quinlan, J.R. and Cameron-Jones, R.M",
        TITLE = "{FOIL}: a midterm report",
        YEAR = 1993,
        BOOKTITLE = "Proceedings of the 6th European Conference on Machine Learning",
	EDITOR = "Brazdil, P.",
 	SERIES = "Lecture Notes in Artificial Intelligence",
	VOLUME = 667,
        PUBLISHER = "Springer-Verlag",
        PAGES = "3-20"}

@techreport{reinke,
	AUTHOR = "R.E. Reinke",
	TITLE = "Knowledge Acquisition and Refinement Tools for the
		{ADVISE} Meta-Expert System",
	YEAR = 1984,
	INSTITUTION = "Computer Science Department, Univ. of Illinois
			at Urbana-Champaign",
	TYPE = "UIUCDCS-F",
	NUMBER = "84-921"}

@inproceedings{rend:constrind,
	AUTHOR = "L. Rendell",
	TITLE = "Substantial constructive induction using layered information
		compression: tractable feature formation in search",
	YEAR = 1985,
	BOOKTITLE = "IJCAI-85",
	PUBLISHER = "Kaufmann",
	PAGES = "650-658"}

@article{rend:utility,
	AUTHOR = "L. Rendell",
	TITLE = "A general framework for induction and a study of
		selective induction",
	YEAR = 1986,
	JOURNAL = "Machine Learning",
	VOLUME = 1,
	NUMBER = 2,
	PAGES = "177--226"}

@article{rice53,
	AUTHOR = "H. Rice",
	TITLE = "Classes of Recursively Enumerable Sets and their Decision
		problems",
	YEAR = 1953,
	JOURNAL = "Transactions of the American Mathematical Society",
	VOLUME = 83}

@techreport{riese:earl,
	AUTHOR = "C. Riese",
	TITLE = "Transformer fault detection and diagnosis using
		RuleMaster by Radian",
	YEAR = 1984,
	INSTITUTION = "Radian Corporation,
			Austin, Texas",
	TYPE = "Technical report"}

@article{rissanen:mdl,
	AUTHOR = "J. Rissanen",
	TITLE = "Modeling by {S}hortest {D}ata {D}escription",
	YEAR = 1978,
	JOURNAL = "Automatica",
	VOLUME = "14",
	PAGES = "465--471"}

@article{rissanen:numbers,
	AUTHOR = "J. Rissanen",
	TITLE = "A universal prior for integers and estimation by
		{M}inimum {D}escription {L}ength",
	YEAR = 1982,
	JOURNAL = "Annals of Statistics",
	VOLUME = "11",
	PAGES = "416--431"}

@article{ritchanna,
	TITLE = "AM: a case study in AI methodology",
	AUTHOR = "G.D. Ritchie and F.K. Hanna",
	YEAR = 1984,
	JOURNAL = "Artificial Intelligence",
	VOLUME = 23,
	NUMBER = 3,
	PAGES = "249--268"}

@article{robinson:hyperes,
	TITLE = "Automatic deduction with hyper-resolution",
	AUTHOR = "J.A. Robinson",
	YEAR = 1965,
	JOURNAL = "International Jounal of Computer Mathematics",
	VOLUME = 1,
	PAGES = "227--234"}

@article{robinson:resolution,
	TITLE = "A machine-oriented logic based on the resolution principle",
	AUTHOR = "J.A. Robinson",
	YEAR = 1965,
	MONTH = "January",
	JOURNAL = "JACM",
	VOLUME = 12,
	NUMBER = "1",
	PAGES = "23--41"}

@inproceedings{rouvpug,
	AUTHOR = "C. Rouveirol and J-F Puget",
	TITLE = "A simple and general solution for inverting
		resolution",
	YEAR = 1989,
	PAGES = "201--210",
	BOOKTITLE = "EWSL-89",
	PUBLISHER = "Pitman",
	ADDRESS = "London"}

@article{royc:bbn,
	TITLE = "A prophesy fulfilled",
	AUTHOR = "J. Roycroft",
	YEAR = 1983,
	MONTH = "November",
	JOURNAL = "EG magazine" }

@incollection{rumel:parity,
	AUTHOR = "D.E. Rumelhart and J.L. McClelland",
	TITLE = "Learning internal representations by error propogation",
	YEAR = 1986,
	PAGES = "318--362",
	BOOKTITLE = "Explorations in the Micro-Structure of Cognition
		Vol. 1 : Foundations",
	PUBLISHER = "MIT Press",
	ADDRESS = "Cambridge, MA"}

@book{rus:89,
	AUTHOR = "S.J. Russell",
	TITLE = "The use of knowledge in analogy and induction",
	PUBLISHER = "Pitman",
	YEAR = 1989}

@incollection{rus:gro:90,
	AUTHOR = "S. Russell and B. Grosof",
	TITLE = "A sketch of autonomous learning using declarative bias",
	EDITOR = "P.B. Brazdil and K. Konolige",
	BOOKTITLE = "Machine Learning, Meta-Reasoning and Logics",
	PAGES = "19--54",
	PUBLISHER = "Kluwer Academic Publishers",
	YEAR = 1990}

@incollection{sammut:marvin,
	AUTHOR = "C. Sammut and R.B Banerji",
	TITLE = "Learning concepts by asking questions",
	YEAR = 1986,
	PAGES = "167--192",
	BOOKTITLE = "Machine Learning: An Artificial Intelligence
		Approach. Vol. 2",
	EDITOR = "R. Michalski and J. Carbonnel and T. Mitchell",
	PUBLISHER = "Kaufmann",
	ADDRESS = "Los Altos, CA"}

@inproceedings{sam:93,
	AUTHOR = "Sammut, C.",
	TITLE = "The origins of inductive logic programming: a prehistoric tale",
	YEAR = 1993,
	PAGES = "127-147",
	BOOKTITLE = "Proceedings of the 3rd International Workshop on Inductive Logic Programming",
	EDITOR = "Muggleton, S."}

@inproceedings{schlim:compar,
	AUTHOR = "J.C. Schlimmer and D.H. Fisher",
	TITLE = "A case study of incremental concept induction",
	YEAR = 1986,
	BOOKTITLE = "Proceedings of the Fifth National Conference on
		Artificial Intelligence",
	PUBLISHER = "Kaufmann",
	ADDRESS = "Philadelphia, PA:",
	PAGES = "496--501"}

@article{shannon:chess,
	TITLE = "Programming a computer for playing chess",
	AUTHOR = "C.E. Shannon",
	YEAR = 1950,
	JOURNAL = "Phil. Mag.",
	VOLUME = 41,
	PAGES = "256--275"}

@book{shannon:information,
	TITLE = "The Mathematical Theory of Communication",
	AUTHOR = "C.E. Shannon and W. Weaver",
	YEAR = 1963,
	PUBLISHER = "University of Illinois Press",
	ADDRESS = "Urbana"}

@incollection{shapnib,
	TITLE = "Automatic Induction of Classification Rules for a Chess
		Endgame",
	AUTHOR = "A. Shapiro and T. Niblett",
	PAGES = "73--91",
	YEAR = 1982,
	BOOKTITLE = "Advances in Computer Chess",
	VOLUME = 3,
	EDITOR = "M.R.B. Clarke",
	PUBLISHER = "Pergammon",
	ADDRESS = "Oxford"}

@book{ashap:thesis,
	AUTHOR = "A.D. Shapiro",
	TITLE = "Structured Induction in Expert Systems",
	YEAR = 1987,
	PUBLISHER = "Adison-Wesley",
	ADDRESS = "Wokingham"}

@inproceedings{sil:89,
        AUTHOR = "Silverstein, G. and Pazzani, M.",
        TITLE = "Relational cliches: constraining constructive induction during
relational learning",
        YEAR = 1989,
        BOOKTITLE = "Proceedings of the Sixth International Workshop on Machine
          Learning",
        PUBLISHER = "Kaufmann",
        ADDRESS = "Los Altos, CA"}

@techreport{stahl92,
	AUTHOR = "I. Stahl",
	TITLE = "Constructive induction in inductive logic programming:
		an overview",
	YEAR = 1992,
	INSTITUTION = "Fakultat Informatik, Universitat Stuttgart"}

@inproceedings{stahl,
        AUTHOR = "Stahl, I. and Tausend, B. and Wirth, R.",
        TITLE = "Two methods for improving inductive logic programming systems",
        YEAR = 1993,
        BOOKTITLE = "Proceedings of the 6th European Conference on
		Machine Learning",
	EDITOR = "Brazdil, P.",
 	SERIES = "Lecture Notes in Artificial Intelligence",
	VOLUME = 667}

@book{stershap:prolog,
	AUTHOR = {L. Sterling and E. Shapiro},
	TITLE = {The art of Prolog: advanced programming techniques},
	YEAR = 1986,
	PUBLISHER = "MIT-Press",
	ADDRESS = "Cambridge, MA"}

@article{stickel88,
	AUTHOR = "M. Stickel",
	TITLE = "A {P}rolog technology theorem prover:
		implementation by an extended Prolog compiler",
	YEAR = 1988,
	JOURNAL = "Journal of Automated Reasoning",
	VOLUME = 4,
	NUMBER = 4,
	PAGES = "353--380"}

@incollection{shapmich,
	TITLE = "A self-commenting facility for inductively
		synthesised endgame expertise",
	AUTHOR = "A.D. Shapiro and D. Michie",
	PAGES = "147--165",
	YEAR = 1986,
	BOOKTITLE = "Advances in Computer Chess",
	VOLUME = 4,
	EDITOR = "D.F. Beal",
	PUBLISHER = "Pergammon",
	ADDRESS = "Oxford"}

@techreport{shap:tr192,
	AUTHOR = "E.Y. Shapiro",
	TITLE = "Inductive inference of theories from facts",
	YEAR = 1981,
	INSTITUTION = "Dept. Comp. Sci., Yale University, Connecticut",
	NUMBER = "192"}

@book{shap:apd,
	TITLE = "Algorithmic program debugging",
	AUTHOR = "E.Y. Shapiro",
	PUBLISHER = "MIT Press",
	YEAR = 1983}

@inproceedings{silver,
	AUTHOR = "B. Silver",
	TITLE = "Learning Equation Solving Methods from Examples",
	YEAR = 1983,
	PAGES = "429--431",
	BOOKTITLE = "IJCAI-83",
	PUBLISHER = "Kaufmann",
	ADDRESS = "Los Angeles, CA"}

@incollection{simon:ml,
	TITLE = "Why should machines learn?",
	AUTHOR = "H.A. Simon",
	PAGES = "25--37",
	YEAR = 1983,
	BOOKTITLE = "Machine Learning: An Artificial Intelligence
			Approach",
	EDITOR = "R. Michalski and J. Carbonnel and T. Mitchell",
	PUBLISHER = "Tioga",
	ADDRESS = "Palo Alto, CA"}

@article{shortbuch:mycin,
	TITLE = "A model of inexact reasoning in medicine",
	AUTHOR = "E.H. Shortliffe and B. Buchanan",
	YEAR = 1975,
	JOURNAL = "Mathematical Biosciences",
	VOLUME = 23,
	PAGES = "351--379"}

@incollection{slocombe:enges,
	TITLE = "Engineering expert systems applications",
	AUTHOR = "S. Slocombe and K. Moore and M. Zelonf",
	YEAR = 1986,
	BOOKTITLE = "Proceedings of the Annual Conference of the BCS Specialist Group on
		Expert Systems",
	PUBLISHER = "British Computer Society",
	ADDRESS = "London"}

@article{solomonoff:induction,
	TITLE = "A formal theory of inductive inference",
	AUTHOR = "R.J. Solomonoff",
	YEAR = 1964,
	JOURNAL = "Information and Control",
	VOLUME = 7,
	PAGES = "376--388"}

@inproceedings{ashclaude:ausconf,
        TITLE = "A knowledge-based system for multi-source classification in remote sensing",
        AUTHOR = "A. Srinivasan and C.A. Sammut and J.A. Richards",
        YEAR = 1989,
        BOOKTITLE = "Fifth Australian Conference on the Application of Expert Systems",
        PAGES = "102--119"}

@article{ashjar:ijrs1,
        TITLE = "Rule-based techniques for multi-source classification",
        AUTHOR = "A. Srinivasan and J.A. Richards",
        YEAR = 1990,
        JOURNAL = "International Journal of Remote Sensing",
        VOLUME = 11,
        PAGES = "502--525"}

@inproceedings{ashjar:rsconf,
        TITLE = "Knowledge based multi-source analysis",
        AUTHOR = "A. Srinivasan and J.A. Richards",
        YEAR = 1990,
        BOOKTITLE = "Fifth Australasian Remote Sensing Conference"}

@inproceedings{ashcomp:rdr,
        TITLE = "Knowledge acquisition in context for a complex domain",
        AUTHOR = "A. Srinivasan and P. Compton and others",
	YEAR = 1991,
        BOOKTITLE = "Fourth European Knowledge Acquisition Workshop",
        PUBLISHER = "Springer-Verlag"}

@misc{ashjar:ijrs2,
        TITLE = "Analysis of {GIS} spatial data",
        AUTHOR = "A. Srinivasan and J.A. Richards",
        YEAR = 1991,
        NOTE = "submitted to International Journal of Remote Sensing"}

@article{stern:rschem,
	TITLE = "Modelling the structure and function of enzymes by
		machine learning",
	AUTHOR = "M. Sternberg and R. Lewis and R. King and S. Muggleton",
	YEAR = 1992,
	JOURNAL = "Proceedings of the Royal Society of Chemistry:
		Faraday Discussions",
	VOLUME = 93,
	PAGES = "269--280"}

@techreport{sutton:credit,
	AUTHOR = "R.S. Sutton",
	TITLE = "Temporal credit assignment in reinforcement learning",
	YEAR = 1984,
	INSTITUTION = "Department of Computer and Information Science,
			University of Massachusetts, Amherst",
	TYPE = "COINS Technical report",
	NUMBER = "84-02"}

@inproceedings(brad,
        title = "First order theory revision",
        author = "Richards, B.L. and Mooney, R.J.",
        year = 1991,
        booktitle = "Proceedings of the  8th International Workshop on Machine Learning",
        publisher = mk, pages = "447-451"
)

@inproceedings(tan:shim:92,
  author = "Tankitvanitch, S. and Shimura, M.",
  year = 1992,
  title = "Refining a relational theory with multiple faults in the concept and
subconcepts",
  booktitle = "Proceedings of the 9th International Workshop on Machine Learning",
  publisher = mk,
  pages = "436-444")

@inproceedings{kerry,
	AUTHOR = "Taylor, K.",
	TITLE = "Inverse resolution of normal clauses",
	YEAR = 1993,
	PAGES = "165-178",
	BOOKTITLE = "Proceedings of the 3rd International Workshop on Inductive Logic Programming",
	EDITOR = "Muggleton, S."}

@incollection(tom:88,
        author = "Tomasic, A.",
        title = "View update translation via deduction and annotation",
        booktitle = "Proceedings 2nd International Conference on Database
Theory",

        publisher = "Springer-Verlag",
        series = "Lecture Notes in Computer Science",
        volume = 326,
        pages = "338-351",
        year = 1988)

@article{turing:thesis,
	TITLE = "Systems of logic based on ordinals",
	AUTHOR = "A. Turing",
	YEAR = 1939,
	JOURNAL = "Proceedings of the London Mathematical Society",
	PAGES = "161--228"}

@article{turing:ace,
	TITLE = "The automatic computing engine",
	AUTHOR = "A. Turing",
	YEAR = 1947,
	JOURNAL = "Lecture to the London Mathematical Society" }

@article{thompson:bbn,
	TITLE = "Private letter to J. Roycroft",
	AUTHOR = "K. Thompson",
	YEAR = 1986,
	MONTH = "January",
	JOURNAL = "EG magazine" }

@inproceedings{utgoff:bias,
	AUTHOR = "P.E. Utgoff",
	TITLE = "Adjusting bias in concept learning",
	YEAR = 1983,
	PAGES = "447--449",
	BOOKTITLE = "IJCAI-83",
	PUBLISHER = "Kaufmann",
	ADDRESS = "Los Angeles, CA"}

@inproceedings{ut:mit:82,
	AUTHOR = "P.E. Utgoff and T.M. Mitchell",
	TITLE = "Acquisition of appropriate bias for concept learning",
	BOOKTITLE = "Proceedings of the 2nd National Conference On Artificial
		Intelligence",
	PAGES = "414--418",
	PUBLISHER = "Kaufmann",
	YEAR = 1982}

@article{valiant:pac,
	TITLE = "A Theory of the Learnable",
	AUTHOR = "L.G. Valiant",
	YEAR = 1984,
	JOURNAL = "Communications of the ACM",
	VOLUME = 27,
	PAGES = "1134--1142"}

@inproceedings{vanderlaag,
        AUTHOR = "Laag, P.R. van der and Nienhuys-Cheng",
        TITLE = "Subsumption and refinement in model inference",
        YEAR = 1993,
        BOOKTITLE = "Proceedings of the 6th European Conference on Machine Learning",
	EDITOR = "Brazdil, P.",
 	SERIES = "Lecture Notes in Artificial Intelligence",
	VOLUME = 667,
        PUBLISHER = "Springer-Verlag",
        PAGES = "95-114"}

@mastersthesis{vlaer,
	TITLE = "Inductief afleiden van logische regels",
	AUTHOR = "Van Laer, W.",
	SCHOOL = "Katholieke Universiteit Leuven, Dept. of Computing Science",
	note = "(in Dutch)",
	YEAR = 1993}

@phdthesis{vanmelle:emycin,
	TITLE = "System Aids in Constructing Programs",
	AUTHOR = "W.J. Van Melle",
	SCHOOL = "University of Michigan",
	YEAR = 1980}

@article(yok:86,
  author = "Yokomori, T.",
  year = 1986,
  title = "Logic Program Forms",
        volume = 4,
  journal = "New Generation Computing")

@inproceedings{wirth:fail,
	AUTHOR = "R. Wirth",
	TITLE = "Learning by failure to prove",
	PAGES = "237--251",
	YEAR = 1988,
	BOOKTITLE = "EWSL-88",
	PUBLISHER = "Pitman",
	ADDRESS = "London"}

@inproceedings{wirth:lp2,
	AUTHOR = "R. Wirth",
	TITLE = "Completing logic programs by inverse resolution",
	PAGES = "239--250",
	YEAR = 1989,
	BOOKTITLE = "EWSL-89",
	PUBLISHER = "Pitman",
	ADDRESS = "London"}

@inproceedings{wirth91,
	AUTHOR = "R. Wirth and P. O'Rorke",
	TITLE = "Constraints on predicate invention",
	BOOKTITLE = "Proceedings of the 8th International Workshop
		on Machine Learning",
	PAGES = "457--461",
	PUBLISHER = "Kaufmann",
	YEAR = 1991}

@inproceedings(wog,
        title = "Revising relational theories",
        author = "Wogulis, J.",
        year = 1991,
        booktitle = "Proceedings of the  8th International Workshop on Machine Learning",
        publisher = mk, pages = "462-466"
)

@inproceedings{wrobel:observe,
	AUTHOR = "S. Wrobel",
	TITLE = "Automatic representation adjustment in an
	 observational discovery system",
	PAGES = "253--262",
	YEAR = 1988,
	BOOKTITLE = "EWSL-88",
	PUBLISHER = "Pitman",
	ADDRESS = "London"}

@incollection{femethod,
	AUTHOR = "O.C. Zienkiewicz and R.L. Taylor",
	TITLE = "Basic formulation and linear problems",
	YEAR = 1988,
	BOOKTITLE = "The Finite Element Method",
	VOLUME = 1,
	PUBLISHER = "McGraw-Hill",
	ADDRESS = "London"}

@techreport{zub84,
	AUTHOR = "S. Zubrick",
	TITLE = "Willard: a severe thunderstorm forecasting system
		using RuleMaster by Radian",
	YEAR = 1984,
	INSTITUTION = "Radian Corporation,
			Austin, Texas",
	TYPE = "Technical report"}

@incollection{zub88,
	TITLE = "Validation of a weather forecasting expert system",
	AUTHOR = "S. Zubrick",
	PAGES = "391--422",
	YEAR = 1988,
	BOOKTITLE = "Machine Intelligence 11",
	EDITOR = "J.E. Hayes and D. Michie and J. Richard",
	PUBLISHER = "Oxford University Press",
	ADDRESS = "Oxford"}

@article{zuidema,
	TITLE = "Chess, how to program the exceptions?",
	AUTHOR = "C. Zuidema",
	YEAR = 1974,
	JOURNAL = "Afdeling informatica",
	VOLUME = "IW21/74",
	PUBLISHER = "Mathematisch Centrum",
	ADDRESS = "Amsterdam"}