Sökning: "Logical Framework"

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

  1. 1. 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

  2. 2. Logical Dynamics and Dynamical Systems

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

    Författare :Rasmus Kraemmer Rendsvig; Lund University.; Lunds universitet.; [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

  3. 3. 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

  4. 4. Fundamentals and logical foundations of truth maintenance

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

    Författare :Michael Reinfrank; Linköpings universitet.; Linköpings universitet.; [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

  5. 5. DyKnow A Stream-Based Knowledge Processing Middleware Framework

    Detta är en avhandling från Linköping : Linköping University Electronic Press

    Författare :Fredrik Heintz; Linköpings universitet.; Linköpings universitet.; [2009]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Sammanfattning : As robotic systems become more and more advanced the need to integrate existing deliberative functionalities such as chronicle recognition, motion planning, task planning, and execution monitoring increases. To integrate such functionalities into a coherent system it is necessary to reconcile the different formalisms used by the functionalities to represent information and knowledge about the world. LÄS MER