Logic Programming in Action de Gerard Comyn

Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings: Lecture Notes in Computer Science, cartea 636

Gerard Comyn

Norbert E. Fuchs

Michael J. Ratcliffe

en Limba Engleză Paperback – 25 aug 1992

Logic programming enjoys a privileged position. It is firmlyrooted in mathematical logic, yet it is also immenselypractical, as a growing number of users in universities,research institutes, and industry are realizing. Logicprogramming languages, specifically Prolog, have turned outto be ideal as prototyping and application developmentlanguages.This volume presents the proceedings of the Second LogicProgramming Summer School, LPSS'92. The First LogicProgramming Summer School, LPSS '90, addressed thetheoretical foundations of logic programming. This volumefocuses onthe relationship between theory and practice, andon practical applications.The introduction to the volume is by R. Kowalski, one of thepioneers in the field. The following papers are organizedinto sections on constraint logic programming, deductivedatabases and expert systems, processing of natural andformal languages, software engineering, and education.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 323^.14 lei
20%

Preț: 461^.32 lei
20%

Preț: 460^.98 lei
20%

Preț: 390^.41 lei
20%

Preț: 526^.98 lei
15%

Preț: 388^.21 lei
20%

Preț: 461^.21 lei
20%

Preț: 390^.08 lei
20%

Preț: 496^.30 lei
20%

Preț: 461^.21 lei
20%

Preț: 389^.45 lei
15%

Preț: 461^.53 lei
20%

Preț: 389^.63 lei
20%

Preț: 496^.68 lei
20%

Preț: 461^.70 lei
20%

Preț: 251^.97 lei
20%

Preț: 390^.86 lei
20%

Preț: 532^.16 lei
20%

Preț: 461^.52 lei
20%

Preț: 255^.72 lei
20%

Preț: 498^.10 lei
20%

Preț: 497^.19 lei
20%

Preț: 499^.02 lei
20%

Preț: 389^.82 lei
20%

Preț: 390^.92 lei
20%

Preț: 390^.86 lei
20%

Preț: 390^.92 lei
20%

Preț: 390^.08 lei
20%

Preț: 461^.45 lei
20%

Preț: 392^.36 lei
20%

Preț: 460^.75 lei
20%

Preț: 461^.32 lei
20%

Preț: 389^.90 lei
20%

Preț: 639^.26 lei
20%

Preț: 390^.66 lei
20%

Preț: 391^.57 lei
20%

Preț: 389^.57 lei
20%

Preț: 497^.97 lei
20%

Preț: 462^.36 lei
20%

Preț: 460^.67 lei
20%

Preț: 423^.95 lei
5%

Preț: 515^.91 lei
15%

Preț: 535^.55 lei
20%

Preț: 531^.90 lei
20%

Preț: 403^.00 lei
20%

Preț: 535^.41 lei
20%

Preț: 461^.25 lei
20%

Preț: 498^.17 lei
20%

Preț: 461^.52 lei
20%

Preț: 249^.77 lei

Specificații

ISBN-13: 9783540559306
ISBN-10: 3540559302
Pagini: 340
Ilustrații: CCCXL, 330 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.48 kg
Ediția:1992
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Cuprins

Theory and practice in logic programming.- Constraint Logic Programming.- Scheduling and optimisation in the Automobile Industry.- Factory scheduling using finite domains.- The Prince project and its applications.- A (Gentle) introduction to deductive databases.- Knowledge based PPS applications in PROTOS-L.- The SECReTS banking expert system from phase 1 to phase 2.- Logic engineering and clinical dilemmas.- A knowledge-based approach to strategic planning.- Expert systems in mining.- Natural and formal language processing.- PUNDIT — Natural language interfaces.- The Esteam-316 dialogue manager.- Legislation as logic programs.- Knowledge representation for natural language processing.- A set of tools for VHDL design.- Tutorial notes: Reasoning about logic programs.- Software formal specification by logic programming: The example of standard Prolog.- The art of computer un-programming: Reverse engineering in Prolog.- Opium — An advanced debugging system.- Automatic theorem proving within the portable AI Lab.