Lecture Notes in Computer Science - A 25-Year Perspective on Logic Programming
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642143083, 9783642143090

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Constraint Logic Programming

Lecture Notes in Computer Science - A 25-Year Perspective on Logic Programming ◽

10.1007/978-3-642-14309-0_4 ◽

2010 ◽

pp. 64-86 ◽

Author(s):

Marco Gavanelli ◽

Francesca Rossi

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text

Theoretical Foundations and Semantics of Logic Programming

Lecture Notes in Computer Science - A 25-Year Perspective on Logic Programming ◽

10.1007/978-3-642-14309-0_2 ◽

2010 ◽

pp. 15-36 ◽

Author(s):

Annalisa Bossi ◽

Maria Chiara Meo

Keyword(s):

Logic Programming ◽

Theoretical Foundations

Download Full-text

Theory-Specific Automated Reasoning

Lecture Notes in Computer Science - A 25-Year Perspective on Logic Programming ◽

10.1007/978-3-642-14309-0_3 ◽

2010 ◽

pp. 37-63 ◽

Author(s):

Andrea Formisano ◽

Eugenio G. Omodeo

Keyword(s):

Automated Reasoning

Download Full-text

Transformation and Debugging of Functional Logic Programs

Lecture Notes in Computer Science - A 25-Year Perspective on Logic Programming ◽

10.1007/978-3-642-14309-0_13 ◽

2010 ◽

pp. 271-299 ◽

Author(s):

Maria Alpuente ◽

Demis Ballis ◽

Moreno Falaschi

Keyword(s):

Logic Programs ◽

Functional Logic

Download Full-text

Logic Programming Languages for Databases and the Web

Lecture Notes in Computer Science - A 25-Year Perspective on Logic Programming ◽

10.1007/978-3-642-14309-0_9 ◽

2010 ◽

pp. 183-203 ◽

Author(s):

Sergio Greco ◽

Francesca A. Lisi

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Logic Programming Languages ◽

Download Full-text

Answer Set Programming

Lecture Notes in Computer Science - A 25-Year Perspective on Logic Programming ◽

10.1007/978-3-642-14309-0_8 ◽

2010 ◽

pp. 159-182 ◽

Author(s):

Piero Bonatti ◽

Francesco Calimeri ◽

Nicola Leone ◽

Francesco Ricca

Keyword(s):

Answer Set Programming ◽

Download Full-text

Concurrent and Reactive Constraint Programming

Lecture Notes in Computer Science - A 25-Year Perspective on Logic Programming ◽

10.1007/978-3-642-14309-0_11 ◽

2010 ◽

pp. 231-253 ◽

Author(s):

Maurizio Gabbrielli ◽

Catuscia Palamidessi ◽

Frank D. Valencia

Keyword(s):

Constraint Programming

Download Full-text

Knowledge Representation and Non-monotonic Reasoning

Lecture Notes in Computer Science - A 25-Year Perspective on Logic Programming ◽

10.1007/978-3-642-14309-0_5 ◽

2010 ◽

pp. 87-111 ◽

Author(s):

Laura Giordano ◽

Francesca Toni

Keyword(s):

Knowledge Representation

Download Full-text

The Transformational Approach to Program Development

Lecture Notes in Computer Science - A 25-Year Perspective on Logic Programming ◽

10.1007/978-3-642-14309-0_6 ◽

2010 ◽

pp. 112-135 ◽

Author(s):

Alberto Pettorossi ◽

Maurizio Proietti ◽

Valerio Senni

Keyword(s):

Program Development

Download Full-text

Logic Programming in Italy: A Historical Perspective

Lecture Notes in Computer Science - A 25-Year Perspective on Logic Programming ◽

10.1007/978-3-642-14309-0_1 ◽

2010 ◽

pp. 1-14

Author(s):

Gianfranco Rossi

Keyword(s):

Logic Programming ◽

Historical Perspective

Download Full-text