SciDok

Ihr Suchergebnis

Ergebnis 1 - 10 von 22  1   2   3  Blättern >>   Gehe zu Seite
von 3
1. Baader, Franz ; Buchheit, Martin ; Jeusfeld, Manfred A. ; Nutt, Werner (1995) Working notes of the KI'95 Workshop : KRDB-95 - Reasoning about structured objects : knowledge representation meets databases ; Bielefeld, Germany, Sept. 11-12, 1995 Report (Bericht)
 
2. Baader, Franz ; Laux, Armin (1994) Terminological logics with modal operators Kaiserslautern ; Saarbrücken : DFKI, 1994 Report (Bericht)
 
3. Baader, Franz ; Buchheit, Martin ; Jeusfeld, Manfred A. ; Nutt, Werner (1994) Working notes of the KI'94 Workshop: KRDB'94 - Reasoning about structured objects : knowledge representation meets databases ; Saarbrücken, September 20-22, 1994 Report (Bericht)
 
4. Baader, Franz ; Schlechta, Karl (1993) A semantics for open normal defaults via a modified preferential approach Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
5. Baader, Franz ; Hollunder, Bernhard ; Nebel, Bernhard ; Profitlich, Hans-Jürgen ; Franconi, Enrico (1993) An empirical analysis of optimization techniques for terminological representation systems : or: 'Making KRIS get a move on' Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
6. Baader, Franz ; Buchheit, Martin ; Hollunder, Bernhard (1993) Cardinality restrictions on concepts Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
7. Baader, Franz ; Schulz, Klaus U. (1993) Combination techniques and decision problems for disunification Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
8. Baader, Franz ; Hollunder, Bernhard (1993) Embedding defaults into terminological knowledge representation formalisms Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
9. Baader, Franz ; Hanschke, Philipp (1992) Extensions of concept languages for a mechanical engineering application Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
10. Baader, Franz ; Hollunder, Bernhard (1992) How to prefer more specific defaults in terminological default logic Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
Ergebnis 1 - 10 von 22  1   2   3  Blättern >>   Gehe zu Seite
von 3

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English