Search for dissertations about: "Networks and Analytics lab. Decisions"

Found 2 swedish dissertations containing the words Networks and Analytics lab. Decisions.

2. 1. Computational Issues in Calculi of Partial Inductive Definitions

   Author : Per Kreuger; RISE; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theory of computation; algorithms; logic; proof-theory; partial inductive defi-nitions; definitional reflection; disunification; closure; completion; negation; constructive negation; quantification; logic programming; meta programming; quantification; skolemization; self-reference; program semantics; declarative control; proof-search; theorem-proving.;

   Abstract : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. READ MORE

4. 2. A Labelled Deductive System for Reasoning about Random Experiments

   Author : Björn Bjurling; RISE; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : .... READ MORE