On "Logical Foundations of Artificial Intelligence". A Response to the Reviews by S. Smoliar and J. Sowa