Cantitate/Preț
Produs

Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989: Lecture Notes in Computer Science, cartea 485

Editat de Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki
en Limba Engleză Paperback – 24 apr 1991
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32762 lei

Preț vechi: 40952 lei
-20% Nou

Puncte Express: 491

Preț estimativ în valută:
6270 6522$ 5176£

Carte tipărită la comandă

Livrare economică 14-28 aprilie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540539193
ISBN-10: 3540539190
Pagini: 200
Ilustrații: IX, 186 p.
Dimensiuni: 155 x 233 x 11 mm
Greutate: 0.29 kg
Ediția:1991
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Human and machine learning of descriptive concepts.- The classification and boundary problem.- Semantics of non-monotonic reasoning based on perfect model.- Time-bounded reasoning in first order knowledge base systems.- Elementary formal system as a logic programming language.- Debugger for a parallel logic programing language Fleng.- Parallel generalized LR parser based on logic programming.- Knowledge media station.- cu-Prolog and its application to a JPSG parser.- Table-driven Bottom Up Parser in Prolog.- A consistency maintenance mechanism for subjective judgments and its application.- Logic design assistance using temporal logic based language Tokio.