↓ Skip to main content

Automated Reasoning

Overview of attention for book
Cover of 'Automated Reasoning'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus
  3. Altmetric Badge
    Chapter 2 Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
  4. Altmetric Badge
    Chapter 3 MCMT: A Model Checker Modulo Theories
  5. Altmetric Badge
    Chapter 4 On Hierarchical Reasoning in Combinations of Theories
  6. Altmetric Badge
    Chapter 5 Global Caching for Coalgebraic Description Logics
  7. Altmetric Badge
    Chapter 6 Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes
  8. Altmetric Badge
    Chapter 7 Analytic Tableaux for Higher-Order Logic with Choice
  9. Altmetric Badge
    Chapter 8 Monotonicity Inference for Higher-Order Formulas
  10. Altmetric Badge
    Chapter 9 Sledgehammer: Judgement Day
  11. Altmetric Badge
    Chapter 10 Logic between Expressivity and Complexity
  12. Altmetric Badge
    Chapter 11 Multi-Prover Verification of Floating-Point Programs
  13. Altmetric Badge
    Chapter 12 Verifying Safety Properties with the TLA + Proof System
  14. Altmetric Badge
    Chapter 13 MUNCH - Automated Reasoner for Sets and Multisets
  15. Altmetric Badge
    Chapter 14 A Slice-Based Decision Procedure for Type-Based Partial Orders
  16. Altmetric Badge
    Chapter 15 Hierarchical Reasoning for the Verification of Parametric Systems
  17. Altmetric Badge
    Chapter 16 Automated Reasoning
  18. Altmetric Badge
    Chapter 17 iProver-Eq: An Instantiation-Based Theorem Prover with Equality
  19. Altmetric Badge
    Chapter 18 Classical Logic with Partial Functions
  20. Altmetric Badge
    Chapter 19 Automated Reasoning for Relational Probabilistic Knowledge Representation
  21. Altmetric Badge
    Chapter 20 Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse
  22. Altmetric Badge
    Chapter 21 Terminating Tableaux for Hybrid Logic with Eventualities
  23. Altmetric Badge
    Chapter 22 Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic
  24. Altmetric Badge
    Chapter 23 Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion
  25. Altmetric Badge
    Chapter 24 Focused Inductive Theorem Proving
  26. Altmetric Badge
    Chapter 25 A Decidable Class of Nested Iterated Schemata
  27. Altmetric Badge
    Chapter 26 RegSTAB: A SAT Solver for Propositional Schemata
  28. Altmetric Badge
    Chapter 27 Linear Quantifier Elimination as an Abstract Decision Procedure
  29. Altmetric Badge
    Chapter 28 A Decision Procedure for CTL* Based on Tableaux and Automata
  30. Altmetric Badge
    Chapter 29 URBiVA: Uniform Reduction to Bit-Vector Arithmetic
  31. Altmetric Badge
    Chapter 30 Induction, Invariants, and Abstraction
  32. Altmetric Badge
    Chapter 31 A Single-Significant-Digit Calculus for Semi-Automated Guesstimation
  33. Altmetric Badge
    Chapter 32 Perfect Discrimination Graphs: Indexing Terms with Integer Exponents
  34. Altmetric Badge
    Chapter 33 An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic
  35. Altmetric Badge
    Chapter 34 Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development
  36. Altmetric Badge
    Chapter 35 Automating Security Analysis: Symbolic Equivalence of Constraint Systems
  37. Altmetric Badge
    Chapter 36 System Description: The Proof Transformation System CERES
  38. Altmetric Badge
    Chapter 37 Premise Selection in the Naproche System
  39. Altmetric Badge
    Chapter 38 On the Saturation of YAGO
  40. Altmetric Badge
    Chapter 39 Optimized Description Logic Reasoning via Core Blocking
  41. Altmetric Badge
    Chapter 40 An Extension of Complex Role Inclusion Axioms in the Description Logic $\mathcal{SROIQ}$
  42. Altmetric Badge
    Chapter 41 Decreasing Diagrams and Relative Termination
  43. Altmetric Badge
    Chapter 42 Monotonicity Criteria for Polynomial Interpretations over the Naturals
  44. Altmetric Badge
    Chapter 43 Termination Tools in Ordered Completion
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

q&a
1 Q&A thread

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
49 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
Automated Reasoning
Published by
ADS, January 2010
DOI 10.1007/978-3-642-14203-1
ISBNs
978-3-64-214202-4, 978-3-64-214203-1
Editors

Jürgen Giesl, Reiner Hähnle

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 1 2%
Unknown 48 98%

Demographic breakdown

Readers by professional status Count As %
Researcher 2 4%
Student > Master 1 2%
Student > Doctoral Student 1 2%
Student > Ph. D. Student 1 2%
Unknown 44 90%
Readers by discipline Count As %
Computer Science 4 8%
Environmental Science 1 2%
Unknown 44 90%
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 16 May 2016.
All research outputs
#13,042,273
of 22,979,862 outputs
Outputs from ADS
#26,561
of 37,420 outputs
Outputs of similar age
#129,306
of 164,802 outputs
Outputs of similar age from ADS
#578
of 795 outputs
Altmetric has tracked 22,979,862 research outputs across all sources so far. This one is in the 42nd percentile – i.e., 42% of other outputs scored the same or lower than it.
So far Altmetric has tracked 37,420 research outputs from this source. They receive a mean Attention Score of 4.6. This one is in the 28th percentile – i.e., 28% 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 164,802 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 795 others from the same source and published within six weeks on either side of this one. This one is in the 26th percentile – i.e., 26% of its contemporaries scored the same or lower than it.