Title: Artificial Intelligence Logic and Applications