↓ Skip to main content

Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 ; proceedings

Overview of attention for book
Cover of 'Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 ; proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Life of a Logic Programming System
  3. Altmetric Badge
    Chapter 2 Uniting the Prolog Community
  4. Altmetric Badge
    Chapter 3 Constraint Handling Rules
  5. Altmetric Badge
    Chapter 4 Back to Interval Temporal Logics
  6. Altmetric Badge
    Chapter 5 Systems Biology: Models and Logics
  7. Altmetric Badge
    Chapter 6 Separation Logic Tutorial
  8. Altmetric Badge
    Chapter 7 Authorization and Obligation Policies in Dynamic Systems
  9. Altmetric Badge
    Chapter 8 Twelve Definitions of a Stable Model
  10. Altmetric Badge
    Chapter 9 Sixty Years of Stable Models
  11. Altmetric Badge
    Chapter 10 The DLV Project: A Tour from Theory and Research to Applications and Market
  12. Altmetric Badge
    Chapter 11 Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions
  13. Altmetric Badge
    Chapter 12 Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
  14. Altmetric Badge
    Chapter 13 Logic Programming
  15. Altmetric Badge
    Chapter 14 Quo Vadis Answer Set Programming?
  16. Altmetric Badge
    Chapter 15 Answer Set Programming without Unstratified Negation
  17. Altmetric Badge
    Chapter 16 Here’s the Beef: Answer Set Programming !
  18. Altmetric Badge
    Chapter 17 Logic Programming
  19. Altmetric Badge
    Chapter 18 Dynamic Programming Algorithms as Products of Weighted Logic Programs
  20. Altmetric Badge
    Chapter 19 Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
  21. Altmetric Badge
    Chapter 20 A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living
  22. Altmetric Badge
    Chapter 21 Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
  23. Altmetric Badge
    Chapter 22 On the Efficient Execution of ProbLog Programs
  24. Altmetric Badge
    Chapter 23 Engineering an Incremental ASP Solver
  25. Altmetric Badge
    Chapter 24 Concurrent and Local Evaluation of Normal Programs
  26. Altmetric Badge
    Chapter 25 On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
  27. Altmetric Badge
    Chapter 26 α lean TA P : A Declarative Theorem Prover for First-Order Classical Logic
  28. Altmetric Badge
    Chapter 27 Towards Ludics Programming: Interactive Proof Search
  29. Altmetric Badge
    Chapter 28 Declarative Semantics for Active Integrity Constraints
  30. Altmetric Badge
    Chapter 29 A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs
  31. Altmetric Badge
    Chapter 30 Negative Ternary Set-Sharing
  32. Altmetric Badge
    Chapter 31 Termination of Narrowing Using Dependency Pairs
  33. Altmetric Badge
    Chapter 32 Dynamic Analysis of Bounds Versus Domain Propagation
  34. Altmetric Badge
    Chapter 33 Lparse Programs Revisited: Semantics and Representation of Aggregates
  35. Altmetric Badge
    Chapter 34 Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
  36. Altmetric Badge
    Chapter 35 Abstract Answer Set Solvers
  37. Altmetric Badge
    Chapter 36 Partial Functions and Equality in Answer Set Programming
  38. Altmetric Badge
    Chapter 37 Computable Functions in ASP: Theory and Implementation
  39. Altmetric Badge
    Chapter 38 Composing Normal Programs with Function Symbols
  40. Altmetric Badge
    Chapter 39 Verification from Declarative Specifications Using Logic Programming
  41. Altmetric Badge
    Chapter 40 Prolog Based Description Logic Reasoning
  42. Altmetric Badge
    Chapter 41 Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming
  43. Altmetric Badge
    Chapter 42 Optimization of CHR Propagation Rules
  44. Altmetric Badge
    Chapter 43 Termination Analysis of CHR Revisited
  45. Altmetric Badge
    Chapter 44 Transactions in Constraint Handling Rules
  46. Altmetric Badge
    Chapter 45 Cadmium: An Implementation of ACD Term Rewriting
  47. Altmetric Badge
    Chapter 46 Quantified Equilibrium Logic and Foundations for Answer Set Programs
  48. Altmetric Badge
    Chapter 47 Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence
  49. Altmetric Badge
    Chapter 48 Relativized Hyperequivalence of Logic Programs for Modular Programming
  50. Altmetric Badge
    Chapter 49 Program Correspondence under the Answer-Set Semantics: The Non-ground Case
  51. Altmetric Badge
    Chapter 50 Efficient Algorithms for Functional Constraints
  52. Altmetric Badge
    Chapter 51 Two WAM Implementations of Action Rules
  53. Altmetric Badge
    Chapter 52 Constraint-Level Advice for Shaving
  54. Altmetric Badge
    Chapter 53 A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
  55. Altmetric Badge
    Chapter 54 Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics
  56. Altmetric Badge
    Chapter 55 Safe Formulas in the General Theory of Stable Models (Preliminary Report)
  57. Altmetric Badge
    Chapter 56 Logic Programming
  58. Altmetric Badge
    Chapter 57 Logic Programming
  59. Altmetric Badge
    Chapter 58 TopLog: ILP Using a Logic Program Declarative Bias
  60. Altmetric Badge
    Chapter 59 Towards Typed Prolog
  61. Altmetric Badge
    Chapter 60 Environment Reuse in the WAM
  62. Altmetric Badge
    Chapter 61 Logic Engines as Interactors
  63. Altmetric Badge
    Chapter 62 Global Storing Mechanisms for Tabled Evaluation
  64. Altmetric Badge
    Chapter 63 Thread-Based Competitive Or-Parallelism
  65. Altmetric Badge
    Chapter 64 A Logic Language with Stable Model Semantics for Social Reasoning
  66. Altmetric Badge
    Chapter 65 ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming
  67. Altmetric Badge
    Chapter 66 Removing Redundancy from Answer Set Programs
  68. Altmetric Badge
    Chapter 67 ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming
  69. Altmetric Badge
    Chapter 68 An Implementation of Extended P-Log Using XASP
  70. Altmetric Badge
    Chapter 69 Compiling and Executing Declarative Modeling Languages to Gecode
  71. Altmetric Badge
    Chapter 70 Telecommunications Feature Subscription as a Partial Order Constraint Problem
  72. Altmetric Badge
    Chapter 71 A Constraint Logic Programming Approach to Automated Testing
  73. Altmetric Badge
    Chapter 72 Turing-Complete Subclasses of CHR
  74. Altmetric Badge
    Chapter 73 A Soft Approach to Multi-objective Optimization
  75. Altmetric Badge
    Chapter 74 A Multi-theory Logic Language for the World Wide Web
  76. Altmetric Badge
    Chapter 75 A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract)
  77. Altmetric Badge
    Chapter 76 Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security
  78. Altmetric Badge
    Chapter 77 An Algorithm for Sophisticated Code Matching in Logic Programs
  79. Altmetric Badge
    Chapter 78 Trace Analysis for Predicting the Effectiveness of Partial Evaluation
  80. Altmetric Badge
    Chapter 79 A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation
  81. Altmetric Badge
    Chapter 80 Probabilistic and Concurrent Models for Security
  82. Altmetric Badge
    Chapter 81 On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools
  83. Altmetric Badge
    Chapter 82 Development of an Automatic Testing Environment for Mercury
  84. Altmetric Badge
    Chapter 83 Resolving CSP with Naming Games
  85. Altmetric Badge
    Chapter 84 Biosequence Analysis in PRISM
  86. Altmetric Badge
    Chapter 85 Bi-dimensional Domains for the Non-overlapping Rectangles Constraint
  87. Altmetric Badge
    Chapter 86 Extracting and Reasoning about Web Data
  88. Altmetric Badge
    Chapter 87 Managing Quality of Service with Soft Constraints
  89. Altmetric Badge
    Chapter 88 TopLog: ILP Using a Logic Program Declarative Bias
  90. Altmetric Badge
    Chapter 89 Generalising Constraint Solving over Finite Domains
  91. Altmetric Badge
    Chapter 90 Detection of Security Vulnerabilities Using Guided Model Checking
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages
reddit
1 Redditor

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.
Title
Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 ; proceedings
Published by
Springer Science & Business Media, December 2008
DOI 10.1007/978-3-540-89982-2
ISBNs
978-3-54-089981-5, 978-3-54-089982-2
Authors

Banda, Maria Garcia de la, Pontelli, Enrico

Editors

Garcia de la Banda, Maria, Pontelli, Enrico

Mendeley readers

Mendeley readers

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.

Geographical breakdown

Country Count As %
Uruguay 1 25%
Austria 1 25%
Unknown 2 50%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 125%
Professor 3 75%
Student > Master 2 50%
Student > Bachelor 2 50%
Student > Postgraduate 2 50%
Other 1 25%
Readers by discipline Count As %
Computer Science 8 200%
Social Sciences 2 50%
Agricultural and Biological Sciences 2 50%
Mathematics 1 25%
Arts and Humanities 1 25%
Other 1 25%