Design and results of the tableaux-99 non-classical (modal) systems comparison

F. Massacci

doi:10.1007/3-540-48754-9_2

Design and results of the tableaux-99 non-classical (modal) systems comparison

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Abstract

© Springer-Verlag Berlin Heidelberg 1999.This paper reports the main ideas behind the design, the benchmarks, the organization, and the rating of the ATP systems of the TABLEAUX-99 Non-Classical (Modal) System Comparisons (TANCS).

Original language	English
Title of host publication	Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1999, Proceedings
Editors	N.V. Murray
Publisher	Springer Verlag
Pages	14-18
DOIs	https://doi.org/10.1007/3-540-48754-9_2
Publication status	Published - 1999
Externally published	Yes
Event	International Conference on Analytic Tableaux and Related Methods, TABLEAUX 1999 - Saratoga Springs, United States Duration: 7 Jun 1999 → 11 Jun 1999

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Conference on Analytic Tableaux and Related Methods, TABLEAUX 1999
Country/Territory	United States
City	Saratoga Springs
Period	7/06/99 → 11/06/99

Access to Document

10.1007/3-540-48754-9_2

Persistent URL (handle)

Persistent link

Cite this

Massacci, F. (1999). Design and results of the tableaux-99 non-classical (modal) systems comparison. In N. V. Murray (Ed.), Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1999, Proceedings (pp. 14-18). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Springer Verlag. https://doi.org/10.1007/3-540-48754-9_2

Massacci, F. / Design and results of the tableaux-99 non-classical (modal) systems comparison. Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1999, Proceedings. editor / N.V. Murray. Springer Verlag, 1999. pp. 14-18 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a82fb149d1c149eaa81e06e2a671b52e,

title = "Design and results of the tableaux-99 non-classical (modal) systems comparison",

abstract = "{\textcopyright} Springer-Verlag Berlin Heidelberg 1999.This paper reports the main ideas behind the design, the benchmarks, the organization, and the rating of the ATP systems of the TABLEAUX-99 Non-Classical (Modal) System Comparisons (TANCS).",

author = "F. Massacci",

year = "1999",

doi = "10.1007/3-540-48754-9_2",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "14--18",

editor = "N.V. Murray",

booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1999, Proceedings",

note = "International Conference on Analytic Tableaux and Related Methods, TABLEAUX 1999 ; Conference date: 07-06-1999 Through 11-06-1999",

}

Massacci, F 1999, Design and results of the tableaux-99 non-classical (modal) systems comparison. in NV Murray (ed.), Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1999, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, pp. 14-18, International Conference on Analytic Tableaux and Related Methods, TABLEAUX 1999, Saratoga Springs, United States, 7/06/99. https://doi.org/10.1007/3-540-48754-9_2

Design and results of the tableaux-99 non-classical (modal) systems comparison. / Massacci, F.
Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1999, Proceedings. ed. / N.V. Murray. Springer Verlag, 1999. p. 14-18 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Design and results of the tableaux-99 non-classical (modal) systems comparison

AU - Massacci, F.

PY - 1999

Y1 - 1999

N2 - © Springer-Verlag Berlin Heidelberg 1999.This paper reports the main ideas behind the design, the benchmarks, the organization, and the rating of the ATP systems of the TABLEAUX-99 Non-Classical (Modal) System Comparisons (TANCS).

AB - © Springer-Verlag Berlin Heidelberg 1999.This paper reports the main ideas behind the design, the benchmarks, the organization, and the rating of the ATP systems of the TABLEAUX-99 Non-Classical (Modal) System Comparisons (TANCS).

U2 - 10.1007/3-540-48754-9_2

DO - 10.1007/3-540-48754-9_2

M3 - Conference contribution

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 14

EP - 18

BT - Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1999, Proceedings

A2 - Murray, N.V.

PB - Springer Verlag

T2 - International Conference on Analytic Tableaux and Related Methods, TABLEAUX 1999

Y2 - 7 June 1999 through 11 June 1999

ER -

Massacci F. Design and results of the tableaux-99 non-classical (modal) systems comparison. In Murray NV, editor, Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1999, Proceedings. Springer Verlag. 1999. p. 14-18. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-48754-9_2

Design and results of the tableaux-99 non-classical (modal) systems comparison

Abstract

Publication series

Conference

Access to Document

Persistent URL (handle)

Fingerprint

Cite this