The tableaux work bench

Pietro Abate; Rajeev Goré

doi:10.1007/978-3-540-45206-5_18

The tableaux work bench

Pietro Abate, Rajeev Goré

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

18 Citations (Scopus)

Abstract

The Tableaux Work Bench (TWB) is a meta tableau system designed for logicians with limited programming or automatic reasoning knowledge to experiment with new tableau calculi and new decision procedures. It has a simple interface, a history mechanism for controlling loops or pruning the search space, and modal simplification.

Original language	English
Title of host publication	Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings
Editors	Marta Cialdea Mayer, Fiora Pirri
Publisher	Springer Verlag
Pages	230-236
Number of pages	7
ISBN (Print)	9783540407874
DOIs	https://doi.org/10.1007/978-3-540-45206-5_18
Publication status	Published - 2003
Event	International Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003 - Rome, Italy Duration: 9 Sept 2003 → 12 Sept 2003

Publication series

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

Conference

Conference	International Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003
Country/Territory	Italy
City	Rome
Period	9/09/03 → 12/09/03

Access to Document

10.1007/978-3-540-45206-5_18

Cite this

Abate, P., & Goré, R. (2003). The tableaux work bench. In M. C. Mayer, & F. Pirri (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings (pp. 230-236). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2796). Springer Verlag. https://doi.org/10.1007/978-3-540-45206-5_18

Abate, Pietro ; Goré, Rajeev. / The tableaux work bench. Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings. editor / Marta Cialdea Mayer ; Fiora Pirri. Springer Verlag, 2003. pp. 230-236 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{daf95d1859734b1b950406d41f288991,

title = "The tableaux work bench",

abstract = "The Tableaux Work Bench (TWB) is a meta tableau system designed for logicians with limited programming or automatic reasoning knowledge to experiment with new tableau calculi and new decision procedures. It has a simple interface, a history mechanism for controlling loops or pruning the search space, and modal simplification.",

author = "Pietro Abate and Rajeev Gor{\'e}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2003.; International Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003 ; Conference date: 09-09-2003 Through 12-09-2003",

year = "2003",

doi = "10.1007/978-3-540-45206-5_18",

language = "English",

isbn = "9783540407874",

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

publisher = "Springer Verlag",

pages = "230--236",

editor = "Mayer, {Marta Cialdea} and Fiora Pirri",

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

address = "Germany",

}

Abate, P & Goré, R 2003, The tableaux work bench. in MC Mayer & F Pirri (eds), Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2796, Springer Verlag, pp. 230-236, International Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003, Rome, Italy, 9/09/03. https://doi.org/10.1007/978-3-540-45206-5_18

The tableaux work bench. / Abate, Pietro; Goré, Rajeev.
Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings. ed. / Marta Cialdea Mayer; Fiora Pirri. Springer Verlag, 2003. p. 230-236 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2796).

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

TY - GEN

T1 - The tableaux work bench

AU - Abate, Pietro

AU - Goré, Rajeev

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2003.

PY - 2003

Y1 - 2003

N2 - The Tableaux Work Bench (TWB) is a meta tableau system designed for logicians with limited programming or automatic reasoning knowledge to experiment with new tableau calculi and new decision procedures. It has a simple interface, a history mechanism for controlling loops or pruning the search space, and modal simplification.

AB - The Tableaux Work Bench (TWB) is a meta tableau system designed for logicians with limited programming or automatic reasoning knowledge to experiment with new tableau calculi and new decision procedures. It has a simple interface, a history mechanism for controlling loops or pruning the search space, and modal simplification.

UR - http://www.scopus.com/inward/record.url?scp=7044286549&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-45206-5_18

DO - 10.1007/978-3-540-45206-5_18

M3 - Conference contribution

SN - 9783540407874

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

SP - 230

EP - 236

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

A2 - Mayer, Marta Cialdea

A2 - Pirri, Fiora

PB - Springer Verlag

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

Y2 - 9 September 2003 through 12 September 2003

ER -

Abate P, Goré R. The tableaux work bench. In Mayer MC, Pirri F, editors, Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings. Springer Verlag. 2003. p. 230-236. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-45206-5_18

The tableaux work bench

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this