Title: Formal techniques in artificial intelligence
Subjects: Artificial intelligence