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

Declarative Programming and Knowledge Management

Overview of attention for book
Declarative Programming and Knowledge Management
Springer International Publishing

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
Attention for Chapter 1: GPU-Based Parallelism for ASP-Solving
Altmetric Badge

Readers on

mendeley
4 Mendeley
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.
Chapter title
GPU-Based Parallelism for ASP-Solving
Chapter number 1
Book title
Declarative Programming and Knowledge Management
Published by
Springer, Cham, May 2020
DOI 10.1007/978-3-030-46714-2_1
Book ISBNs
978-3-03-046713-5, 978-3-03-046714-2
Authors

Agostino Dovier, Andrea Formisano, Flavio Vella, Dovier, Agostino, Formisano, Andrea, Vella, Flavio

View on publisher site

Login to access the Attention Digest and the Sentiment Analysis related to this output.

Timeline Attention over time Attention Score history
Login to access the full charts related to this output.
Activity
Login to access the full charts related to this output.
Mendeley demographics

Mendeley demographics

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Login to view Mendeley reader trends over time.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 2 50%
Researcher 1 25%
Unknown 1 25%
Readers by discipline Count As %
Computer Science 3 75%
Unknown 1 25%