Spelling suggestions: "subject:"axiomatic"" "subject:"axiomatise""
1 |
Zur axiomatischen Fundierung und Struktur von AktienkursindizesSüslü, Mustafa Kemal, January 2006 (has links)
Ulm, Univ. Diss., 2006.
|
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ändigungFrank, 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 VersionKriegel, 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.
|
Page generated in 0.0523 seconds