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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540164791, 9783540398202

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Guarded horn clauses

Logic Programming '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-16479-0_17 ◽

1986 ◽

pp. 168-179 ◽

Cited By ~ 88

Author(s):

Kazunori Ueda

Keyword(s):

Horn Clauses

Download Full-text

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 7

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 ◽

Cited By ~ 3

Author(s):

H. Ito ◽

H. Ueno

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 1

Author(s):

T. Maruyama ◽

K. Hirata ◽

H. Tanaka ◽

T. Moto-oka

Keyword(s):

Parallel Inference ◽

Parallel Inference Machine ◽

Execution Unit

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 ◽

Cited By ~ 1

Author(s):

Isao Sugiyai ◽

Keiko Ishikawa

Download Full-text

Logic Programming '85 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Guarded horn clauses

Heuristics applied in tree manipulation algorithm synthesis

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

A travel consultation system: Towards a smooth conversation in Japanese

Heuristic prolog: Logic program execution by heuristic search

Implementation of temporal logic programming language Tokio

Zero : Frame + prolog

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

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

Knowledge realization and transformation in KRISP

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