Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540439592, 9783540456285

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45628-7_7 ◽

2002 ◽

pp. 138-161 ◽

Author(s):

Kazunori Ueda

Keyword(s):

Constraint Language

Download Full-text

Learning in Clausal Logic: A Perspective on Inductive Logic Programming

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45628-7_17 ◽

2002 ◽

pp. 437-471 ◽

Author(s):

Peter Flach ◽

Nada Lavrač

Keyword(s):

Logic Programming ◽

Inductive Logic Programming ◽

Inductive Logic

Download Full-text

Negation as Failure through Abduction: Reasoning about Termination

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45628-7_11 ◽

2002 ◽

pp. 240-272 ◽

Author(s):

Paolo Mancarella ◽

Dino Pedreschi ◽

Salvatore Ruggieri

Keyword(s):

Negation As Failure

Download Full-text

Higher-Order Computational Logic

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45628-7_6 ◽

2002 ◽

pp. 105-137 ◽

Author(s):

John W. Lloyd

Keyword(s):

Higher Order ◽

Computational Logic

Download Full-text

Planning Attacks to Security Protocols: Case Studies in Logic Programming

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45628-7_20 ◽

2002 ◽

pp. 533-560 ◽

Author(s):

Luigia Carlucci Aiello ◽

Fabio Massacci

Keyword(s):

Logic Programming ◽

Case Studies ◽

Security Protocols

Download Full-text

Transformation Systems and Nondeclarative Properties

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45628-7_8 ◽

2002 ◽

pp. 162-186

Author(s):

Annalisa Bossi ◽

Nicoletta Cocco ◽

Sandro Etalle

Keyword(s):

Transformation Systems

Download Full-text

Constraint Logic Programming

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45628-7_19 ◽

2002 ◽

pp. 512-532 ◽

Author(s):

Mark Wallace

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text

A Portrait of a Scientist as a Computational Logician

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45628-7_1 ◽

2002 ◽

pp. 1-4

Author(s):

Maurice Bruynooghe ◽

Luís Moniz Pereira ◽

Jörg H. Siekmann ◽

Maarten van Emden

Download Full-text

Logic-Based Hybrid Agents

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45628-7_23 ◽

2002 ◽

pp. 626-654

Author(s):

Christoph G. Jung ◽

Klaus Fischer

Download Full-text

Program Derivation = Rules + Strategies

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45628-7_12 ◽

2002 ◽

pp. 273-309 ◽

Author(s):

Alberto Pettorossi ◽

Maurizio Proietti

Keyword(s):

Program Derivation

Download Full-text