Francesco Buccafurri (buccafurri)

Contributi a Philosophie.ch

Bibliography

Buccafurri, Francesco, Eiter, Thomas, Gottlob, Georg and Leone, Nicola. 1999. “Enhancing Model Checking in Verification by AI Techniques.” Artificial Intelligence 112(1–2): 57–104.
Buccafurri, Francesco, Leone, Nicola and Rullo, Pasquale. 1998. “Disjunctive Ordered Logic: Semantics and Expressiveness.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 416–429. San Francisco, California: Morgan Kaufmann Publishers.