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 International Publishing

9783030059972, 9783030059989

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An ASP Based Approach to Answering Questions for Natural Language Text

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

10.1007/978-3-030-05998-9_4 ◽

2018 ◽

pp. 46-63 ◽

Cited By ~ 4

Author(s):

Dhruva Pendharkar ◽

Gopal Gupta

Keyword(s):

Natural Language ◽

Natural Language Text ◽

Answering Questions ◽

Language Text

Download Full-text

Personalized Course Schedule Planning Using Answer Set Programming

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

10.1007/978-3-030-05998-9_3 ◽

2018 ◽

pp. 37-45

Author(s):

Muhammed Kerem Kahraman ◽

Esra Erdem

Keyword(s):

Answer Set Programming ◽

Answer Set

Download Full-text

Distributed Protocol Combinators

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

10.1007/978-3-030-05998-9_11 ◽

2018 ◽

pp. 169-186

Author(s):

Kristoffer Just Arndal Andersen ◽

Ilya Sergey

Keyword(s):

Distributed Protocol

Download Full-text

Natural Language Generation from Ontologies

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

10.1007/978-3-030-05998-9_5 ◽

2018 ◽

pp. 64-81 ◽

Cited By ~ 1

Author(s):

Van Nguyen ◽

Tran Cao Son ◽

Enrico Pontelli

Keyword(s):

Natural Language ◽

Natural Language Generation ◽

Language Generation

Download Full-text

Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP

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

10.1007/978-3-030-05998-9_7 ◽

2018 ◽

pp. 98-114

Author(s):

Joaquín Arias ◽

Manuel Carro

Keyword(s):

Logic Programming ◽

Incremental Evaluation

Download Full-text

Classes of Arbitrary Kind

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

10.1007/978-3-030-05998-9_10 ◽

2018 ◽

pp. 150-168

Author(s):

Alejandro Serrano ◽

Victor Cacciari Miraldo

Download Full-text

Creating Domain-Specific Languages by Composing Syntactical Constructs

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

10.1007/978-3-030-05998-9_12 ◽

2018 ◽

pp. 187-203

Author(s):

Viktor Palmkvist ◽

David Broman

Keyword(s):

Domain Specific Languages ◽

Domain Specific

Download Full-text

Strong Equivalence and Program’s Structure in Arguing Essential Equivalence Between First-Order Logic Programs

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

10.1007/978-3-030-05998-9_1 ◽

2018 ◽

pp. 1-18

Author(s):

Yuliya Lierler

Keyword(s):

Order Logic ◽

First Order Logic ◽

Logic Programs ◽

First Order

Download Full-text

Automatic Program Rewriting in Non-Ground Answer Set Programs

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

10.1007/978-3-030-05998-9_2 ◽

2018 ◽

pp. 19-36 ◽

Cited By ~ 2

Author(s):

Nicholas Hippen ◽

Yuliya Lierler

Keyword(s):

Automatic Program ◽

Answer Set

Download Full-text

Faster Coroutine Pipelines: A Reconstruction

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

10.1007/978-3-030-05998-9_9 ◽

2018 ◽

pp. 133-149

Author(s):

Ruben P. Pieters ◽

Tom Schrijvers

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

An ASP Based Approach to Answering Questions for Natural Language Text

Personalized Course Schedule Planning Using Answer Set Programming

Distributed Protocol Combinators

Natural Language Generation from Ontologies

Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP

Classes of Arbitrary Kind

Creating Domain-Specific Languages by Composing Syntactical Constructs

Strong Equivalence and Program’s Structure in Arguing Essential Equivalence Between First-Order Logic Programs

Automatic Program Rewriting in Non-Ground Answer Set Programs

Faster Coroutine Pipelines: A Reconstruction

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