Avancerad sökning
Visar resultat 1 - 5 av 77 avhandlingar som matchar ovanstående sökkriterier.
1. An implementation of Martin-Löf's logical framework
Sammanfattning : .... LÄS MER
2. The Mechanics of the 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. Logical Dynamics and Dynamical Systems
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. Type Theory with First-Order Data Types and Size-Change Termination
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. Fundamentals and logical foundations of truth maintenance
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