Sökning: "Logic Programming"

Visar resultat 21 - 25 av 78 avhandlingar innehållade orden Logic Programming.

  1. 21. Molecular Electronics - Modeling, Devices and Architecture

    Författare :Jonas Sköldberg; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Molecular electronics; memristor; self-assembly; threshold logic; switching networks; hybrid devices; NDR; hysteresis; reconfigurable logic; nanocell;

    Sammanfattning : Molecular electronics is an area of micro/nanoelectronics with a number of farreaching goals and challenges: denser implementation of electronic memory and logic, less expensive manufacturing, smaller or more sensitive measurement devices, selfassembly of devices and systems and, last but not least, exploring new science and applications.In recent years, molecular electronics has expanded into a broader field of molecular-scale electronics, partly because molecular components have to be defined in solid-state contexts via lithography and self-assembly, and effectively become hybrid devices with new and interesting properties. LÄS MER

  3. 22. Dependent Type Theory with Parameterized First-Order Data Types and Well-Founded Recursion

    Författare :David Wahlstedt; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : We present a variation of Martin-Löf's logical framework with "beta-iota-equality", extended with first-order parameterized algebraic data types and recursive pattern-matching definitions. Our contribution is a proof of normalization for the proposed system, from which we obtain decidable type-correctness. LÄS MER

  4. 23. Semantic Inspection of Software Artifacts From Theory to Practice

    Författare :Tim Heyer; Ulf Nilsson; Anders Törne; Staffan Bonnier; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Software development process; programming; program language; UML; Computer science; Datavetenskap;

    Sammanfattning : Providing means for the development of correct software still remains a central challenge of computer science. In this thesis we present a novel approach to tool-based inspection focusing on the functional correctness of software artifacts. LÄS MER

  5. 24. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory

    Författare :Andrea Vezzosi; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Conversion; Parametricity; Higher Inductive Types; Sized Types; Dependent Types; Type Theory; Guarded Types;

    Sammanfattning : Martin Löf Type Theory, having put computation at the center of logical reasoning, has been shown to be an effective foundation for proof assistants, with applications both in computer science and constructive mathematics. One ambition though is for MLTT to also double as a practical general purpose programming language. LÄS MER

  7. 25. Representing and Reasoning about Complex Human Activities - an Activity-Centric Argumentation-Based Approach

    Författare :Esteban Guerrero Rosero; Helena Lindgren; Juan Carlos Nieves; Chris Reed; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Complex activity; Argumentation Theory; Activity Theory; Logic programming; Knowledge representation; Common-sense reasoning; Artificial Intelligence; business data processing; administrativ databehandling;

    Sammanfattning : The aim of this thesis is to develop theories and formal methods to endow a computing machinery with capabilities to identify, represent, reason and evaluate complex activities that are directed by an individual’s needs, goals, motives, preferences and environment, information which can be inconsistent and incomplete.Current methods for formalising and reasoning about human activity are typically limited to basic actions, e. LÄS MER