The MVL theorem proving system
- 1 June 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGART Bulletin
- Vol. 2 (3) , 57-60
- https://doi.org/10.1145/122296.122304
Abstract
The MVL theorem-proving system is an implementation of theoretical work currently under way at Stanford University. Theoretical progress made there is regularly included in MVL in order to ensure that the ideas developed theoretically can be tested experimentally as well.Keywords
This publication has 6 references indexed in Scilit:
- Negative subgoals with free variablesThe Journal of Logic Programming, 1991
- A circumscriptive theorem proverArtificial Intelligence, 1989
- A practically efficient and almost linear unification algorithmArtificial Intelligence, 1988
- Multivalued logics: a uniform approach to reasoning in artificial intelligenceComputational Intelligence, 1988
- Controlling recursive inferenceArtificial Intelligence, 1986
- An assumption-based TMSArtificial Intelligence, 1986