Search
for Topics
All Reviews
Browse All Reviews
>
Computing Methodologies (I)
>
Artificial Intelligence (I.2)
>
Deduction And Theorem Proving (I.2.3)
> Otter (I.2.3...)
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
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
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud, Inc.
®
Terms of Use
|
Privacy Policy