αρχείο Email: The logic of knowledge bases /