↓ Skip to main content
What is this page? Embed badge

Declarative Programming and Knowledge Management

Overview of attention for book
Cover of 'Declarative Programming and Knowledge Management'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 GPU-Based Parallelism for ASP-Solving
  3. Altmetric Badge
    Chapter 2 A Process Calculus for Formally Verifying Blockchain Consensus Protocols
  4. Altmetric Badge
    Chapter 3 Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming
  5. Altmetric Badge
    Chapter 4 Finding Maximal Non-redundant Association Rules in Tennis Data
  6. Altmetric Badge
    Chapter 5 From Textual Information Sources to Linked Data in the Agatha Project
  7. Altmetric Badge
    Chapter 6 Allen’s Interval Algebra Makes the Difference
  8. Altmetric Badge
    Chapter 7 Exploring Properties of Icosoku by Constraint Satisfaction Approach
  9. Altmetric Badge
    Chapter 8 The Regularization of Small Sub-Constraint Satisfaction Problems
  10. Altmetric Badge
    Chapter 9 Declarative Programming for Microcontrollers - Datalog on Arduino
  11. Altmetric Badge
    Chapter 10 Towards Constraint Logic Programming over Strings for Test Data Generation
  12. Altmetric Badge
    Chapter 11 Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic
  13. Altmetric Badge
    Chapter 12 KBSET – Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative Markup and a Core Written in SWI-Prolog
  14. Altmetric Badge
    Chapter 13 Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming
  15. Altmetric Badge
    Chapter 14 Performance Analysis of Zippers
  16. Altmetric Badge
    Chapter 15 Adding Data to Curry
  17. Altmetric Badge
    Chapter 16 Free Theorems Simply, via Dinaturality
  18. Altmetric Badge
    Chapter 17 Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation
  19. Altmetric Badge
    Chapter 18 ICurry
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
4 X users

Citations

dimensions_citation
1 Dimensions
Summary X Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Declarative Programming and Knowledge Management
Published by
Springer International Publishing, January 2020
DOI 10.1007/978-3-030-46714-2
ISBNs
978-3-03-046713-5, 978-3-03-046714-2
Editors

Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 4 X users who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.