Practical Aspects of Declarative Languages

Overview of attention for book

Practical Aspects of Declarative Languages

Springer International Publishing

Table of Contents

Altmetric Badge

Book Overview
Altmetric Badge

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

Chapter 2 Automatic Program Rewriting in Non-Ground Answer Set Programs
Altmetric Badge

Chapter 3 Personalized Course Schedule Planning Using Answer Set Programming
Altmetric Badge

Chapter 4 An ASP Based Approach to Answering Questions for Natural Language Text
Altmetric Badge

Chapter 5 Natural Language Generation from Ontologies
Altmetric Badge

Chapter 6 Improving Residuation in Declarative Programs
Altmetric Badge

Chapter 7 Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP
Altmetric Badge

Chapter 8 A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers
Altmetric Badge

Chapter 9 Faster Coroutine Pipelines: A Reconstruction
Altmetric Badge

Chapter 10 Classes of Arbitrary Kind
Altmetric Badge

Chapter 11 Distributed Protocol Combinators
Altmetric Badge

Chapter 12 Creating Domain-Specific Languages by Composing Syntactical Constructs
Altmetric Badge

Chapter 13 Proof-Carrying Plans
Altmetric Badge

Chapter 14 Static Partitioning of Spreadsheets for Parallel Execution

Attention for Chapter 7: Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP

Altmetric Badge

Citations

dimensions_citation: 1 Dimensions

Summary Dimensions citations

So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation on Dimensions.

Pseudo-labeling with transformers for improving Question Answering systems

Article in Procedia Computer Science (January 2021)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.