Lecture Notes in Computer Science - Third International Conference on Logic Programming
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540164920, 9783540398318

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Control of logic program execution based on the functional relation

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_98 ◽

1986 ◽

pp. 505-512 ◽

Cited By ~ 1

Author(s):

Katsuhiko Nakamura

Keyword(s):

Logic Program ◽

Functional Relation ◽

Program Execution

Download Full-text

A superimposed codeword indexing scheme for very large Prolog databases

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_105 ◽

1986 ◽

pp. 569-576 ◽

Cited By ~ 24

Author(s):

Kotagiri Ramamohanarao ◽

John Shepherd

Keyword(s):

Indexing Scheme

Download Full-text

Abstract interpretation of Prolog programs

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_95 ◽

1986 ◽

pp. 463-474 ◽

Cited By ~ 33

Author(s):

C. S. Mellish

Keyword(s):

Abstract Interpretation ◽

Prolog Programs

Download Full-text

Equivalences of logic programs

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_91 ◽

1986 ◽

pp. 410-424 ◽

Cited By ~ 10

Author(s):

M. J. Maher

Keyword(s):

Logic Programs

Download Full-text

Rational debugging in logic programming

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_76 ◽

1986 ◽

pp. 203-210 ◽

Cited By ~ 32

Author(s):

Luís Moniz Pereira

Keyword(s):

Logic Programming

Download Full-text

On the complexity of unification sequences

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_69 ◽

1986 ◽

pp. 122-133 ◽

Cited By ~ 5

Author(s):

Heikki Mannila ◽

Esko Ukkonen

Download Full-text

The OR-forest description for the execution of logic programs

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_120 ◽

1986 ◽

pp. 710-717 ◽

Cited By ~ 8

Author(s):

Sun Chengzheng ◽

Tzu Yungui

Keyword(s):

Logic Programs

Download Full-text

Choices in, and limitations of, logic programming

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_110 ◽

1986 ◽

pp. 615-623 ◽

Cited By ~ 1

Author(s):

Paul J. Voda

Keyword(s):

Logic Programming

Download Full-text

Cyclic tree traversal

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_108 ◽

1986 ◽

pp. 593-599 ◽

Cited By ~ 2

Author(s):

Martin Nilsson ◽

Hidehiko Tanaka

Keyword(s):

Tree Traversal

Download Full-text

Tokio: Logic programming language based on temporal logic and its compilation to Prolog

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_119 ◽

1986 ◽

pp. 695-709 ◽

Cited By ~ 20

Author(s):

M. Fujita ◽

S. Kono ◽

H. Tanaka ◽

T. Moto-oka

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Programming Language ◽

Logic Programming Language

Download Full-text

Lecture Notes in Computer Science - Third International Conference on Logic ProgrammingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Control of logic program execution based on the functional relation

A superimposed codeword indexing scheme for very large Prolog databases

Abstract interpretation of Prolog programs

Equivalences of logic programs

Rational debugging in logic programming

On the complexity of unification sequences

The OR-forest description for the execution of logic programs

Choices in, and limitations of, logic programming

Cyclic tree traversal

Tokio: Logic programming language based on temporal logic and its compilation to Prolog

Lecture Notes in Computer Science - Third International Conference on Logic Programming
Latest Publications