We present a new methodology for testing decision procedures for modal and terminological logics which extends the fixed-clause-length test model, commonly used for propositional satisfiability testing. The new method is easy to implement and to use, and it allows for a statistical control of some important features, e.g., hardness and satisfiability rate, of the formulas generated
A New Method for Testing Decision Procedures in Modal and Terminological Logics
Giunchiglia, Fausto;Roveri, Marco;Sebastiani, Roberto
1996-01-01
Abstract
We present a new methodology for testing decision procedures for modal and terminological logics which extends the fixed-clause-length test model, commonly used for propositional satisfiability testing. The new method is easy to implement and to use, and it allows for a statistical control of some important features, e.g., hardness and satisfiability rate, of the formulas generatedFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
