Logic Programming '85

Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985

Häftad, Engelska, 1986

Del i serien Lecture Notes in Computer Science

557 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1986-05-01
Mått:155 x 235 x 18 mm
Vikt:499 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:315
Upplaga:1986
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540164791

Utforska kategorier

Artificiell intelligens inom Data och IT
Programmeringsböcker inom Data och IT
Programspråk inom Data och IT

Innehållsförteckning

Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R.- Hardware simulator of Reduction-Based Parallel Inference Machine PIM-R.- A note on the elementary execution unit in a parallel inference machine.- Parallel Prolog machine PARK: Its hardware structure and prolog system.- Heuristics applied in tree manipulation algorithm synthesis.- Analogical reasoning using transformations of rules.- Synchronization and communication in the ‘subject’.- Zero : Frame + prolog.- PRESET — A debugging environment for Prolog.- Proedit — a screen oriented Prolog programming environment.- Software prototyping with MENDEL.- Retrieval of software module functions using first-order predicate logical formulae.- Temporal logic programming language Tokio programming in Tokio.- Implementation of temporal logic programming language Tokio.- Heuristic prolog: Logic program execution by heuristic search.- And-or queuing in Extended Concurrent Prolog.- Guarded horn clauses.- TDProlog: An extended Prolog with term description.- Design and evaluation of a Prolog compiler.- The program characteristics in logic programming language ESP.- Extended Prolog and its application to an integrated parser for text understanding.- A travel consultation system: Towards a smooth conversation in Japanese.- A Prolog-based Korean-English Machine Translation System and its efficient method of dictionary management.- Using the temporal logic programming language Tokio for algorithm description and automatic CMOS gate array synthesis.- A parallel logic simulator based on Concurrent Prolog.- A method of representing processes in a constraint solver.- KRIP: A knowledge representation system for laws relating to industrial property.- Consultation system for diagnosis of headache andfacial pain: “Rhinos”.- Knowledge realization and transformation in KRISP.

Du kanske också är intresserad av

Logic Programming '86

Eiiti Wada

Häftad

557 kr

-30%

Brevbäraren i Lizzanello

Francesca Giannone

Pocket

3

69 kr99 kr

-21%

Hjärnans akilleshälar : hur din hjärna lurar dig, och vad du kan göra åt det

Anders Hansen

Inbunden

229 kr289 kr

Signerad!

SIGNERAD - Spring snabbare

Andreas Almgren

Inbunden

1

249 kr

Del 4

Målet

Elle Kennedy

Pocket

4

89 kr

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden

249 kr

4 för 3

Del 5

Nattankare

Kristina Ohlsson

Pocket

99 kr

Del 3

Uppgörelsen

Elle Kennedy

Pocket

9

89 kr

4 för 3

Del 1

Den femte dagen

Åsa Hellberg

Pocket

1

99 kr

Del 1

Spelet

Elle Kennedy

Pocket

9

89 kr