Ghidini, C.; Giunchiglia, F. Local Models Semantics, or contextual reasoning = locality + compatibility. (English) Zbl 0969.68141 Artif. Intell. 127, No. 2, 221-259 (2001). MSC: 68T30 68Q55 PDFBibTeX XMLCite \textit{C. Ghidini} and \textit{F. Giunchiglia}, Artif. Intell. 127, No. 2, 221--259 (2001; Zbl 0969.68141) Full Text: DOI
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
Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto A new method for testing decision procedures in modal logics. (English) Zbl 1430.68409 McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 264-267 (1997). MSC: 68V15 03B35 03B45 PDFBibTeX XMLCite \textit{F. Giunchiglia} et al., Lect. Notes Comput. Sci. 1249, 264--267 (1997; Zbl 1430.68409) Full Text: DOI
Giunchiglia, Enrico; Giunchiglia, Fausto Ideal and real belief about belief. (English) Zbl 1419.68119 Gabbay, Dov M. (ed.) et al., Practical reasoning. International conference on formal and applied practical reasoning, FAPR ’96, Bonn, Germany, June 3–7, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1085, 261-275 (1996). MSC: 68T27 03B42 68T30 PDFBibTeX XMLCite \textit{E. Giunchiglia} and \textit{F. Giunchiglia}, Lect. Notes Comput. Sci. 1085, 261--275 (1996; Zbl 1419.68119) Full Text: DOI Link
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
Giunchiglia, Fausto; Serafini, Luciano Multilanguage hierarchical logics, or: How we can do without modal logics. (English) Zbl 0787.68093 Artif. Intell. 65, No. 1, 29-70 (1994). MSC: 68T99 68T27 03B45 PDFBibTeX XMLCite \textit{F. Giunchiglia} and \textit{L. Serafini}, Artif. Intell. 65, No. 1, 29--70 (1994; Zbl 0787.68093) Full Text: DOI