Nettsider med emneord «Logics»

Publisert 19. aug. 2018 13:04

This is a general topic regarding electronic legal contracts and their semantics. Here the student can choose various topics to focus on, depending on the interest, which we find out together through discussions.

One can do various kinds of MSc theses, starting from just programming a simple tool related to some forms of electronic contracts like the Terms of Services (ToS) from online services , or a literature study, or doing modelling of real contracts, e.g. the ToS from Amazon, or using existing tools for NLP or CNL, or doing mathematical work on the logical foundations of all these tools and techniques.

Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.