Machine Intelligence Volume 11

Here is the contents page for volume 11 of the Machine Intelligence series. You can also go up to the Machine Intelligence main page, view the bibliographic details of this volume, or go to other volumes: 1 2 3 4 5 6 7 8 9 10 12 13 14.

Contents

 PREFACE by Donald Michie                                             v

 COMPUTATIONAL AND LOGIC

 1  Partial models and non-monotonic inference                        3
    K. KONOLIGE
 2  Equational programming                                           21
    N. DERSHOWITZ and D.A. PLAISTED
 3  Beyond LOGLISP: combining functional and relational
    programming in a reduction setting                               57
    J.A. ROBINSON
 4  Concurrent computer architecture for unification operations      69
    J.V. OLDFIELD and C.D. STORMON

 DEDUCTIVE PROBLEM-SOLVING AND PROOF

 5  Integrating decision procedures into heuristic theorem
    provers: a case study of linear arithmetic                       83
    R.S. BOYER and J.S. MOORE
 6  A problem simplification approach that generates heuristics
    for constraint-satisfaction problems                            125
    R. DECHTER and J. PEARL
 7  The relation between programming and specification
    languages with particular reference to Anna                     157
    A.D. McGETTRICK and J.G. STEEL

 LOGIC PROGRAMMING TOOLS AND APPLICATIONS

 8  YAPES: yet another PROLOG expert system                         167
    T.B. NIBLETT
 9  LogiCalc: a PROLOG spreadsheet                                  193
    F. KRIWACZEK
 10 Representing legislation as logic programs                      209
    M. SERGOT

 MACHINE LEARNING: METHODS AND INSTRUMENTS

 11 Incremental learning of concept descriptions: a method and
    experimental results                                            263
    R.E. REINKE and R.S. MICHALSKI
12  Generating expert rules from examples in PROLOG                 289
    B. ARBAB and D. MICHIE
 13 Decision trees and multi-valued attributes                      305
    J.R. QUINLAN
 14 RuleFactory: a new inductive learning shell                     319
    S. RENNER
 15 Intelligence architecture and inference: VLSI generalized
    associative memory devices                                      333
    D.R. McGREGOR and J.R. MALONE

 AUTOMATING THE ACQUISITION OF KNOWLEDGE FOR COMPLEX DOMAINS

 16 Expert against oracle                                           347
    A.J. ROYCROFT
 17 Inductive acquisition of chess strategies                       375
    S.H. MUGGLETON
 18 Validation of a weather forecasting expert system               391
    S. ZUBRICK
 19 Comparison of ACLS and classical linear methods in a
    biological application                                          423
    B. SHEPHERD, J. PIPER, and D. RUTOVITZ
 20 Automatic synthesis and compression of cardiological
    knowledge                                                       435
    I. BRATKO, I. MOZETIC, and N. LAVRAC

 INDEX                                                              455

Bibliographic details

Machine Intelligence 11 - Towards an Automated Logic of Human Thought
Editors:
J. E. Hayes
Research Associate, Turing Institute
Donald Michie
Chief Scientist, Turing Institute
J. Richards
Head of Industrial Studies, Turing Institute
Publisher: Clarendon Press 1988

Proceedings of the Eleventh Machine Intelligence Workshop, held at the University of Strathclyde in 1985.

Up to Machine Intelligence main page.
Go to other volumes: 1 2 3 4 5 6 7 8 9 10 12 13 14