↓ Skip to main content

Logic Programming

Overview of attention for book
Cover of 'Logic Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Experiences Using Logic Programming in Bioinformatics
  3. Altmetric Badge
    Chapter 2 A Knowledge Base System Project for FO(.)
  4. Altmetric Badge
    Chapter 3 From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse
  5. Altmetric Badge
    Chapter 4 Generative Modeling by PRISM
  6. Altmetric Badge
    Chapter 5 Enabling Serendipitous Search on the Web of Data Using Prolog
  7. Altmetric Badge
    Chapter 6 Untangling Reverse Engineering with Logic and Abstraction
  8. Altmetric Badge
    Chapter 7 (C)LP Tracing and Debugging
  9. Altmetric Badge
    Chapter 8 Probabilistic Logic Learning - A Tutorial Abstract
  10. Altmetric Badge
    Chapter 9 Using Histograms to Better Answer Queries to Probabilistic Logic Programs
  11. Altmetric Badge
    Chapter 10 Non-discriminating Arguments and Their Uses
  12. Altmetric Badge
    Chapter 11 Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis
  13. Altmetric Badge
    Chapter 12 Stabilization of Information Sharing for Queries Answering in Multiagent Systems
  14. Altmetric Badge
    Chapter 13 Logic Programming for Multiagent Planning with Negotiation
  15. Altmetric Badge
    Chapter 14 Answer Set Programming with Constraints Using Lazy Grounding
  16. Altmetric Badge
    Chapter 15 Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs
  17. Altmetric Badge
    Chapter 16 Logic Programming
  18. Altmetric Badge
    Chapter 17 Merging Logic Programs under Answer Set Semantics
  19. Altmetric Badge
    Chapter 18 Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
  20. Altmetric Badge
    Chapter 19 A Tabling Implementation Based on Variables with Multiple Bindings
  21. Altmetric Badge
    Chapter 20 A Term-Based Global Trie for Tabled Logic Programs
  22. Altmetric Badge
    Chapter 21 A New Approach to Non-termination Analysis of Logic Programs
  23. Altmetric Badge
    Chapter 22 Constraint Answer Set Solving
  24. Altmetric Badge
    Chapter 23 On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
  25. Altmetric Badge
    Chapter 24 A Language for Large Ensembles of Independently Executing Nodes
  26. Altmetric Badge
    Chapter 25 Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
  27. Altmetric Badge
    Chapter 26 Debugging for Model Expansion
  28. Altmetric Badge
    Chapter 27 Metabolic Network Expansion with Answer Set Programming
  29. Altmetric Badge
    Chapter 28 Answer Set Programming for Single-Player Games in General Game Playing
  30. Altmetric Badge
    Chapter 29 Finding Similar or Diverse Solutions in Answer Set Programming
  31. Altmetric Badge
    Chapter 30 Attributed Data for CHR Indexing
  32. Altmetric Badge
    Chapter 31 User Defined Indexing
  33. Altmetric Badge
    Chapter 32 Integration of Abductive Reasoning and Constraint Optimization in SCIFF
  34. Altmetric Badge
    Chapter 33 Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC
  35. Altmetric Badge
    Chapter 34 Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
  36. Altmetric Badge
    Chapter 35 Logic Programming with Defaults and Argumentation Theories
  37. Altmetric Badge
    Chapter 36 Qualified Computations in Functional Logic Programming
  38. Altmetric Badge
    Chapter 37 Logic Programs under Three-Valued Łukasiewicz Semantics
  39. Altmetric Badge
    Chapter 38 Execution Control for CHR
  40. Altmetric Badge
    Chapter 39 Demand-Driven Normalisation for ACD Term Rewriting
  41. Altmetric Badge
    Chapter 40 One More Decidable Class of Finitely Ground Programs
  42. Altmetric Badge
    Chapter 41 Optimizing Compilation and Computational Complexity of Constraint Handling Rules
  43. Altmetric Badge
    Chapter 42 Proving Termination by Invariance Relations
  44. Altmetric Badge
    Chapter 43 Automating Termination Proofs for CHR
  45. Altmetric Badge
    Chapter 44 Logic Programming
  46. Altmetric Badge
    Chapter 45 An Engine for Computing Well-Founded Models
  47. Altmetric Badge
    Chapter 46 Incremental Answer Completion in the SLG-WAM
  48. Altmetric Badge
    Chapter 47 Research Summary: Tabled Evaluation for Transaction Logic Programs
  49. Altmetric Badge
    Chapter 48 Research Summary: Logic Programming for Massively Distributed Systems
  50. Altmetric Badge
    Chapter 49 Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality
  51. Altmetric Badge
    Chapter 50 Research Summary
  52. Altmetric Badge
    Chapter 51 Research Summary: Termination of CHR
  53. Altmetric Badge
    Chapter 52 Research Summary: Intelligent Natural Language Processing Techniques and Tools
  54. Altmetric Badge
    Chapter 53 Stochastic Reasoning with Models of Agent Behavior
  55. Altmetric Badge
    Chapter 54 Research Summary
  56. Altmetric Badge
    Chapter 55 Modular Action Language ${\cal ALM}$
  57. Altmetric Badge
    Chapter 56 Answering Questions from Natural Language Using A-Prolog
  58. Altmetric Badge
    Chapter 57 Belief Logic Programming
  59. Altmetric Badge
    Chapter 58 Logic-Statistic Models with Constraints for Biological Sequence Analysis
  60. Altmetric Badge
    Chapter 59 Logic Programming
  61. Altmetric Badge
    Chapter 60 Research Summary: Non-termination Analysis of Logic Programs
  62. Altmetric Badge
    Chapter 61 Study of Random Logic Programs
  63. Altmetric Badge
    Chapter 62 Locally Distributed Predicates: A Programming Facility for Distributed State Detection
  64. Altmetric Badge
    Chapter 63 Capturing Fair Computations on Concurrent Constraint Language
  65. Altmetric Badge
    Chapter 64 Constraint Based Languages for Biological Reactions
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
8 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.
Title
Logic Programming
Published by
ADS, July 2009
DOI 10.1007/978-3-642-02846-5
ISBNs
978-3-64-202845-8, 978-3-64-202846-5
Editors

Hill, Patricia M., Warren, David S.

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 8 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United States 1 13%
China 1 13%
Unknown 6 75%

Demographic breakdown

Readers by professional status Count As %
Other 2 25%
Student > Postgraduate 2 25%
Professor 1 13%
Librarian 1 13%
Researcher 1 13%
Other 1 13%
Readers by discipline Count As %
Computer Science 5 63%
Arts and Humanities 1 13%
Psychology 1 13%
Social Sciences 1 13%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. 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 14 November 2022.
All research outputs
#20,183,093
of 24,811,594 outputs
Outputs from ADS
#31,663
of 37,262 outputs
Outputs of similar age
#107,845
of 116,963 outputs
Outputs of similar age from ADS
#359
of 392 outputs
Altmetric has tracked 24,811,594 research outputs across all sources so far. This one is in the 10th percentile – i.e., 10% of other outputs scored the same or lower than it.
So far Altmetric has tracked 37,262 research outputs from this source. They receive a mean Attention Score of 4.5. This one is in the 8th percentile – i.e., 8% of its peers scored the same or lower than it.
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 116,963 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 3rd percentile – i.e., 3% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 392 others from the same source and published within six weeks on either side of this one. This one is in the 5th percentile – i.e., 5% of its contemporaries scored the same or lower than it.