Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

46
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540226710, 9783540277750
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Grid Service Selection with PPDL

2004 ◽  
pp. 464-466 ◽  
Author(s):  
Massimo Marchi ◽  
Alessandra Mileo ◽  
Alessandro Provetti
Keyword(s):  
Service Selection ◽  
Grid Service

Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web

2004 ◽  
pp. 450-451 ◽  
Author(s):  
François Bry ◽  
Paula-Lavinia Pătrânjan ◽  
Sebastian Schaffert
Keyword(s):  
Logic Programming ◽  
Programming Languages ◽  
Logic Programming Languages ◽  
The Web

scholarly journals Termination by Abstraction

2004 ◽  
pp. 1-18 ◽  
Author(s):  
Nachum Dershowitz

scholarly journals On Hybridization of Local Search and Constraint Propagation

2004 ◽  
pp. 299-313 ◽  
Author(s):  
Eric Monfroy ◽  
Frédéric Saubion ◽  
Tony Lambert
Keyword(s):  
Local Search ◽  
Constraint Propagation

Limiting Resolution: From Foundations to Implementation

2004 ◽  
pp. 149-164 ◽  
Author(s):  
Patrick Caldon ◽  
Eric Martin

scholarly journals Improving Prolog Programs: Refactoring for Prolog

2004 ◽  
pp. 58-72 ◽  
Author(s):  
Tom Schrijvers ◽  
Alexander Serebrenik
Keyword(s):  
Prolog Programs

Splitting an Operator

2004 ◽  
pp. 195-209 ◽  
Author(s):  
Joost Vennekens ◽  
David Gilis ◽  
Marc Denecker

Constraint Handling Rules and Tabled Execution

2004 ◽  
pp. 120-136 ◽  
Author(s):  
Tom Schrijvers ◽  
David S. Warren
Keyword(s):  
Constraint Handling
Load More ...
Sign in / Sign up

Export Citation Format

Share Document