NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 5
  • 1
  • Tagged with
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 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 6 of 6 (0.046 seconds)

Spelling suggestions: "subject:"axiomatic"" "subject:"axiomatise""

1

Zur axiomatischen Fundierung und Struktur von Aktienkursindizes

Süslü, Mustafa Kemal, January 2006 (has links)
Ulm, Univ. Diss., 2006.
Aktienindex. Axiomatik.
2

Die kontingenten Aussagen in der Physik; axiomatische Untersuchungen zur Ontologie der klassischen Physik und der Quantentheorie.

Scheibe, Erhard. January 1964 (has links)
Habilitationsschrift--Hamburg.
3

Anleitung zum Dialog Grundlagen interreligiöser Verständigung

Frank, Jochen January 2006 (has links)
Zugl.: Tübingen, Univ., Diss., 2006 u.d.T.: Frank, Jochen: Axiomatische Systeme im interreligiösen Dialog
4

Anleitung zum Dialog : Grundlagen interreligiöser Verständigung /

Frank, Jochen. January 2007 (has links)
Univ., Diss. u.d.T.: Frank, Jochen: Axiomatische Systeme im interreligiösen Dialog--Tübingen, 2006.
5

Anleitung zum Dialog : Grundlagen interreligiöser Verständigung /

Frank, Jochen. January 2007 (has links)
Thesis--Tübingen, 2006 (Axiomatische Systeme im interreligiösen Dialog). / Includes bibliographical references (p. 199-207).
6

Joining implications in formal contexts and inductive learning in a Horn description logic: Extended Version

Kriegel, Francesco 20 June 2022 (has links)
A joining implication is a restricted form of an implication where it is explicitly specified which attributesmay occur in the premise and in the conclusion, respectively. A technique for sound and complete axiomatization of joining implications valid in a given formal context is provided. In particular, a canonical base for the joining implications valid in a given formal context is proposed, which enjoys the property of being of minimal cardinality among all such bases. Background knowledge in form of a set of valid joining implications can be incorporated. Furthermore, an application to inductive learning in a Horn description logic is proposed, that is, a procedure for sound and complete axiomatization of Horn-M concept inclusions from a given interpretation is developed. A complexity analysis shows that this procedure runs in deterministic exponential time.
info:eu-repo/classification/ddc/004
ddc:004

Page generated in 0.0695 seconds