Logic Programming '85 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540164791, 9783540398202

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Heuristics applied in tree manipulation algorithm synthesis

Logic Programming '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-16479-0_5 ◽

1986 ◽

pp. 44-55

Author(s):

Etsuo Itoh ◽

Hiroshi Nakagawa

Keyword(s):

Tree Manipulation

Download Full-text

A Prolog-based Korean-English Machine Translation System and its efficient method of dictionary management

Logic Programming '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-16479-0_23 ◽

1986 ◽

pp. 236-245

Author(s):

J. M. Choi ◽

M. S. Song ◽

K. J. Jeong ◽

H. C. Kwon ◽

S. Y. Han ◽

...

Keyword(s):

Machine Translation ◽

Efficient Method ◽

Translation System ◽

Machine Translation System

Download Full-text

A travel consultation system: Towards a smooth conversation in Japanese

Logic Programming '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-16479-0_22 ◽

1986 ◽

pp. 226-235

Author(s):

H. Suzuki ◽

M. Kiyono ◽

S. Kougo ◽

M. Takahashi ◽

S. Motoike ◽

...

Keyword(s):

Consultation System

Download Full-text

Heuristic prolog: Logic program execution by heuristic search

Logic Programming '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-16479-0_15 ◽

1986 ◽

pp. 148-155 ◽

Author(s):

K. Nakamura

Keyword(s):

Heuristic Search ◽

Logic Program ◽

Program Execution

Download Full-text

Implementation of temporal logic programming language Tokio

Logic Programming '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-16479-0_14 ◽

1986 ◽

pp. 138-147 ◽

Author(s):

S. Kono ◽

T. Aoyagi ◽

M. Fujita ◽

H. Tanaka

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Programming Language ◽

Logic Programming Language ◽

Temporal Logic Programming

Download Full-text

Zero : Frame + prolog

Logic Programming '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-16479-0_8 ◽

1986 ◽

pp. 78-89 ◽

Author(s):

H. Ito ◽

H. Ueno

Download Full-text

Guarded horn clauses

Logic Programming '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-16479-0_17 ◽

1986 ◽

pp. 168-179 ◽

Author(s):

Kazunori Ueda

Keyword(s):

Download Full-text

KRIP: A knowledge representation system for laws relating to industrial property

Logic Programming '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-16479-0_27 ◽

1986 ◽

pp. 276-286 ◽

Author(s):

Katsumi Nitta ◽

Juntaro Nagao

Keyword(s):

Knowledge Representation ◽

Representation System ◽

Industrial Property ◽

Knowledge Representation System

Download Full-text

A note on the elementary execution unit in a parallel inference machine

Logic Programming '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-16479-0_3 ◽

1986 ◽

pp. 25-34 ◽

Author(s):

T. Maruyama ◽

K. Hirata ◽

H. Tanaka ◽

T. Moto-oka

Keyword(s):

Parallel Inference ◽

Parallel Inference Machine ◽

Download Full-text

Knowledge realization and transformation in KRISP

Logic Programming '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-16479-0_29 ◽

1986 ◽

pp. 299-311 ◽

Author(s):

Isao Sugiyai ◽

Keiko Ishikawa

Download Full-text