SSP Group Meeting
Wednesday, July 22nd, 11am-12pm
Department of Artificial Intelligence, 80 South Bridge, Room F13


Knowledge Sharing between Logics

David Robertson, Flavio Correa da Silva and Wamberto Vasconcelos

I suggest that we discuss the thoughts we have had about knowledge sharing between logics, based on the things we have been discussing in the last few days (see The First Workshop on Formal Methods in Knowledge Sharing).