Title: Logical Foundations of Artificial Intelligence