logic and automated reasoning lecture 17 information integration 20751