Master projects - Logic and Natural language
Available master projects
| Summary | Type | Published | Supervisor(s) |
| (Re-)Ranking Candidate Translations The LOGON Machine Translation system builds on a combination of grammar-based parsing (of Norwegian), semantic transfer, and tactical generation (i... Read more |
60 ECTS | 02.11.2007 | Stephan Oepen |
| Grid Parsing:Distributed Natural Language Analysis Natural language analysis (aka parsing) with broad-coverage precision grammars has matured to a point that facilitates its application to large col... Read more |
60 ECTS | 19.11.2007 | Stephan Oepen |
| A Tag Sequence Grammar for Norwegian The RASP parser for English combines (a) a part-of-speech (PoS) tagger, (b) a linguistic grammar of tag sequences, and (c) a stochastic disambiguat... Read more |
60 ECTS | 19.11.2007 | Stephan Oepen |
| Visualization and Manipulation... Visualization and Manipulation of Linguistic Data StructuresComputational Linguistics makes heavy use of specialized data structures, including lab... Read more |
60 ECTS | 19.11.2007 | Stephan Oepen |
| Master project in logic The project is in proof theory where we investigate incompleteness phenomena - given a formal framework built over a datastructure there will be pr... Read more |
60 ECTS | 26.11.2007 | Herman Ruge Jervell |
| Master project in logic The project is in proof theory where we investigate incompleteness phenomena - given a formal framework built over a datastructure there will be pr... Read more |
60 ECTS | 26.11.2007 | Herman Ruge Jervell |
| Master project in logic The project is in proof theory where we investigate incompleteness phenomena - given a formal framework built over a datastructure there will be pr... Read more |
60 ECTS | 26.11.2007 | Herman Ruge Jervell |
| Master project in logic The project is in proof theory where we investigate incompleteness phenomena - given a formal framework built over a datastructure there will be pr... Read more |
60 ECTS | 26.11.2007 | Herman Ruge Jervell |
| Master project in logic The project is in proof theory where we investigate incompleteness phenomena - given a formal framework built over a datastructure there will be pr... Read more |
60 ECTS | 26.11.2007 | Herman Ruge Jervell |
| Master project in logic The project is in proof theory where we investigate incompleteness phenomena - given a formal framework built over a datastructure there will be pr... Read more |
60 ECTS | 26.11.2007 | Herman Ruge Jervell |
| Master project in logic The project is in proof theory where we investigate incompleteness phenomena - given a formal framework built over a datastructure there will be pr... Read more |
60 ECTS | 26.11.2007 | Herman Ruge Jervell |