Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642115028, 9783642115035

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Skeleton Composition Using Remote Data

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11503-5_8 ◽

2010 ◽

pp. 73-87 ◽

Cited By ~ 5

Author(s):

Mischa Dieterle ◽

Thomas Horstmeyer ◽

Rita Loogen

Keyword(s):

Remote Data

Download Full-text

Conversion by Evaluation

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11503-5_7 ◽

2010 ◽

pp. 58-72 ◽

Cited By ~ 4

Author(s):

Mathieu Boespflug

Download Full-text

Efficient Application of Answer Set Programming for Advanced Data Integration

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11503-5_3 ◽

2010 ◽

pp. 10-24

Author(s):

Nicola Leone ◽

Francesco Ricca ◽

Luca Agostino Rubino ◽

Giorgio Terracina

Keyword(s):

Data Integration ◽

Answer Set Programming ◽

Answer Set

Download Full-text

On the Implementation of the CLP( $\mathcal BN$ ) Language

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11503-5_20 ◽

2010 ◽

pp. 234-248 ◽

Cited By ~ 1

Author(s):

Vítor Santos Costa

Download Full-text

Static Detection of Race Conditions in Erlang

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11503-5_11 ◽

2010 ◽

pp. 119-133 ◽

Cited By ~ 9

Author(s):

Maria Christakis ◽

Konstantinos Sagonas

Keyword(s):

Race Conditions ◽

Static Detection

Download Full-text

First-Order Interactive Programming

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11503-5_17 ◽

2010 ◽

pp. 186-200 ◽

Cited By ~ 3

Author(s):

Roly Perera

Keyword(s):

First Order ◽

Interactive Programming

Download Full-text

Prospective Storytelling Agents

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11503-5_24 ◽

2010 ◽

pp. 294-296 ◽

Cited By ~ 10

Author(s):

Gonçalo Lopes ◽

Luís Moniz Pereira

Download Full-text

Lazy Combinators for Executable Specifications of General Attribute Grammars

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11503-5_15 ◽

2010 ◽

pp. 167-182 ◽

Cited By ~ 6

Author(s):

Rahmatullah Hafiz ◽

Richard A. Frost

Keyword(s):

Attribute Grammars ◽

Executable Specifications

Download Full-text

Answer Set Programming in 2010: A Personal Perspective

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11503-5_1 ◽

2010 ◽

pp. 1-3 ◽

Cited By ~ 1

Author(s):

Enrico Pontelli

Keyword(s):

Answer Set Programming ◽

Personal Perspective ◽

Answer Set

Download Full-text

Implementing Query Answering for Hybrid MKNF Knowledge Bases

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11503-5_4 ◽

2010 ◽

pp. 25-39 ◽

Cited By ~ 9

Author(s):

Ana Sofia Gomes ◽

José Júlio Alferes ◽

Terrance Swift

Keyword(s):

Knowledge Bases ◽

Query Answering

Download Full-text

Practical Aspects of Declarative Languages - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Skeleton Composition Using Remote Data

Conversion by Evaluation

Efficient Application of Answer Set Programming for Advanced Data Integration

On the Implementation of the CLP( $\mathcal BN$ ) Language

Static Detection of Race Conditions in Erlang

First-Order Interactive Programming

Prospective Storytelling Agents

Lazy Combinators for Executable Specifications of General Attribute Grammars

Answer Set Programming in 2010: A Personal Perspective

Implementing Query Answering for Hybrid MKNF Knowledge Bases

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
Latest Publications