Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison

Abstract

The aim of the TABLEAUX-2000 Non-Classical (Modal) System Comparisons (TANCS-2000) is to provide a set of benchmarks and a standardized methodology for the assessment and comparison of ATP systems in non-classical logics, as it is done for first-order logic with the CADE System Competition. We believe that TANCS can benefit the scientific community in two… (More)
DOI: 10.1007/10722086_4

1 Figure or Table

Topics

Statistics

0510'02'04'06'08'10'12'14'16'18
Citations per Year

51 Citations

Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics