Sökning: "Networks and Analytics lab Decisions"

Hittade 2 avhandlingar innehållade orden Networks and Analytics lab Decisions.

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

   Författare :Per Kreuger; RISE; []
   Nyckelord :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.;

   Sammanfattning : 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. LÄS MER

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

   Författare :Björn Bjurling; RISE; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : .... LÄS MER