SemaLogic formulation of study regulations for the Master of Cognitive Systems at the University of Potsdam

This dataset contains machine-readable versions of the study regulations for the Master's programme "Cognitive Systems: Language, Learning and Reasoning" at the University of Potsdam. The regulations have been transformed into the technical and formal specification language SemaLogic.