A New System and Methodology for Generating Random Modal Formulae

Authors:
Peter F. Patel-Schneider;Roberto Sebastiani
Affiliations:
-;-
Venue:
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Year:
2001

Citing 3
Cited 2

SAT-Based Decision Procedures for Classical Modal Logics

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

TABLEAUX '99 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

A new general method to generate random modal formulae for testing decision procedures

Journal of Artificial Intelligence Research
Automated reasoning in modal and description logics via SAT encoding: the case study of KmALC-satisfiability

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

Previous methods for generating random modal formulae (for the multi-modal logic K(m)) result either in flawed test sets or formulae that are too hard for current modal decision procedures and, also, unnatural. We present here a new system and generation methodology which results in unflawed test sets and more-natural formulae that are better suited for current decision procedures.