Roberto Sebastiani (sebastiani-r)

Contributions to Philosophie.ch

Bibliography

Bundy, Alan, Giunchiglia, Fausto, Sebastiani, Roberto and Walsh, Toby. 1996. “Calculating Criticalities.” Artificial Intelligence 88(1–2): 39–67.
Giunchiglia, Enrico, Giunchiglia, Fausto, Sebastiani, Roberto and Tacchella, Armando. 1998. “More Evaluation of Decision Procedures for Modal Logics.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 626–635. San Francisco, California: Morgan Kaufmann Publishers.
Giunchiglia, Fausto and Sebastiani, Roberto. 1996. “A SAT-Based Decision Procedure for ALC.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 304–314. San Francisco, California: Morgan Kaufmann Publishers.