Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540746089

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74610-2_10 ◽

2007 ◽

pp. 134-148 ◽

Cited By ~ 5

Author(s):

Matti Järvisalo ◽

Emilia Oikarinen

Keyword(s):

Logic Programs ◽

Normal Logic

Download Full-text

A Register-Free Abstract Prolog Machine with Jumbo Instructions

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74610-2_43 ◽

2007 ◽

pp. 455-457 ◽

Cited By ~ 3

Author(s):

Neng-Fa Zhou

Keyword(s):

Prolog Machine

Download Full-text

The Use of a Logic Programming Language in the Animation of Z Specifications

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74610-2_41 ◽

2007 ◽

pp. 451-452

Author(s):

Margaret M. West

Keyword(s):

Logic Programming ◽

Programming Language ◽

Logic Programming Language

Download Full-text

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74610-2_30 ◽

2007 ◽

pp. 428-429 ◽

Cited By ~ 12

Author(s):

Andrea Calì ◽

Thomas Lukasiewicz

Keyword(s):

Semantic Web ◽

Description Logic ◽

Logic Programs ◽

Probabilistic Description

Download Full-text

Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74610-2_28 ◽

2007 ◽

pp. 410-424 ◽

Cited By ~ 1

Author(s):

Anderson Faustino da Silva ◽

Vítor Santos Costa

Keyword(s):

Dynamic Compilation ◽

Compilation Framework

Download Full-text

Observable Confluence for Constraint Handling Rules

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74610-2_16 ◽

2007 ◽

pp. 224-239 ◽

Cited By ~ 16

Author(s):

Gregory J. Duck ◽

Peter J. Stuckey ◽

Martin Sulzmann

Keyword(s):

Constraint Handling

Download Full-text

Core TuLiP Logic Programming for Trust Management

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74610-2_26 ◽

2007 ◽

pp. 380-394 ◽

Cited By ~ 7

Author(s):

Marcin Czenko ◽

Sandro Etalle

Keyword(s):

Logic Programming ◽

Trust Management

Download Full-text

Automatic Binding-Related Error Diagnosis in Logic Programs

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74610-2_23 ◽

2007 ◽

pp. 333-347

Author(s):

Paweł Pietrzak ◽

Manuel V. Hermenegildo

Keyword(s):

Logic Programs ◽

Error Diagnosis

Download Full-text

Universal Timed Concurrent Constraint Programming

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74610-2_47 ◽

2007 ◽

pp. 464-465

Author(s):

Carlos Olarte ◽

Catuscia Palamidessi ◽

Frank Valencia

Keyword(s):

Constraint Programming ◽

Concurrent Constraint Programming

Download Full-text

Declarative Diagnosis of Temporal Concurrent Constraint Programs

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74610-2_19 ◽

2007 ◽

pp. 271-285 ◽

Cited By ~ 5

Author(s):

M. Falaschi ◽

C. Olarte ◽

C. Palamidessi ◽

F. Valencia

Download Full-text

Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

A Register-Free Abstract Prolog Machine with Jumbo Instructions

The Use of a Logic Programming Language in the Animation of Z Specifications

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web

Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System

Observable Confluence for Constraint Handling Rules

Core TuLiP Logic Programming for Trust Management

Automatic Binding-Related Error Diagnosis in Logic Programs

Universal Timed Concurrent Constraint Programming

Declarative Diagnosis of Temporal Concurrent Constraint Programs

Logic Programming - Lecture Notes in Computer Science
Latest Publications