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


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



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