@inproceedings{c1a4e3b55d004ae4b21cadd5b4206143,
title = "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 ways: by promoting the competition among ATP systems and thus yielding novel solutions, and by providing a scientific design for benchmarking non-classical ATP systems. This paper reports the main ideas behind the design, the benchmarks, the organization, and the rating of the ATP systems of TANCS-2000. {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.",
author = "F. Massacci and F.M. Donini",
year = "2000",
doi = "10.1007/10722086_4",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "52--56",
booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2000, Proceedings",
note = "International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000 ; Conference date: 03-07-2000 Through 07-07-2000",
}