Apparently, this user prefers to keep an air of mystery about them.
1 Tool for specifying operational semantics for given formally specified programming language Mar 5 '14
1 Is there good open source project that apply semantic web, modal logics, and similar technologies Aug 22 '13
0 How to specify and verify Horn clauses (logic programming programs)? Semantics of Horn clauses Feb 7