Browsing Språk, logikk og informasjon (SLI) by Title

Now showing items 7-26 of 26

  • Exploring information use and information culture at health facility level in Cape Town, South Africa : a case study and discourse analysis 
    Østmo, Inger Elise (Master thesis / Hovedoppgave, 2007)
    Abstract This research is about health facility managers in Cape Town, South Africa – how they collect and use information for managing their health units and how an information culture is expressed in the facility ...
  • Formal modelling and analysis of the NORM multicast protocol using Real-Time Maude 
    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 ...
  • Fra SGML til begrunnede påstander om verden : et system for analyse av geografiske resonnementer uttrykt i historiske tekster 
    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 ...
  • Free variable sequent calculi 
    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 ...
  • Funksjon og objekt : fra Frege til Haskell 
    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 ...
  • Getting back on the trail : combating information overload with Topic Maps 
    Guescini, Rolf B. (Master thesis / Hovedoppgave, 2006)
    Information overload is not a recent problem that was born with the birth of the World Wide Web. It has been recognized for a long time, and most notably by Vannevar Bush more than 60 years ago, and presented in his famous ...
  • Hvem er du? : autentisering og formelle metoder 
    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) ...
  • Logical spaces in multi-modal only knowing logics 
    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 ...
  • Maskinell lesning av skjønnlitterære tekster 
    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? ...
  • Mekanisert snittsøk i elementær tallteori 
    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, ...
  • Modeling word senses with fuzzy clustering 
    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 ...
  • Morfosyntaktisk annotering av internettdokumenter 
    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 ...
  • Non-crossing, leftwards directed contingency functions on strings 
    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 ...
  • Rapid parser prototyping in Common Lisp 
    Nybø, Leif Christian (Master thesis / Hovedoppgave, 2005)
    The syntax and semantics of internet standards are most often specified in an Internet Request for Comments (RFC). The specification for the Hyper- text Transfer Protocol (HTTP) (RFC 2616) presents the grammar for its ...
  • Reasoning with preference in only knowing logic with confidence levels 
    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 ...
  • Representativity : weak interpretations of definite plural noun phrases 
    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. ...
  • The semantic representation of locatives in machine translation 
    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) ...
  • Studiar i bokmålsnaturen : via Bokmålsordboka, Norsk referansegrammatikk og HPSG 
    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 ...
  • Subject or Object? : Syntactic disambiguation in Norwegian, stochastic optimality theory and application in an automatic system 
    Ø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 ...
  • Universal Networking Language (UNL) som interlingua for maskinoversettelse 
    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 ...