Formal methods in artificial intelligence | lit.salon