Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison

Authors:
Fabio Massacci
Affiliations:
-
Venue:
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Year:
1999

Citing 13
Cited 4

How not to lie with statistics: the correct way to summarize benchmark results

Communications of the ACM - The MIT Press scientific computation series
A catalog of complexity classes

Handbook of theoretical computer science (vol. A)
A guide to completeness and complexity for modal logics of knowledge and belief

Artificial Intelligence
Basic modal logic

Handbook of logic in artificial intelligence and logic programming (vol. 1)
The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic

Artificial Intelligence
Generating hard satisfiability problems

Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity
Reasoning in description logics

Principles of knowledge representation
An algorithm to evaluate quantified Boolean formulae

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
The CADE-14 ATP System Competition

Journal of Automated Reasoning
Comparison of Theorem Provers for Modal Logics - Introduction and Summary

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K

CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
The complexity of dynamic languages and dynamic optimization problems

STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
On evaluating decision procedures for modal logic

IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1

Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks

TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A New System and Methodology for Generating Random Modal Formulae

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Spartacus: A Tableau Prover for Hybrid Logic

Electronic Notes in Theoretical Computer Science (ENTCS)
InKreSAT: modal reasoning via incremental reduction to SAT

CADE'13 Proceedings of the 24th international conference on Automated Deduction

Quantified Score

Hi-index	0.00

Visualization

Abstract

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).