Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Deduction And Theorem Proving (I.2.3) > Otter (I.2.3...)  
 
Options:
 
  1-3 of 3 Reviews about "Otter (I.2.3...)": Date Reviewed
  Programs that offer fast, flawless, logical reasoning
Wos L. Communications of the ACM 41(6): 87-95, 1998.  Type: Article

This expository paper on the development of automated reasoning tools is a must read for anyone interested in knowing more about this area. In particular, the paper discusses the automated reasoning program OTTER, which was developed a...

Jul 1 1998
  The automation of reasoning
Wos L., Academic Press Prof., Inc., San Diego, CA, 1996.  Type: Book (9780127634203)

Wos explains the methodology and details of his experiments with the OTTER theorem-proving system. The common goal of these experiments was the quest for shorter proofs, but the reader is also given general hints and tips for using the...

May 1 1997
  Automated reasoning (2nd ed.)
Wos L., Overbeek R., Lusk E., Boyle J., McGraw-Hill, Inc., New York, NY, 1992.  Type: Book (9780079112514)

It is possible to read this book at various levels. It can form a good introduction to the resolution method of theorem proving, both from the theoretical and the practical point of view, for people new to symbolic logic and for logici...

Mar 1 1993
 
 
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud, Inc.®
Terms of Use
| Privacy Policy