SciDok

Ihr Suchergebnis

Ergebnis 1 - 10 von 16  1   2  Blättern >>   Gehe zu Seite
von 2
1. Buchheit, Martin ; Bürckert, Hans-Jürgen ; Hollunder, Bernhard ; Laux, Armin ; Nutt, Werner ; Wójcik, Marek (1995) Task acquisition with a description logic reasoner Kaiserslautern ; Saarbrücken : DFKI, 1995 Report (Bericht)
 
2. Hollunder, Bernhard (1993) An alternative proof method for possibilistic logic and its application to terminological logics Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
3. 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)
 
4. Baader, Franz ; Buchheit, Martin ; Hollunder, Bernhard (1993) Cardinality restrictions on concepts Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
5. Bürckert, Hans-Jürgen ; Hollunder, Bernhard ; Laux, Armin (1993) Concept logics with function symbols Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
6. Baader, Franz ; Hollunder, Bernhard (1993) Embedding defaults into terminological knowledge representation formalisms Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
7. Bürckert, Hans-Jürgen ; Hollunder, Bernhard ; Laux, Armin (1993) On skolemization in constrained logics Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
8. Baader, Franz ; Hollunder, Bernhard (1992) How to prefer more specific defaults in terminological default logic Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
9. Achilles, Erich ; Hollunder, Bernhard ; Laux, Armin ; Mohren, Jörg-Peter (1991) KRIS : knowledge representation and inference system - Benutzerhandbuch - Report (Bericht)
 
10. Hollunder, Bernhard ; Baader, Franz (1991) Qualifying number restrictions in concept languages Kaiserslautern ; Saarbrücken : DFKI, 1991 Report (Bericht)
 
Ergebnis 1 - 10 von 16  1   2  Blättern >>   Gehe zu Seite
von 2

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