Sökning: "logical frameworks"
Visar resultat 1 - 5 av 17 avhandlingar innehållade orden logical frameworks.
1. Norms and Alternatives : Logical Aspects of Normative Reasoning
Sammanfattning : In this thesis, I develop and investigate various novel semantic frameworks for deontic logic. Deontic logic concerns the logical aspects of normative reasoning. In particular, it concerns reasoning about what is required, allowed and forbidden. I focus on two main issues: free-choice reasoning and the role of norms in deontic logic. LÄS MER
2. Relations in Dependent Type Theory
Sammanfattning : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. LÄS MER
3. Reflection Principles in Computational Logic
Sammanfattning : We introduce the concept of reflection principles as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of logic schemata intended to capture the basic properties of the domain knowledge to be modelled. LÄS MER
4. The human dimension in TQM : learning, training and motivation
Sammanfattning : The overall aim of this dissertation is to study and to explore the human dimension in TQM with focus on learning, training and motivation. The exploration of the evolution of TQM depict the theory of TQM as shaped from a narrow mechanistic apporach to a more humanistic apporach with focus on the human dimension thgough Japanese managerial practices inspired by ideas from western theoreticians. LÄS MER
5. Geographical Information Technologies – Decision Support for Road Maintenance in Uganda
Sammanfattning : This study set out to develop a framework within which the use of Geographical Information Technologies (GITs) can be enhanced in Road Infrastructure Maintenance (RIM) in Uganda. Specifically it was guided by 3 objectives; 1. To assess the gaps in the use of GITs for RIM in Uganda and the limitations to accessing these technologies, 2. LÄS MER