↓ Skip to main content

Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 ; proceedings

Overview of attention for book
Cover of 'Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 ; proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Symmetry Breaking for Maximum Satisfiability
  3. Altmetric Badge
    Chapter 2 Efficient Generation of Unsatisfiability Proofs and Cores in SAT
  4. Altmetric Badge
    Chapter 3 Justification-Based Local Search with Adaptive Noise Strategies
  5. Altmetric Badge
    Chapter 4 The Max-Atom Problem and Its Relevance
  6. Altmetric Badge
    Chapter 5 Towards Practical Feasibility of Core Computation in Data Exchange
  7. Altmetric Badge
    Chapter 6 Data-Oblivious Stream Productivity
  8. Altmetric Badge
    Chapter 7 Reasoning about XML with Temporal Logics and Automata
  9. Altmetric Badge
    Chapter 8 Distributed Consistency-Based Diagnosis
  10. Altmetric Badge
    Chapter 9 From One Session to Many: Dynamic Tags for Security Protocols
  11. Altmetric Badge
    Chapter 10 A Conditional Logical Framework
  12. Altmetric Badge
    Chapter 11 Nominal Renaming Sets
  13. Altmetric Badge
    Chapter 12 Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
  14. Altmetric Badge
    Chapter 13 Model Checking – My 27-Year Quest to Overcome the State Explosion Problem
  15. Altmetric Badge
    Chapter 14 On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata
  16. Altmetric Badge
    Chapter 15 Recurrent Reachability Analysis in Regular Model Checking
  17. Altmetric Badge
    Chapter 16 Alternation Elimination by Complementation (Extended Abstract)
  18. Altmetric Badge
    Chapter 17 Discounted Properties of Probabilistic Pushdown Automata
  19. Altmetric Badge
    Chapter 18 A Quantifier Elimination Algorithm for Linear Real Arithmetic
  20. Altmetric Badge
    Chapter 19 (LIA) - Model Evolution with Linear Integer Arithmetic Constraints
  21. Altmetric Badge
    Chapter 20 A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
  22. Altmetric Badge
    Chapter 21 Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking
  23. Altmetric Badge
    Chapter 22 On Bounded Reachability of Programs with Set Comprehensions
  24. Altmetric Badge
    Chapter 23 Program Complexity in Hierarchical Module Checking
  25. Altmetric Badge
    Chapter 24 Valigator : A Verification Tool with Bound and Invariant Generation
  26. Altmetric Badge
    Chapter 25 Reveal: A Formal Verification Tool for Verilog Designs
  27. Altmetric Badge
    Chapter 26 A Formal Language for Cryptographic Pseudocode
  28. Altmetric Badge
    Chapter 27 Logic for Programming, Artificial Intelligence, and Reasoning
  29. Altmetric Badge
    Chapter 28 Role Conjunctions in Expressive Description Logics
  30. Altmetric Badge
    Chapter 29 Default Logics with Preference Order: Principles and Characterisations
  31. Altmetric Badge
    Chapter 30 On Computing Constraint Abduction Answers
  32. Altmetric Badge
    Chapter 31 Fast Counting with Bounded Treewidth
  33. Altmetric Badge
    Chapter 32 Cut Elimination for First Order Gödel Logic by Hyperclause Resolution
  34. Altmetric Badge
    Chapter 33 Focusing Strategies in the Sequent Calculus of Synthetic Connectives
  35. Altmetric Badge
    Chapter 34 An Algorithmic Interpretation of a Deep Inference System
  36. Altmetric Badge
    Chapter 35 Weak βη -Normalization and Normalization by Evaluation for System F
  37. Altmetric Badge
    Chapter 36 Variable Dependencies of Quantified CSPs
  38. Altmetric Badge
    Chapter 37 Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings
  39. Altmetric Badge
    Chapter 38 Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates
  40. Altmetric Badge
    Chapter 39 A Logic of Singly Indexed Arrays
  41. Altmetric Badge
    Chapter 40 Logic for Programming, Artificial Intelligence, and Reasoning
  42. Altmetric Badge
    Chapter 41 Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
  43. Altmetric Badge
    Chapter 42 The Variable Hierarchy for the Lattice μ -Calculus
  44. Altmetric Badge
    Chapter 43 A Formalised Lower Bound on Undirected Graph Reachability
  45. Altmetric Badge
    Chapter 44 Improving Context-Sensitive Dependency Pairs
  46. Altmetric Badge
    Chapter 45 Complexity, Graphs, and the Dependency Pair Method
  47. Altmetric Badge
    Chapter 46 Uncurrying for Termination
  48. Altmetric Badge
    Chapter 47 Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation
  49. Altmetric Badge
    Chapter 48 A Higher-Order Iterative Path Ordering
  50. Altmetric Badge
    Chapter 49 Erratum: Variable Dependencies of Quantified CSPs
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

facebook
1 Facebook page
video
1 video uploader

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
14 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 for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 ; proceedings
Published by
ADS, January 2008
DOI 10.1007/978-3-540-89439-1
ISBNs
978-3-54-089438-4, 978-3-54-089439-1
Authors

Cervesato, Iliano, Veith, Helmut

Editors

Cervesato, Iliano, Veith, Helmut, Voronkov, Andrei

Mendeley readers

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

Geographical breakdown

Country Count As %
Spain 1 7%
Luxembourg 1 7%
Unknown 12 86%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 36%
Researcher 4 29%
Professor 2 14%
Professor > Associate Professor 2 14%
Student > Bachelor 1 7%
Other 0 0%
Readers by discipline Count As %
Agricultural and Biological Sciences 3 21%
Psychology 3 21%
Social Sciences 3 21%
Computer Science 2 14%
Environmental Science 1 7%
Other 2 14%

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 04 November 2017.
All research outputs
#10,700,183
of 13,450,780 outputs
Outputs from ADS
#18,644
of 21,764 outputs
Outputs of similar age
#190,809
of 263,687 outputs
Outputs of similar age from ADS
#103
of 153 outputs
Altmetric has tracked 13,450,780 research outputs across all sources so far. This one is in the 11th percentile – i.e., 11% of other outputs scored the same or lower than it.
So far Altmetric has tracked 21,764 research outputs from this source. They receive a mean Attention Score of 4.3. 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 263,687 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 14th percentile – i.e., 14% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 153 others from the same source and published within six weeks on either side of this one. This one is in the 14th percentile – i.e., 14% of its contemporaries scored the same or lower than it.