An empirical analysis of modal theorem provers
作者:
Ullrich Hustadt,
RenateA. Schmidt,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 1999)
卷期:
Volume 9,
issue 4
页码: 479-522
ISSN:1166-3081
年代: 1999
DOI:10.1080/11663081.1999.10510981
出版商: Taylor & Francis Group
关键词: Modal logic;automated theorem proving;performance analysis
数据来源: Taylor
摘要:
This paper reports on an empirical performance analysis of four modal theorem provers on benchmark suites of randomly generated formulae. The theorem provers tested are the Davis-Putnam-based procedureKSAT, the tableaux-based system KRZIS, the sequent-based Logics Workbench, and a translation approach combined with the first-order theorem prover SPASS.
点击下载:
PDF (1955KB)
返 回