Milestones for Automated Reasoning with Otter

@article{Wos2006MilestonesFA,
  title={Milestones for Automated Reasoning with Otter},
  author={L. Wos},
  journal={Int. J. Artif. Intell. Tools},
  year={2006},
  volume={15},
  pages={3-20}
}
  • L. Wos
  • Published 2006
  • Computer Science
  • Int. J. Artif. Intell. Tools
  • In the beginning (the early 1960s), the long-term goal of automated reasoning (although the field at the time was not known by that name) was the design and implementation of a program whose use wo... 
    7 Citations

    Topics from this paper

    Formal methods in software development: a road less travelled
    • J. Poll
    • Computer Science
    • South Afr. Comput. J.
    • 2010
    • 4
    • PDF
    Axiomatizing the Skew Boolean Propositional Calculus
    • 15
    • PDF
    On Transfinite Knuth-Bendix Orders
    • 10
    • Highly Influenced
    • PDF
    Depreciation: a contentious issue in business interruption claims

    References

    SHOWING 1-10 OF 22 REFERENCES
    Using hints to increase the effectiveness of an automated reasoning program: Case studies
    • R. Veroff
    • Mathematics, Computer Science
    • Journal of Automated Reasoning
    • 2004
    • 56
    Shortest Axiomatizations of Implicational S4 and S5
    • 6
    • PDF
    OTTER 3.3 Reference Manual
    • W. McCune
    • Computer Science, Mathematics
    • ArXiv
    • 2003
    • 155
    • Highly Influential
    • PDF
    Short Single Axioms for Boolean Algebra
    • 53
    • PDF
    Conquering the Meredith Single Axiom
    • L. Wos
    • Mathematics, Computer Science
    • Journal of Automated Reasoning
    • 2004
    • 15
    Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
    • 320
    Automated Deduction in Equational Logic and Cubic Curves
    • 76
    • PDF
    The Hot List Strategy
    • 23
    Introduction to Mathematical Logic
    • 455