Sökning: "Logical Framework"

Visar resultat 1 - 5 av 65 avhandlingar innehållade orden Logical Framework.

  1. 1. An implementation of Martin-Löf's logical framework

    Författare :Lena Magnusson; [1991]

    Sammanfattning : .... LÄS MER

  2. 2. The Mechanics of the Grammatical Framework

    Författare :Krasimir Angelov; [2011]
    Nyckelord :HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; type theory; PMCFG; natural language processing; Grammatical Framework;

    Sammanfattning : Grammatical Framework (GF) is a well known theoretical framework and a mature programming language for the description of natural languages. The GF community is growing rapidly and the range of applications is expanding. LÄS MER

  3. 3. Logical Dynamics and Dynamical Systems

    Detta är en avhandling från Media-Tryck, Lund University, Sweden

    Författare :Rasmus Kraemmer Rendsvig; [2018-02]
    Nyckelord :Formal epistemology; Modal logic; Dynamic epistemic logic; Dynamical systems; General topology;

    Sammanfattning : This thesis is on information dynamics modeled using *dynamic epistemic logic* (DEL). It takes the simple perspective of identifying models with maps, which under a suitable topology may be analyzed as *topological dynamical systems*. It is composed of an introduction and six papers. LÄS MER

  4. 4. Type Theory with First-Order Data Types and Size-Change Termination

    Detta är en avhandling från Media-Tryck, Lund University, Sweden

    Författare :David Wahlstedt; [2004]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Pattern-matching; Reducibility; Size-Change Termination; Logical Framework; Lambda-calculus; Term rewriting.; Type Theory; Dependent types; Normalization; Type system;

    Sammanfattning : We prove normalization for a dependently typed lambda-calculus extended with first-order data types and computation schemata for first-order size-change terminating recursive functions. Size-change termination, introduced by C.S. Lee, N. LÄS MER

  5. 5. Fundamentals and logical foundations of truth maintenance

    Detta är en avhandling från Linköping : Linköpings universitet

    Författare :Michael Reinfrank; [1989]

    Sammanfattning : Despite their importance in AI problem solving, nonmonotonic truth maintenance systems (TMSs) still lack sufficiently well-understood logical foundations. In this thesis, I present a rigorous logical theory of TMSs. I pursue a two-step, bottom-up approach. First, I specify a direct, but implementation-independent, theory of truth maintenance. LÄS MER