15. Machine Intelligence 1995

Koichi Furukawa, Donald Michie, Stephen Muggleton (Eds.): Machine Intelligence 15, Intelligent Agents [St. Catherine's College, Oxford, July 1995]. Oxford University Press 1999, ISBN 0-19-853867-7 BibTeX

@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 BibTeX
Koichi Furukawa: A Framework for Verbalizing Unconscious Knowledge Based on Inductive Logic Programming. 18-24 BibTeX
Irving John Good: Legal Responsibility and Causation. 25-59 BibTeX
Donald Michie: Adapting Good's Q Theory to the Causation of Individual Events. 60-86 BibTeX

Computer Vision

Andrew Blake: Making Robots See. 89-100 BibTeX

Agents that Learn

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

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 BibTeX
Stephen Muggleton, David Page: A Learnability Model for Universal Representations and Its Application to Top-down Induction of Decision Trees. 248-267 BibTeX
Masayuki Numao, Shigekazu Morita, Kenichi Karaki: A Learning Mechanism for Logic Programs Using Dynamically Shared Substructures. 268-284 BibTeX
Ken Satoh: PAC-learning of Preference Relations over Interpretations in Lazy Nonmonotonic Reasoning. 285-297 BibTeX
Kenichi Yoshida, Hiroshi Motoda: Tables, Graphs and Logic for Induction. 298-311 BibTeX

Applied Scientific Discovery

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

Concurrent Declarative Programming

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

History of Computing

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