2003

Bertino, E. and Provetti, Alessandro and Salvetti, F. (2003) Local closed-world assumptions for reasoning about semantic web data. In: Buccafurri, F. (ed.) 2003 Joint Conference on Declarative Programming: AGP-2003. AGP, pp. 314-323.

2005

Bertino, E. and Provetti, Alessandro and Salvetti, F. (2005) Reasoning about RDF statements with default rules. In: UNSPECIFIED (ed.) W3C Workshop on Rule Languages for Interoperability. W3C.

2006

Amalfi, M. and Lo Presti, K. and Provetti, Alessandro and Salvetti, F. (2006) Finding instances of deduction and abduction in clinical experimental transcripts. In: Brewka, G. and Coradeschi, S. and Perini, A. and Traverso, P. (eds.) 17th European Conference on Artificial Intelligence: ECAI 2006. IOS Press 141. Frontiers in Artificial Intelligence and Applications, pp. 737-738. ISBN 9781586036423.