knub/onehundredandeighty — pull request #2 by domoritz (2012-04-16 17:59:14+00:00)
Title: added LVs

Added some LVs from the Uni Potsdam

* Künstliche Intelligenz
* Angewandte Logik