| PROver with a | |
Abstract/OtherAbstract
:
|
. PROTEIN (PROver with a Theory Extension INterface) is a PTTPbased first order theorem prover over built-in theories. Besides various standardrefinements known for model elimination, PROTEIN also offers a variant of model elimination for case-based reasoning and which does not need contrapositives. PROTEIN is a complete theorem prover for first order clause logic. It is characterized by the following features: -- PROTEIN is based on the PTTP implementation technique [Sti88] for model elimination [Lov69]. -- PROTEIN offers alternative inference rules for case analysis [Lov87, BF93]. In this setting no contrapositives are needed, and hence the system is well suited as an interpreter for disjunctive logic programming. -- PROTEIN includes theory reasoning [Sti85, Bau92, Bau94] in a very general way. An auxiliary program can be used to derive a suitable background reasoner from a given Horn theory in a fully automatic way. -- PROTEIN includes several calculus refinements and flags. Th... |
Authors
:
|
Peter Baumgartner,Ulrich Furbach,Universiat Koblenz |
Contributors
:
|
The Pennsylvania State University CiteSeer Archives |
Publication Detail
:
|
Publisher : unknown Type : - Format : ps |
Date Detail
:
|
1995-11-06 |
Subject
:
|
Peter Baumgartner,Ulrich Furbach,Universiat Koblenz PROver with a |
Coverage
:
|
- |
Relation
:
|
- |
Source
:
|
http://www.uni-koblenz.de/ag-ki/Systems/Protein/protein-cade-final.ps.gz |
Copyright Information
:
|
unrestricted |
Other Details
:
|
Languages : en |
Export Citation
:
|
APA/MLA Format Download EndNote Download BibTex |
Previous Document: Hinge-Bending Motion in Citrate Synthase Arising from Normal Modes Calculations
Next Document: Parallel Characteristic Extraction from Protein Sequence Database