15. Machine Intelligence 1995

@proceedings{DBLP:conf/mi/1995,
  editor    = {Koichi Furukawa and
               Donald Michie and
               Stephen Muggleton},
  title     = {Machine Intelligence 15, Intelligent Agents [St. Catherine's
               College, Oxford, July 1995]},
  booktitle = {Machine Intelligence 15},
  publisher = {Oxford University Press},
  year      = {1999},
  isbn      = {0-19-853867-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Consciousness and Causation

• John McCarthy: Making Robots Conscious of Their Mental States. 3-17
• Koichi Furukawa: A Framework for Verbalizing Unconscious Knowledge Based on Inductive Logic Programming. 18-24
• Irving John Good: Legal Responsibility and Causation. 25-59
• Donald Michie: Adapting Good's Q Theory to the Causation of Individual Events. 60-86

Computer Vision

• Andrew Blake: Making Robots See. 89-100

Agents that Learn

• Michael Bain, Claude Sammut: A Framework for Behavioural Cloning. 103-129
• Ivan Bratko, Tanja Urbancic: Control Skill, Machine Learning and Hand-crafting in Controller Design. 130-153
• Fumio Mizoguchi, Hayato Ohwada: Personalized Mail Agent Using Inductive Logic Programming. 154-175
• Rupert Parson, Stephen Muggleton: An Experiment with Browsers that Learn. 176-184
• Douglas J. Pearson, John E. Laird: Toward Incremental Knowledge Correction for Agents in Complex Environments. 185-204
• Luc Steels: The Spontaneous Self-organization of an Adaptive Language. 205-224

Formalisms and Models of Learning

• Setsuo Arikawa, Masako Sato, Ayumi Shinohara, Takeshi Shinohara: Developments in Computational Learning and Discovery Theory within the Framework of Elementary Formal Systems. 227-247
• Stephen Muggleton, David Page: A Learnability Model for Universal Representations and Its Application to Top-down Induction of Decision Trees. 248-267
• Masayuki Numao, Shigekazu Morita, Kenichi Karaki: A Learning Mechanism for Logic Programs Using Dynamically Shared Substructures. 268-284
• Ken Satoh: PAC-learning of Preference Relations over Interpretations in Lazy Nonmonotonic Reasoning. 285-297
• Kenichi Yoshida, Hiroshi Motoda: Tables, Graphs and Logic for Induction. 298-311

Applied Scientific Discovery

• Kazumi Saito, Ryohei Nakano: A Connectionist Approach to Numeric Law Discorvery. 315-327
• Michael J. E. Sternberg, Ross D. King, Ashwin Srinivasan, Stephen Muggleton: Drug Design by Machine Learning. 328-338

Concurrent Declarative Programming

• John W. Lloyd: Debugging for a Declarative Programming Language. 341-359
• John Alan Robinson, Jonas Barklund: Vesper. 360-377

History of Computing

• B. Jack Copeland: The Turing-Wilkinson Lecture Series on the Automatic Computing Engine. 381-444
• B. Jack Copeland: A Lecture and Two Radio Broadcasts on Machine Intelligence by Alan Turing. 445-476
• Donald W. Davies: Repairs to Turing's Universal Computing Machine. 477-488
• John C. Shepherdson: W. S. Jevons: his Logical Machine and Work Induction and Boolean Algebra. 489-505