This volume contains the papers presented at the Second International Conf- ence on Discovery Science (DS 99), held in Tokyo, Japan, December 6-8, 1999. The conference was colocated with the Tenth International Conference on Al- rithmic Learning Theory (ALT 99). This conference was organized as part of the activities of the Discovery S- ence Project sponsored by Grant-in-Aid for Scienti c Research on Priority Area fromthe MinistryofEducation, Science, SportsandCulture (MESSC)ofJapan. This is a three-year project starting from 1998 that aims to (1) develop new methods for knowledge discovery, (2) install network environments for kno- edge discovery, and (3) establish Discovery Science as a new area of computer science. The aim of this conference is to provide an open forum for intensive disc- sions and interchange of new information among researchers working in the new area of Discovery Science. Topics of interest within the scope of this conference include, but are not limited to, the following areas: Logic for/of knowledge discovery, knowledge d- coverybyinferences, knowledgediscoverybylearningalgorithms, knowledged- coverybyheuristicsearch, scienti cdiscovery, knowledgediscoveryindatabases, data mining, knowledge discovery in network environments, inductive logic p- gramming, abductive reasoning, machine learning, constructive programming as discovery, intelligentnetworkagents, knowledgediscoveryfromunstructuredand multimedia data, statistical methods for knowledge discovery, data and kno- edge visualization, knowledge discovery and human interaction, and human f- tors in knowledge discovery. The DS 99 program committee selected 26 papers and 25 posters/demos from 74 submissions. Papers were selected according to their relevance to the conference, accuracy, signi cance, originality, and presentation quali

This volume contains the papers that were presented at the Third Workshop onAlgorithmic Learning Theory, held in Tokyo in October 1992. In addition to 3invited papers, the volume contains 19 papers accepted for presentation, selected from 29 submitted extended abstracts. The ALT workshops have been held annually since 1990 and are organized and sponsored by the Japanese Society for Artificial Intelligence. The main objective of these workshops is to provide an open forum for discussions and exchanges of ideasbetween researchers from various backgrounds in this emerging, interdisciplinary field of learning theory. The volume is organized into parts on learning via query, neural networks, inductive inference, analogical reasoning, and approximate learning.

This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof. Donald Michie, Chief Scientist of the Turing Institute, entitled "Human and Machine Learning of Descriptive Concepts," and introduces various research results on learning obtained by his group. There are eleven further papers, organized into sections on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications. A paper on knowledge programming introduces a flexible and powerful tool for incorporating and organizing knowledge using hypermedia. Another paper presents the constraint logic programming language cu-Prolog, designed for combinatorial problems; the way cu-Prolog solves the constraints is based on program transformation.

This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on "narrowing," a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system.

This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.

This is the fifteenth volume in the Machine Intelligence series, founded in 1965 by Donald Michie, and includes papers by a number of eminent AI figures including John McCarthy, Alan Robinson, Robert Kowalski and Mike Genesereth. The book is centred on the theme of intelligent agents and covers a wide range of topics, including: - Representations of consciousness (John McCarthy, Stanford University and Donald Michie, Edinburgh University) - SoftBots (Bruce Blumberg, MIT Media Lab) - Parallel implementations of logic (Alan Robinson, Syracuse University) - Machine learning (Stephen Muggleton, Oxford University) - Machine vision (Andrew Blake, Oxford University) - Machine-based scientific discovery in molecular biology (Mike Sternberg, Imperial Cancer Research Fund).

This book, now in an extensively revised second edition, provides a comprehensive summary of the latest knowledge regarding glycosignals and a thorough analysis of their involvement in not only cancers but also other refractory conditions such as chronic inflammatory disorders. Many relevant topics are covered, including the search for novel tumor epitopes related to carbohydrates, the assembly of glycoconjugates, the modulation of signaling pathways by glycosylation, and interactions between complex carbohydrates and their recognition molecules. The role of various research approaches, for example advanced mass spectrometry, high-resolution imaging, and bioinformatics, is closely examined, and the results of novel therapeutic trials targeting glycosignals are discussed. The book will be essential reading for students and young researchers with an interest in glycoscience. In presenting new results and approaches and identifying areas for future research, it will also be of benefit for specialists in the field.