Title: Formal Techniques in Artificial Intelligence