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

Limiting Resolution: From Foundations to Implementation

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27775-0_11 ◽

2004 ◽

pp. 149-164 ◽

Author(s):

Patrick Caldon ◽

Eric Martin

Download Full-text

Improving Prolog Programs: Refactoring for Prolog

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27775-0_5 ◽

2004 ◽

pp. 58-72 ◽

Author(s):

Tom Schrijvers ◽

Alexander Serebrenik

Keyword(s):

Prolog Programs

Download Full-text

Grid Service Selection with PPDL

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27775-0_40 ◽

2004 ◽

pp. 464-466 ◽

Author(s):

Massimo Marchi ◽

Alessandra Mileo ◽

Alessandro Provetti

Keyword(s):

Service Selection ◽

Download Full-text

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

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27775-0_33 ◽

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 ◽

Download Full-text

αProlog: A Logic Programming Language with Names, Binding and α-Equivalence

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27775-0_19 ◽

2004 ◽

pp. 269-283 ◽

Author(s):

James Cheney ◽

Christian Urban

Keyword(s):

Logic Programming ◽

Programming Language ◽

Logic Programming Language

Download Full-text

Termination by Abstraction

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27775-0_1 ◽

2004 ◽

pp. 1-18 ◽

Author(s):

Nachum Dershowitz

Download Full-text

On Hybridization of Local Search and Constraint Propagation

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27775-0_21 ◽

2004 ◽

pp. 299-313 ◽

Author(s):

Eric Monfroy ◽

Frédéric Saubion ◽

Tony Lambert

Keyword(s):

Local Search ◽

Constraint Propagation

Download Full-text

Splitting an Operator

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27775-0_14 ◽

2004 ◽

pp. 195-209 ◽

Author(s):

Joost Vennekens ◽

David Gilis ◽

Marc Denecker

Download Full-text

On Programs with Linearly Ordered Multiple Preferences

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27775-0_13 ◽

2004 ◽

pp. 180-194 ◽

Author(s):

Davy Van Nieuwenborgh ◽

Stijn Heymans ◽

Dirk Vermeir

Download Full-text

Implementation Results in Classical Constructive Negation

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27775-0_20 ◽

2004 ◽

pp. 284-298 ◽

Author(s):

Susana Muñoz-Hernández ◽

Juan José Moreno-Navarro

Keyword(s):

Constructive Negation

Download Full-text