↓ Skip to main content

Extensions of Logic Programming

Overview of attention for book
Cover of 'Extensions of Logic Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 45 Introduction
  3. Altmetric Badge
    Chapter 46 Design for AKL with intelligent pruning
  4. Altmetric Badge
    Chapter 47 Contradiction: When avoidance equals removal Part I
  5. Altmetric Badge
    Chapter 48 Birkhoff's HSP-theorem for cumulative logic programs
  6. Altmetric Badge
    Chapter 49 Finite domains and exclusions as first-class citizens
  7. Altmetric Badge
    Chapter 50 Some experimental results in implementing a logic language with multi-head clauses on a Transputer architecture
  8. Altmetric Badge
    Chapter 51 A language with finite sets embedded in the CLP-scheme
  9. Altmetric Badge
    Chapter 52 Finitary partial inductive definitions as a general logic
  10. Altmetric Badge
    Chapter 53 Programming methodologies in GCLA
  11. Altmetric Badge
    Chapter 54 Computing cost estimates for proof strategies
  12. Altmetric Badge
    Chapter 55 Logic programming with multiple context management schemes
  13. Altmetric Badge
    Chapter 56 Non-procedural logic programming
  14. Altmetric Badge
    Chapter 57 Axioms in definitional calculi
  15. Altmetric Badge
    Chapter 58 A proposal for modules in λProlog
  16. Altmetric Badge
    Chapter 59 Regular search spaces as a foundation of logic programming
  17. Altmetric Badge
    Chapter 60 Answer sets and nonmonotonic S4
  18. Altmetric Badge
    Chapter 61 Contradiction: When avoidance equals removal Part II
  19. Altmetric Badge
    Chapter 62 Cut formulae and logic programming
  20. Altmetric Badge
    Chapter 63 Higher-order aspects of logic programming
  21. Altmetric Badge
    Chapter 64 Representation and inference with consistent temporal propositions
  22. Altmetric Badge
    Chapter 65 Definitional reflection and the completion
  23. Altmetric Badge
    Chapter 66 Linear logic semantics for Concurrent Prolog
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page
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
Extensions of Logic Programming
Published by
Lecture notes in computer science, January 1994
DOI 10.1007/3-540-58025-5
ISBNs
978-3-54-058025-6, 978-3-54-048417-2
Authors

Roy Dyckhoff

Editors

Dyckhoff, Roy

Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 3. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 15 June 2020.
All research outputs
#7,473,822
of 22,849,304 outputs
Outputs from Lecture notes in computer science
#2,487
of 8,126 outputs
Outputs of similar age
#14,412
of 71,120 outputs
Outputs of similar age from Lecture notes in computer science
#6
of 14 outputs
Altmetric has tracked 22,849,304 research outputs across all sources so far. This one is in the 44th percentile – i.e., 44% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,126 research outputs from this source. They receive a mean Attention Score of 5.0. This one has gotten more attention than average, scoring higher than 54% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 71,120 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 21st percentile – i.e., 21% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 14 others from the same source and published within six weeks on either side of this one. This one is in the 21st percentile – i.e., 21% of its contemporaries scored the same or lower than it.