Search for dissertations about: "Description Logic"

Showing result 1 - 5 of 52 swedish dissertations containing the words Description Logic.

  2. 1. Quantum State Analysis : Probability theory as logic in Quantum mechanics

    Author : Anders Månsson; Anders Karlsson; Gunnar Björk; Ingemar Bengtsson; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; quantum; quantum mechanics; state; state analysis; probability; probability theory; logic; Photonics; Fotonik;

    Abstract : Quantum mechanics is basically a mathematical recipe on how to construct physical models. Historically its origin and main domain of application has been in the microscopic regime, although it strictly seen constitutes a general mathematical framework not limited to this regime. READ MORE

  4. 2. Pre-deployment Description Logic-based Reasoning for Cloud Infrastructure Security

    Author : Claudia Cauli; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal Methods; Automated Reasoning; Cloud; Security; Description Logic;

    Abstract : Ensuring the security of a cloud application is exceptionally challenging. Not only is cloud infrastructure inherently complex, but also a precise definition of what is secure is hard to give. READ MORE

  5. 3. A typology of classifiers and gender : From description to computation

    Author : Marc Tang; Michael Dunn; Christine Lamarre; Sebastian Fedden; Uppsala universitet; []
    Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; Classifiers; Gender; Nominal classification; Functions; Random Forests; Phylogeny; Word Embeddings; Neural Networks; Linguistics; Lingvistik;

    Abstract : Categorization is one the most relevant tasks realized by humans during their life, as we consistently need to categorize the things and experience that we encounter. Such need is reflected in language via various mechanisms, the most prominent being nominal classification systems (e.g. READ MORE

  6. 4. Reasoning with Bounded Cognitive Resources

    Author : Abdul Rahim Nizamani; Göteborgs universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Artificial general intelligence; logical reasoning; inductive learning; proof systems; bounded cognitive resources; cognitive modeling;

    Abstract : Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic systems is a major topic in computer science and artificial intelligence (AI). Programs for computer-assisted and automated theorem proving are being constructed and used by mathematicians and logicians. READ MORE

  7. 5. Preprojective Algebras of d-Representation Finite Species with Relations

    Author : Christoffer Söderberg; Martin Herschend; Grant Joseph; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : In this article we study the properties of preprojective algebras of representation finite species. To understand the structure of a preprojective algebra, one often studies its Nakayama automorphism. A complete description of the Nakayama automorphism is given by Brenner, Butler and King when the algebra is given by a path algebra. READ MORE