Automated reasoning system ITP
Technical Report
·
OSTI ID:6997998
This report describes a system designed to provide a portable environment for the study of automated reasoning. The system is built on the LMA automated reasoning subroutine package. This program is not part of LMA itself but illustrates the level of inference-based system that can be constructed from the LMA package of tools. It is a clause-based reasoning system supporting a wide variety of techniques which have proven valuable over the years in a long-running automated deduction research project. In addition, it is designed to present a convenient, interactive interface to its user.
- Research Organization:
- Argonne National Lab., IL (USA)
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 6997998
- Report Number(s):
- ANL-84-27; ON: DE84011795
- Country of Publication:
- United States
- Language:
- English
Similar Records
LMA-based theorem prover
Portable environment for research in automated reasoning
Logic Machine Architecture inference mechanisms: Layer 2 user reference manual
Technical Report
·
Tue Nov 30 23:00:00 EST 1982
·
OSTI ID:6518800
Portable environment for research in automated reasoning
Conference
·
Sat Dec 31 23:00:00 EST 1983
·
OSTI ID:5166930
Logic Machine Architecture inference mechanisms: Layer 2 user reference manual
Technical Report
·
Tue Nov 30 23:00:00 EST 1982
·
OSTI ID:6228869