↓ 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}$
Attention for Chapter 26: FaCT++ Description Logic Reasoner: System Description
Altmetric Badge

About this Attention Score

  • Good Attention Score compared to outputs of the same age (74th percentile)
  • Good Attention Score compared to outputs of the same age and source (69th percentile)

Mentioned by

twitter
1 X user
wikipedia
5 Wikipedia pages

Citations

dimensions_citation
10 Dimensions

Readers on

mendeley
309 Mendeley
citeulike
4 CiteULike
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.
Chapter title
FaCT++ Description Logic Reasoner: System Description
Chapter number 26
Book title
Automated Reasoning
Published in
Lecture notes in computer science, January 2006
DOI 10.1007/11814771_26
Book ISBNs
978-3-54-037187-8, 978-3-54-037188-5
Authors

Dmitry Tsarkov, Ian Horrocks, Tsarkov, Dmitry, Horrocks, Ian

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 309 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United Kingdom 7 2%
United States 7 2%
Greece 5 2%
Germany 4 1%
Spain 4 1%
France 3 <1%
Brazil 3 <1%
Switzerland 2 <1%
Malaysia 2 <1%
Other 16 5%
Unknown 256 83%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 100 32%
Researcher 66 21%
Student > Master 39 13%
Student > Doctoral Student 19 6%
Professor > Associate Professor 17 6%
Other 46 15%
Unknown 22 7%
Readers by discipline Count As %
Computer Science 206 67%
Agricultural and Biological Sciences 20 6%
Engineering 17 6%
Business, Management and Accounting 5 2%
Social Sciences 5 2%
Other 26 8%
Unknown 30 10%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 4. 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 18 August 2022.
All research outputs
#7,068,416
of 23,122,481 outputs
Outputs from Lecture notes in computer science
#2,294
of 8,146 outputs
Outputs of similar age
#38,459
of 155,536 outputs
Outputs of similar age from Lecture notes in computer science
#42
of 146 outputs
Altmetric has tracked 23,122,481 research outputs across all sources so far. This one has received more attention than most of these and is in the 68th percentile.
So far Altmetric has tracked 8,146 research outputs from this source. They receive a mean Attention Score of 5.0. This one has gotten more attention than average, scoring higher than 70% 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 155,536 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 74% of its contemporaries.
We're also able to compare this research output to 146 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 69% of its contemporaries.