↓ 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
Attention for Chapter 24: A Language for Large Ensembles of Independently Executing Nodes
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
31 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
A Language for Large Ensembles of Independently Executing Nodes
Chapter number 24
Book title
Logic Programming
Published by
Springer, Berlin, Heidelberg, July 2009
DOI 10.1007/978-3-642-02846-5_24
Book ISBNs
978-3-64-202845-8, 978-3-64-202846-5
Authors

Michael P. Ashley-Rollman, Peter Lee, Seth Copen Goldstein, Padmanabhan Pillai, Jason D. Campbell, Ashley-Rollman, Michael P., Lee, Peter, Goldstein, Seth Copen, Pillai, Padmanabhan, Campbell, Jason D.

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 31 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Italy 2 6%
Canada 2 6%
Czechia 1 3%
Austria 1 3%
China 1 3%
United States 1 3%
Unknown 23 74%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 12 39%
Student > Master 4 13%
Professor > Associate Professor 4 13%
Researcher 4 13%
Professor 3 10%
Other 3 10%
Unknown 1 3%
Readers by discipline Count As %
Computer Science 21 68%
Engineering 4 13%
Materials Science 1 3%
Agricultural and Biological Sciences 1 3%
Unknown 4 13%