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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540439592, 9783540456285

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 4

Author(s):

John W. Lloyd

Keyword(s):

Higher Order ◽

Computational Logic

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 ◽

Cited By ~ 3

Author(s):

Luigia Carlucci Aiello ◽

Fabio Massacci

Keyword(s):

Logic Programming ◽

Case Studies ◽

Security Protocols

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 ◽

Cited By ~ 1

Author(s):

Kazunori Ueda

Keyword(s):

Constraint Language

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 ◽

Cited By ~ 1

Author(s):

Peter Flach ◽

Nada Lavrač

Keyword(s):

Logic Programming ◽

Inductive Logic Programming ◽

Inductive Logic

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 ◽

Cited By ~ 2

Author(s):

Paolo Mancarella ◽

Dino Pedreschi ◽

Salvatore Ruggieri

Keyword(s):

Negation As Failure

Agents as Multi-threaded Logical Objects

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

10.1007/3-540-45628-7_4 ◽

2002 ◽

pp. 33-65 ◽

Cited By ~ 1

Author(s):

Keith Clark ◽

Peter J. Robinson

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

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 ◽

Cited By ~ 2

Author(s):

Alberto Pettorossi ◽

Maurizio Proietti

Keyword(s):

Program Derivation

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

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 ◽

Cited By ~ 4

Author(s):

Mark Wallace

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Higher-Order Computational Logic

Planning Attacks to Security Protocols: Case Studies in Logic Programming

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

Learning in Clausal Logic: A Perspective on Inductive Logic Programming

Negation as Failure through Abduction: Reasoning about Termination

Agents as Multi-threaded Logical Objects

Logic-Based Hybrid Agents

Program Derivation = Rules + Strategies

Transformation Systems and Nondeclarative Properties

Constraint Logic Programming

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