Now showing items 1-20 of 25

  • Torkildsen, Janne von Koss (Master thesis / Hovedoppgave, 2002)
    1.1 The Romans built this bridge. What does it take to make 1.1 true? Surely we do not require that every single Roman participated in the building of the bridge. In other words, we do not view 1.1. as equivalent to 1.2. ...
  • Bergli, Elise (Master thesis / Hovedoppgave, 2002)
    The results presented in this thesis are small additions to the field known as the theory of formal languages. The central theme is logical characterisations of language classes using contingency functions on strings, that ...
  • Wik, Preben (Master thesis / Hovedoppgave, 2002)
    Cognitive science is the interdisciplinary study of cognition, mind and intelligence that has come out of the bridging between philosophy, psychology, artificial intelligence, neuroscience, linguistics, and anthropology. ...
  • Bergem, Line (Master thesis / Hovedoppgave, 2002)
    Det går flere linjer fra filosofi til informatikk. En av disse linjene har utgangspunkt i Freges arbeid med logikk og språkfilosofi. En annen linje har utgangspunkt i Husserls teori om mental representasjon av objekter. I ...
  • Haugen, Marit Gressli (Master thesis / Hovedoppgave, 2003)
    Sammendrag: Oppgaven handler om maskinell lesning av skjønnlitterære tekster og tar for seg en rekke spørsmål knyttet til temaet. Hva vil det si å forstå en tekst og hva skal til for å oppnå maskinell forståelse av tekst? ...
  • Velldal, Erik (Master thesis / Hovedoppgave, 2003)
    This thesis describes a clustering approach to automatically inferring soft semantic classes and characterizing senses of a set of Norwegian nouns. The words are represented by way of their distribution in text, identified ...
  • Øvrelid, Lilja (Master thesis / Hovedoppgave, 2003)
    (1) a. Jenta skrev brevet girl-DEF wrote letter-DEF ‘The girl wrote the letter’ b. Brevet skrev jenta letter-DEF wrote girl-DEF ‘The letter, the girl wrote’ The minimal pair in (1) above ...
  • Holberg, Ragnhild (Master thesis / Hovedoppgave, 2003)
    En søkemotors forståelse begrenser seg til mønstergjenkjenning. De fleste søkemotorer jobber etter prinsipper som forutsetter at den nøyaktige søketermsekvensen forekommer i et dokument for at det skal bli ansett som ...
  • Jonsdottir, Andra Bjork (Master thesis / Hovedoppgave, 2003)
    Understanding names and their reference is central to the analysis of unrestricted texts and poses a significant challenge for a number of Natural Language Processing (NLP) applications. Named Entity Recognition serves as ...
  • Brændeland, Gyrd (Master thesis / Hovedoppgave, 2003)
    Jeg viser at man for enhver funksjon f i en delmengde av de Kalmárelementære funksjonene kan konstruere bevis for utsagn på formen N{f(m_1,…m_n)} med høyde lineær i m_1,...,m_n. Delmengden består av de elementære funksjonene, ...
  • Hoemsnes, Olav Andreas (Master thesis / Hovedoppgave, 2003)
    Dette arbeidet handler om autentiseringsprotokoller og ulike formelle metoder som benyttes i arbeidet med dem. I oppgaven benytter jeg de metodene ASM (Abstrakte tilstandsmaskiner), og AsmL (Abstrakt tilstandsmaskinspråk) ...
  • Hellebø, Leiv (Master thesis / Hovedoppgave, 2003)
    Eg har hatt tilgang til bokmålsmaterialet frå Norsk Ordbank. Det har leidd meg følgjande: Eg granskar nøye bøyingsregimet i Bokmålsordboka. Eg knyt bokmålsleksema til bøyingsgrupper avleidde frå Tabellmaterialet. Eg ...
  • Antonsen, Roger (Master thesis / Hovedoppgave, 2003)
    This is a thesis about free variable sequent calculi for first-order languages without equality. A brief summary: Chapter 1 and 2 are mainly background material. Chapter 3 introduces a way of representing and reasoning ...
  • Priestley, Joel (Master thesis / Hovedoppgave, 2003)
    The project investigates the use of Abstract State Machine in the process of computer program compilation. Compilation is to produce machine-code from a source program written in a high-level language. A compiler is a ...
  • Lervik, John B. (Master thesis / Hovedoppgave, 2004)
    Nøkkelord: Maskinoversettelse, automatisk oversettelse, interlingua, representasjon av mening, formell semantikk, UNL, UNLP, UNDL. Universal Networking Language (UNL) er et elektronisk interlingua (mellomspråk) med et ...
  • Eide, Øyvind (Master thesis / Hovedoppgave, 2004)
    I denne oppgaven undersøkes nye måter å løse kildehenvisningsproblemene på i en digital tid. Jeg foreslår et system som kobler sammen kildetekst og analyser i et integrert dataprogram. I tillegg til selve analysene gir ...
  • Lien, Elisabeth (Master thesis / Hovedoppgave, 2004)
    Over the past decades, society has become increasingly dependent on computer technology, which makes it more and more important to ensure that computer systems function correctly. Most larger computer systems are distributed ...
  • Solhaug, Bjørnar (Master thesis / Hovedoppgave, 2004)
    Nonmonotonic logics are logics capable of formalizing defeasible inferences, i.e. inferences leading to conclusions that are withdrawn in case additional information, or additional premises, contradicts the defeasible ...
  • Jørgensen, Fredrik (Master thesis / Hovedoppgave, 2004)
    (1) Musa løp under bordet. 'The mouse ran under the table.' (2) Under bordet er et fint sted å gjemme seg. 'Under the table is a good place to hide.' Locative prepositional phrases, as seen in (1) and (2) ...
  • Engan, Iselin (Master thesis / Hovedoppgave, 2005)
    The purpose of this thesis is to present an autoepistemic approach to preference reasoning. The method controls the generation of extensions by first linking doxastic representations in a hierarchy, and then by ensuring ...