Sciweavers

63
Voted
IJCAI
1997
14 years 10 months ago
On Evaluating Decision Procedures for Modal Logic
This paper investigates the evaluation method of decision procedures for multi-modal logic proposed by Giunchiglia and Sebastiani as an adaptation from the evaluation method of Mi...
Ullrich Hustadt, Renate A. Schmidt