Wyniki wyszukiwania:

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 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...

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,...

Contains papers on logic programming, an invited paper by Donald Michie and eleven selected papers on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications.

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...