Hustadt, U. and
Schmidt, R. A.
In Dyckhoff, R. (eds),
Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2000).
Lecture Notes in Artificial Intelligence, Vol. 1847,
(Copyright © Springer)
MSPASS is an extension of the first-order theorem
which can be used as a modal logic theorem prover, a theorem prover for
description logics and a theorem prover for the relational calculus.
Renate A. Schmidt
FM Group |
Last modified: 27 Apr 2001
Copyright © 2000
Renate A. Schmidt,
School of Computer Science, Man Univ, firstname.lastname@example.org