↓ 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 Software Verification: Roles and Challenges for Automatic Decision Procedures
  3. Altmetric Badge
    Chapter 2 Proving Bounds on Real-Valued Functions with Computations
  4. Altmetric Badge
    Chapter 3 Linear Quantifier Elimination
  5. Altmetric Badge
    Chapter 4 Quantitative Separation Logic and Programs with Lists
  6. Altmetric Badge
    Chapter 5 On Automating the Calculus of Relations
  7. Altmetric Badge
    Chapter 6 Towards SMT Model Checking of Array-Based Systems
  8. Altmetric Badge
    Chapter 7 Preservation of Proof Obligations from Java to the Java Virtual Machine
  9. Altmetric Badge
    Chapter 8 Efficient Well-Definedness Checking
  10. Altmetric Badge
    Chapter 9 Proving Group Protocols Secure Against Eavesdroppers
  11. Altmetric Badge
    Chapter 10 Automated Implicit Computational Complexity Analysis (System Description)
  12. Altmetric Badge
    Chapter 11 LogAnswer - A Deduction-Based Question Answering System (System Description)
  13. Altmetric Badge
    Chapter 12 A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)
  14. Altmetric Badge
    Chapter 13 The Abella Interactive Theorem Prover (System Description)
  15. Altmetric Badge
    Chapter 14 LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
  16. Altmetric Badge
    Chapter 15 KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
  17. Altmetric Badge
    Chapter 16 The Complexity of Conjunctive Query Answering in Expressive Description Logics
  18. Altmetric Badge
    Chapter 17 Automated Reasoning
  19. Altmetric Badge
    Chapter 18 Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
  20. Altmetric Badge
    Chapter 19 Automata-Based Axiom Pinpointing
  21. Altmetric Badge
    Chapter 20 Individual Reuse in Description Logic Reasoning
  22. Altmetric Badge
    Chapter 21 Automated Reasoning
  23. Altmetric Badge
    Chapter 22 Aligator: A Mathematica Package for Invariant Generation (System Description)
  24. Altmetric Badge
    Chapter 23 leanCoP 2.0 and ileanCoP 1.2 : High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)
  25. Altmetric Badge
    Chapter 24 iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description)
  26. Altmetric Badge
    Chapter 25 An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description)
  27. Altmetric Badge
    Chapter 26 Multi-completion with Termination Tools (System Description)
  28. Altmetric Badge
    Chapter 27 MTT: The Maude Termination Tool (System Description)
  29. Altmetric Badge
    Chapter 28 Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)
  30. Altmetric Badge
    Chapter 29 Canonicity!
  31. Altmetric Badge
    Chapter 30 Unification and Matching Modulo Leaf-Permutative Equational Presentations
  32. Altmetric Badge
    Chapter 31 Modularity of Confluence
  33. Altmetric Badge
    Chapter 32 Automated Complexity Analysis Based on the Dependency Pair Method
  34. Altmetric Badge
    Chapter 33 Canonical Inference for Implicational Systems
  35. Altmetric Badge
    Chapter 34 Challenges in the Automated Verification of Security Protocols
  36. Altmetric Badge
    Chapter 35 Deciding Effectively Propositional Logic Using DPLL and Substitution Sets
  37. Altmetric Badge
    Chapter 36 Proof Systems for Effectively Propositional Logic
  38. Altmetric Badge
    Chapter 37 MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
  39. Altmetric Badge
    Chapter 38 CASC-J4 The 4th IJCAR ATP System Competition
  40. Altmetric Badge
    Chapter 39 Labelled Splitting
  41. Altmetric Badge
    Chapter 40 Engineering DPLL(T) + Saturation
  42. Altmetric Badge
    Chapter 41 THF0 – The Core of the TPTP Language for Higher-Order Logic
  43. Altmetric Badge
    Chapter 42 Focusing in Linear Meta-logic
  44. Altmetric Badge
    Chapter 43 Certifying a Tree Automata Completion Checker
  45. Altmetric Badge
    Chapter 44 Automated Induction with Constrained Tree Automata
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • Above-average Attention Score compared to outputs of the same age (61st percentile)
  • Above-average Attention Score compared to outputs of the same age and source (56th percentile)

Mentioned by

2 Wikipedia pages


5 Dimensions

Readers on

1 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.
Automated Reasoning
Published by
ADS, July 2008
DOI 10.1007/978-3-540-71070-7
978-3-54-071069-1, 978-3-54-071070-7

Armando, Alessandro, Baumgartner, Peter, Dowek, Gilles

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Librarian 1 100%
Readers by discipline Count As %
Social Sciences 1 100%

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 01 June 2020.
All research outputs
of 15,364,275 outputs
Outputs from ADS
of 29,238 outputs
Outputs of similar age
of 272,538 outputs
Outputs of similar age from ADS
of 178 outputs
Altmetric has tracked 15,364,275 research outputs across all sources so far. This one is in the 48th percentile – i.e., 48% of other outputs scored the same or lower than it.
So far Altmetric has tracked 29,238 research outputs from this source. They receive a mean Attention Score of 4.3. This one is in the 33rd percentile – i.e., 33% 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 272,538 tracked outputs that were published within six weeks on either side of this one in any source. This one has gotten more attention than average, scoring higher than 61% of its contemporaries.
We're also able to compare this research output to 178 others from the same source and published within six weeks on either side of this one. This one has gotten more attention than average, scoring higher than 56% of its contemporaries.