Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540206422, 9783540245995

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Termination Analysis of Logic Programs

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24599-5_45 ◽

2003 ◽

pp. 507-508 ◽

Cited By ~ 4

Author(s):

Alexander Serebrenik

Keyword(s):

Logic Programs ◽

Termination Analysis

Download Full-text

Refactoring Logic Programs

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24599-5_46 ◽

2003 ◽

pp. 509-510 ◽

Cited By ~ 2

Author(s):

Alexander Serebrenik ◽

Bart Demoen

Keyword(s):

Logic Programs

Download Full-text

Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24599-5_39 ◽

2003 ◽

pp. 494-495 ◽

Cited By ~ 2

Author(s):

Alexei A. Morozov

Keyword(s):

Logic Programming ◽

Mathematical Apparatus

Download Full-text

Is There an Optimal Generic Semantics for First-Order Equations?

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24599-5_30 ◽

2003 ◽

pp. 438-450 ◽

Cited By ~ 1

Author(s):

Jan-Georg Smaus

Keyword(s):

First Order

Download Full-text

On Deterministic Computations in the Extended Andorra Model

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24599-5_28 ◽

2003 ◽

pp. 407-421 ◽

Cited By ~ 2

Author(s):

Ricardo Lopes ◽

Vítor Santos Costa ◽

Fernando Silva

Download Full-text

Incremental Evaluation of Tabled Logic Programs

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24599-5_27 ◽

2003 ◽

pp. 392-406 ◽

Cited By ~ 14

Author(s):

Diptikalyan Saha ◽

C. R. Ramakrishnan

Keyword(s):

Logic Programs ◽

Incremental Evaluation ◽

Tabled Logic Programs

Download Full-text

Higher-Order Substitution Tree Indexing

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24599-5_26 ◽

2003 ◽

pp. 377-391 ◽

Cited By ~ 4

Author(s):

Brigitte Pientka

Keyword(s):

Higher Order

Download Full-text

Intensional Sets in CLP

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24599-5_20 ◽

2003 ◽

pp. 284-299 ◽

Cited By ~ 9

Author(s):

A. Dovier ◽

E. Pontelli ◽

G. Rossi

Download Full-text

Logic Information Systems for Logic Programmers

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24599-5_2 ◽

2003 ◽

pp. 3-19

Author(s):

Olivier Ridoux

Keyword(s):

Information Systems

Download Full-text

Uniform Equivalence of Logic Programs under the Stable Model Semantics

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24599-5_16 ◽

2003 ◽

pp. 224-238 ◽

Cited By ~ 40

Author(s):

Thomas Eiter ◽

Michael Fink

Keyword(s):

Stable Model ◽

Logic Programs

Download Full-text

Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Termination Analysis of Logic Programs

Refactoring Logic Programs

Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents

Is There an Optimal Generic Semantics for First-Order Equations?

On Deterministic Computations in the Extended Andorra Model

Incremental Evaluation of Tabled Logic Programs

Higher-Order Substitution Tree Indexing

Intensional Sets in CLP

Logic Information Systems for Logic Programmers

Uniform Equivalence of Logic Programs under the Stable Model Semantics

Logic Programming - Lecture Notes in Computer Science
Latest Publications