Fabio Massacci (massacci)

Contributions to Philosophie.ch

Bibliography

Donini, Francesco M., Liberatore, Paolo, Massacci, Fabio and Schaerf, Marco. 2002. “Solving QBF with SMV.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 578–589. San Francisco, California: Morgan Kaufmann Publishers.
Donini, Francesco M. and Massacci, Fabio. 2000. “EXPtime Tableaux for \({\cal ALC}\).” Artificial Intelligence 124(1): 87–138.
Donini, Francesco M., Massacci, Fabio, Nardi, Daniele and Rosati, Riccardo. 1996. “A Uniform Tableaux Method for Nonmonotonic Modal Logics.” in JELIA’96. Logics in Artificial Intelligence European Workshop, Evora, Portugal, September 30 – October 3, 1996, edited by José Júlio Alferes, J. A. Leite, Luı́s Moniz Pereira, Halina Przymusinska, and Teodor C. Przymusinski, pp. 87–103. Berlin: Springer.
Massacci, Fabio. 1994. “Strongly Analytic Tableaux for Normal Modal Logics.” in, pp. 723–737.
Massacci, Fabio. 1995. “Superficial Tableau for Contextual Reasoning.” in, pp. 60–67.
Massacci, Fabio. 1996. “Contextual Reasoning Is NP-Complete.” in AAAI-96. Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference, edited by William J. Clancey and Daniel S. Weld, pp. 621–626. Menlo Park, California: The AAAI Press.
Massacci, Fabio. 2000. “Reduction Rules and Universal Variables for First Order Tableaux and DPLL.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 186–197. San Francisco, California: Morgan Kaufmann Publishers.