Meeting 31.10.2016

Alex has implemented pattern unification. At the time of the meeting there were still some bugs in the implementation.

There will be a poster presentation about the results of the computational metaphysics lecture. The poster presentation will be at the Urania.

Alex and Max currently work on a paper about embedding multi valued logics into HOL.

Max continued his work on dissecting the sequential parts. He now finished extracting unification. The next step is to parallelize unification.

He also worked on an interface for scheduled rule applications.