Giunchiglia, Enrico; Giunchiglia, Fausto; Sebastiani, Roberto; Tacchella, Armando SAT vs. translation based decision procedures for modal logics: A comparative evaluation. (English) Zbl 1033.03500 J. Appl. Non-Class. Log. 10, No. 2, 145-172 (2000). MSC: 03B35 68T15 03B25 03B45 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., J. Appl. Non-Class. Log. 10, No. 2, 145--172 (2000; Zbl 1033.03500) Full Text: DOI
Giunchiglia, Fausto; Sebastiani, Roberto Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). (English) Zbl 1033.03509 Inf. Comput. 162, No. 1-2, 158-178 (2000). MSC: 03B45 03B35 68T15 03B25 PDFBibTeX XMLCite \textit{F. Giunchiglia} and \textit{R. Sebastiani}, Inf. Comput. 162, No. 1--2, 158--178 (2000; Zbl 1033.03509) Full Text: DOI
Horrocks, Ian; Patel-Schneider, Peter F.; Sebastiani, Roberto An analysis of empirical testing for modal decision procedures. (English) Zbl 0947.03015 Log. J. IGPL 8, No. 3, 293-323 (2000). MSC: 03B35 68T15 03B45 03B25 PDFBibTeX XMLCite \textit{I. Horrocks} et al., Log. J. IGPL 8, No. 3, 293--323 (2000; Zbl 0947.03015) Full Text: DOI
Giunchiglia, Fausto; Sebastiani, Roberto Building decision procedures for modal logics from propositional decision procedures – the case study of modal K. (English) Zbl 1415.03022 McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 583-597 (1996). MSC: 03B35 03B25 03B45 68T15 PDFBibTeX XMLCite \textit{F. Giunchiglia} and \textit{R. Sebastiani}, Lect. Notes Comput. Sci. 1104, 583--597 (1996; Zbl 1415.03022) Full Text: DOI