NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 4 of 4 for “"Beschreibungslogiken"”.

  1. Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken

    Molitor, RalfPublikationsserver der RWTH Aachen University2000

    In chemical process engineering, as in many other application domains, one is interested in a structured representation and storage of domain specific knowledge. As shown in a cooperation between the Department for Process Engineering and the Teaching and Research Area for Theoreticel Computer …

    aachen Repository record

  2. Beschreibungslogiken zur Behandlung von unscharfem Wissen im Kontext eines medizinischen Anwendungsszenarios

    Tresp, ChristopherShaker1999

    aachen Repository record

  3. To and Fro Between Tableaus and Automata for Description Logics

    Hladik, JanTechnische Universität Dresden

    Beschreibungslogiken (Description logics, DLs) sind eine Klasse von Wissensrepraesentationsformalismen mit wohldefinierter, logik-basierter Semantik und entscheidbaren Schlussfolgerungsproblemen, wie z.B. dem Erfuellbarkeitsproblem. Zwei wichtige Entscheidungsverfahren fuer das …

    qucosa-diss

  4. Action, Time and Space in Description Logics

    Milicic, MajaTechnische Universität Dresden

    Description Logics (DLs) are a family of logic-based knowledge representation (KR) formalisms designed to represent and reason about static conceptual knowledge in a semantically well-understood way. On the other hand, standard action formalisms are KR formalisms based on classical logic designed …

    qucosa-diss