↓ Skip to main content

Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

Overview of attention for book
Cover of 'Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Mathematical Theory Exploration
  3. Altmetric Badge
    Chapter 2 Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation
  4. Altmetric Badge
    Chapter 3 Representing and Reasoning with Operational Semantics
  5. Altmetric Badge
    Chapter 4 Flyspeck I: Tame Graphs
  6. Altmetric Badge
    Chapter 5 Automatic Construction and Verification of Isotopy Invariants
  7. Altmetric Badge
    Chapter 6 Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms
  8. Altmetric Badge
    Chapter 7 Using the TPTP Language for Writing Derivations and Finite Interpretations
  9. Altmetric Badge
    Chapter 8 Stratified Context Unification Is NP-Complete
  10. Altmetric Badge
    Chapter 9 A Logical Characterization of Forward and Backward Chaining in the Inverse Method
  11. Altmetric Badge
    Chapter 10 Connection Tableaux with Lazy Paramodulation
  12. Altmetric Badge
    Chapter 11 Blocking and Other Enhancements for Bottom-Up Model Generation Methods
  13. Altmetric Badge
    Chapter 12 The MathServe System for Semantic Web Reasoning Services
  14. Altmetric Badge
    Chapter 13 System Description: GCLCprover + GeoThms
  15. Altmetric Badge
    Chapter 14 A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms
  16. Altmetric Badge
    Chapter 15 Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation
  17. Altmetric Badge
    Chapter 16 Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics
  18. Altmetric Badge
    Chapter 17 Towards Self-verification of HOL Light
  19. Altmetric Badge
    Chapter 18 An Interpretation of Isabelle/HOL in HOL Light
  20. Altmetric Badge
    Chapter 19 Combining Type Theory and Untyped Set Theory
  21. Altmetric Badge
    Chapter 20 Cut-Simulation in Impredicative Logics
  22. Altmetric Badge
    Chapter 21 Interpolation in Local Theory Extensions
  23. Altmetric Badge
    Chapter 22 Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
  24. Altmetric Badge
    Chapter 23 Dynamic Logic with Non-rigid Functions
  25. Altmetric Badge
    Chapter 24 AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework
  26. Altmetric Badge
    Chapter 25 CEL — A Polynomial-Time Reasoner for Life Science Ontologies
  27. Altmetric Badge
    Chapter 26 FaCT++ Description Logic Reasoner: System Description
  28. Altmetric Badge
    Chapter 27 Importing HOL into Isabelle/HOL
  29. Altmetric Badge
    Chapter 28 Geometric Resolution: A Proof Procedure Based on Finite Model Search
  30. Altmetric Badge
    Chapter 29 A Powerful Technique to Eliminate Isomorphism in Finite Model Search
  31. Altmetric Badge
    Chapter 30 Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems
  32. Altmetric Badge
    Chapter 31 Strong Cut-Elimination Systems for Hudelmaier’s Depth-Bounded Sequent Calculus for Implicational Logic
  33. Altmetric Badge
    Chapter 32 Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach
  34. Altmetric Badge
    Chapter 33 First-Order Logic with Dependent Types
  35. Altmetric Badge
    Chapter 34 Automating Proofs in Category Theory
  36. Altmetric Badge
    Chapter 35 Formal Global Optimisation with Taylor Models
  37. Altmetric Badge
    Chapter 36 A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers
  38. Altmetric Badge
    Chapter 37 Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials
  39. Altmetric Badge
    Chapter 38 A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA)
  40. Altmetric Badge
    Chapter 39 Solving Sparse Linear Constraints
  41. Altmetric Badge
    Chapter 40 Inferring Network Invariants Automatically
  42. Altmetric Badge
    Chapter 41 A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL
  43. Altmetric Badge
    Chapter 42 Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures
  44. Altmetric Badge
    Chapter 43 Verifying Mixed Real-Integer Quantifier Elimination
  45. Altmetric Badge
    Chapter 44 Presburger Modal Logic Is PSPACE-Complete
  46. Altmetric Badge
    Chapter 45 Tree Automata with Equality Constraints Modulo Equational Theories
  47. Altmetric Badge
    Chapter 46 CASC-J3 The 3rd IJCAR ATP System Competition
  48. Altmetric Badge
    Chapter 47 Matrix Interpretations for Proving Termination of Term Rewriting
  49. Altmetric Badge
    Chapter 48 Partial Recursive Functions in Higher-Order Logic
  50. Altmetric Badge
    Chapter 49 On the Strength of Proof-Irrelevant Type Theories
  51. Altmetric Badge
    Chapter 50 Consistency and Completeness of Rewriting in the Calculus of Constructions
  52. Altmetric Badge
    Chapter 51 Specifying and Reasoning About Dynamic Access-Control Policies
  53. Altmetric Badge
    Chapter 52 On Keys and Functional Dependencies as First-Class Citizens in Description Logics
  54. Altmetric Badge
    Chapter 53 A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
6 Wikipedia pages

Readers on

mendeley
5 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 : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Published by
Springer, January 2006
DOI 10.1007/11814771
ISBNs
978-3-54-037187-8, 978-3-54-037188-5
Authors

Furbach, Ulrich, Shankar, N

Editors

Furbach, Ulrich, Shankar, Natarajan

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 20%
Unknown 4 80%
Readers by discipline Count As %
Unknown 5 100%