NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 11
  • 4
  • Tagged with
  • 15
  • 15
  • 6
  • 6
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 10 of 15 (0.077 seconds)

Spelling suggestions: "subject:"terminologische logik"" "subject:"terminologische gogik""

1

Non-standard inferences in description logics /

Küsters, Ralf. January 2001 (has links)
Techn. Hochsch., Diss.--Aachen, 2000. / Includes bibliographical references (p. [235] - 244) and index.
2

Relational exploration combining description logics and formal concept analysis for knowledge specification /

Rudolph, Sebastian. January 2007 (has links)
Techn. University, Diss., 2006--Dresden.
3

Integration von Features und Constraints in einen terminologischen Wissensrepräsentationsformalismus

Raichle, Bernd. January 1992 (has links)
Stuttgart, Univ., Fakultät Informatik, Diplomarb., 1992.
4

The complexity of description logics with concrete domains

Lutz, Carsten. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2002--Aachen.
5

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

Molitor, Ralf. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2000--Aachen.
6

Sales advisory system a case study in applying knowledge representation systems /

Thakar, Sunil. Unknown Date (has links) (PDF)
Techn. University, Diss., 2001--Berlin.
7

Flexible und konfigurierbare Software-Architekturen für datenintensive ontologiebasierte Informationssyssteme

Wessel, Michael January 2008 (has links)
Zugl.: Hamburg, Techn. Univ., Diss., 2008
8

Complexity results and practical algorithms for logics in knowledge representation

Tobies, Stephan. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2001--Aachen.
9

Resolution-based decision procedures for subclasses of first-order logic

Hustadt, Ullrich. Unknown Date (has links) (PDF)
University, Diss., 1999--Saarbrücken.
10

Semantische Modellierung und Reasoning für Kontextinformationen in Infrastrukturnetzen

Fuchs, Florian January 2008 (has links)
Zugl.: München, Univ., Diss., 2008

Page generated in 0.0806 seconds