Stefano Zanobini (zanobini-s)

Contributi a Philosophie.ch

Bibliography

Bouquet, Paolo, Magnini, Bernardo, Serafini, Luciano and Zanobini, Stefano. 2003. “A SAT-Based Algorithm for Context Matching.” in CONTEXT’03. Modeling and Using Context: Proceedings of the Fourth International and Interdisciplinary Conference, edited by Patrick Blackburn, Fausto Giunchiglia, Chiara Ghidini, and Roy M. Turner, pp. 66–79. Lecture Notes in Computer Science n. 2680. Berlin: Springer.