Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989: 485 - Brossura

Tanaka, Hozumi; Fujisaki, Tetsunosuke; Furukawa, Koichi

 
9783540539193: Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989: 485
Brossura
ISBN 10: 3540539190 ISBN 13: 9783540539193
Casa editrice: Springer, 2008

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540539190
ISBN 13 
9783540539193
Rilegatura
Copertina flessibile
Numero di pagine
204
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9780387539195: Logic Programming '89: Proceedings of the 8th Conference Tokyo, Japan, July 12-14, 1989

Edizione in evidenza

ISBN 10:  0387539190 ISBN 13:  9780387539195
Casa editrice: Springer-Verlag, 1991
Brossura