↓ Skip to main content

8th International Conference on Automated Deduction

Overview of attention for book
Cover of '8th International Conference on Automated Deduction'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 75 Connections and higher-order logic
  3. Altmetric Badge
    Chapter 76 Commutation, transformation, and termination
  4. Altmetric Badge
    Chapter 77 Full-commutation and fair-termination in equational (and combined) term-rewriting systems
  5. Altmetric Badge
    Chapter 78 An actual implementation of a procedure that mechanically proves termination of rewriting systems based on inequalities between polynomial interpretations
  6. Altmetric Badge
    Chapter 79 Proving termination of associative commutative rewriting systems by rewriting
  7. Altmetric Badge
    Chapter 80 Relating resolution and algebraic completion for Horn logic
  8. Altmetric Badge
    Chapter 81 A simple non-termination test for the Knuth-Bendix method
  9. Altmetric Badge
    Chapter 82 A new formula for the execution of categorical combinators
  10. Altmetric Badge
    Chapter 83 Proof by induction using test sets
  11. Altmetric Badge
    Chapter 84 How to prove equivalence of term rewriting systems without induction
  12. Altmetric Badge
    Chapter 85 Sufficient completeness, term rewriting systems and ”anti-unification”
  13. Altmetric Badge
    Chapter 86 A new method for establishing refutational completeness in theorem proving
  14. Altmetric Badge
    Chapter 87 A theory of diagnosis from first principles
  15. Altmetric Badge
    Chapter 88 Some contributions to the logical analysis of circumscription
  16. Altmetric Badge
    Chapter 89 Modal theorem proving
  17. Altmetric Badge
    Chapter 90 Computational aspects of three-valued logic
  18. Altmetric Badge
    Chapter 91 Resolution and quantified epistemic logics
  19. Altmetric Badge
    Chapter 92 A commonsense theory of nonmonotonic reasoning
  20. Altmetric Badge
    Chapter 93 Negative paramodulation
  21. Altmetric Badge
    Chapter 94 The heuristics and experimental results of a new hyperparamodulation: HL -resolution
  22. Altmetric Badge
    Chapter 95 ECR: An equality conditional resolution proof procedure
  23. Altmetric Badge
    Chapter 96 Using narrowing to do isolation in symbolic equation solving — an experiment in automated reasoning
  24. Altmetric Badge
    Chapter 97 Formulation of induction formulas in verification of prolog programs
  25. Altmetric Badge
    Chapter 98 Program verifier "Tatzelwurm": Reasoning about systems systems of linear inequalities
  26. Altmetric Badge
    Chapter 99 An interactive verification system based on dynamic logic
  27. Altmetric Badge
    Chapter 100 What you always wanted to know about clause graph resolution
  28. Altmetric Badge
    Chapter 101 Parallel theorem proving with connection graphs
  29. Altmetric Badge
    Chapter 102 Theory links in semantic graphs
  30. Altmetric Badge
    Chapter 103 Abstraction using generalization functions
  31. Altmetric Badge
    Chapter 104 An improvement of deduction plans: Refutation plans
  32. Altmetric Badge
    Chapter 105 Controlling deduction with proof condensation and heuristics
  33. Altmetric Badge
    Chapter 106 Nested resolution
  34. Altmetric Badge
    Chapter 107 Mechanizing constructive proofs
  35. Altmetric Badge
    Chapter 108 Implementing number theory: An experiment with Nuprl
  36. Altmetric Badge
    Chapter 109 Parallel algorithms for term matching
  37. Altmetric Badge
    Chapter 110 Unification in combinations of collapse-free theories with disjoint sets of function symbols
  38. Altmetric Badge
    Chapter 111 Combination of unification algorithms
  39. Altmetric Badge
    Chapter 112 Unification in the data structure sets
  40. Altmetric Badge
    Chapter 113 NP-completeness of the set unification and matching problems
  41. Altmetric Badge
    Chapter 114 Matching with distributivity
  42. Altmetric Badge
    Chapter 115 Unification in boolean rings
  43. Altmetric Badge
    Chapter 116 Some relationships between unification, restricted unification, and matching
  44. Altmetric Badge
    Chapter 117 A classification of many-sorted unification problems
  45. Altmetric Badge
    Chapter 118 Unification in many-sorted equational theories
  46. Altmetric Badge
    Chapter 119 Classes of first order formulas under various satisfiability definitions
  47. Altmetric Badge
    Chapter 120 Diamond formulas in the dynamic logic of recursively enumerable programs
  48. Altmetric Badge
    Chapter 121 A prolog machine
  49. Altmetric Badge
    Chapter 122 A prolog technology theorem prover: Implementation by an extended prolog compiler
  50. Altmetric Badge
    Chapter 123 Paths to high-performance automated theorem proving
  51. Altmetric Badge
    Chapter 124 Purely functional implementation of a logic
  52. Altmetric Badge
    Chapter 125 Causes for events: Their computation and applications
  53. Altmetric Badge
    Chapter 126 How to clear a block: Plan formation in situational logic
  54. Altmetric Badge
    Chapter 127 Deductive synthesis of sorting programs
  55. Altmetric Badge
    Chapter 128 The TPS theorem proving system
  56. Altmetric Badge
    Chapter 129 Trspec: A term rewriting based system for algebraic specifications
  57. Altmetric Badge
    Chapter 130 Highly parallel inference machine
  58. Altmetric Badge
    Chapter 131 Automatic theorem proving in the ISDV system
  59. Altmetric Badge
    Chapter 132 The karlsruhe induction theorem proving system
  60. Altmetric Badge
    Chapter 133 Overview of a theorem-prover for a computational logic
  61. Altmetric Badge
    Chapter 134 GEO-prover — A geometry theorem prover developed at UT
  62. Altmetric Badge
    Chapter 135 The markgraf karl refutation procedure (MKRP)
  63. Altmetric Badge
    Chapter 136 The J-machine: Functional programming with combinators
  64. Altmetric Badge
    Chapter 137 The illinois prover: A general purpose resolution theorem prover
  65. Altmetric Badge
    Chapter 138 Theorem proving systems of the Formel project
  66. Altmetric Badge
    Chapter 139 The passau RAP system: Prototyping algebraic specifications using conditional narrowing
  67. Altmetric Badge
    Chapter 140 RRL: A rewrite rule laboratory
  68. Altmetric Badge
    Chapter 141 A geometry theorem prover based on Buchberger's algorithm
  69. Altmetric Badge
    Chapter 142 REVE a rewrite rule laboratory
  70. Altmetric Badge
    Chapter 143 ITP at argonne national laboratory
  71. Altmetric Badge
    Chapter 144 Autologic at university of victoria
  72. Altmetric Badge
    Chapter 145 Thinker
  73. Altmetric Badge
    Chapter 146 The KLAUS automated deduction system
  74. Altmetric Badge
    Chapter 147 The KRIPKE automated theorem proving system
  75. Altmetric Badge
    Chapter 148 SHD-prover at university of texas at austin
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
5 Wikipedia pages

Citations

dimensions_citation
1 Dimensions

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
8th International Conference on Automated Deduction
Published by
Lecture notes in computer science, January 1986
DOI 10.1007/3-540-16780-3
ISBNs
978-3-54-016780-8, 978-3-54-039861-5
Authors

Jörg H. Siekmann

Editors

Siekmann, Jörg H.

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 %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 50%
Student > Ph. D. Student 2 50%
Readers by discipline Count As %
Mathematics 1 25%
Computer Science 1 25%
Social Sciences 1 25%
Engineering 1 25%
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 20 October 2022.
All research outputs
#7,749,471
of 23,563,389 outputs
Outputs from Lecture notes in computer science
#2,493
of 8,140 outputs
Outputs of similar age
#8,164
of 42,972 outputs
Outputs of similar age from Lecture notes in computer science
#1
of 2 outputs
Altmetric has tracked 23,563,389 research outputs across all sources so far. This one is in the 44th percentile – i.e., 44% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,140 research outputs from this source. They typically receive a little more attention than average, with a mean Attention Score of 5.1. This one has gotten more attention than average, scoring higher than 54% of its peers.
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 42,972 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 25th percentile – i.e., 25% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 2 others from the same source and published within six weeks on either side of this one. This one has scored higher than all of them