SciDok

Ihr Suchergebnis

Ergebnis 1 - 10 von 16  1   2  Blättern >>   Gehe zu Seite
von 2
1. Buchheit, Martin ; Donini, Francesco M. ; Nutt, Werner ; Schaerf, Andrea (1995) A refined architecture for terminological systems : terminology = schema + views Kaiserslautern ; Saarbrücken : DFKI, 1995 Report (Bericht)
 
2. Buchheit, Martin ; Klein, Rüdiger ; Nutt, Werner (1995) Constructive problem solving : a model construction approach towards configuration Kaiserslautern ; Saarbrücken : DFKI, 1995 Report (Bericht)
 
3. 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)
 
4. Donini, Francesco M. ; Lenzerini, Maurizio ; Nardi, Daniele ; Nutt, Werner (1995) The complexity of concept languages Kaiserslautern ; Saarbrücken : DFKI, 1995 Report (Bericht)
 
5. 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)
 
6. 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)
 
7. Donini, Francesco M. ; Lenzerini, Maurizio ; Nardi, Daniele ; Nutt, Werner ; Schaerf, Andrea (1993) Queries, rules and definitions as epistemic statements in concept languages Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
8. Buchheit, Martin ; Jeusfeld, Manfred A. ; Nutt, Werner ; Staudt, Martin (1993) Subsumption between queries to object-oriented databases Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
9. Bürckert, Hans-Jürgen ; Nutt, Werner (1992) On abduction and answer generation through constrained resolution Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
10. Nutt, Werner (1992) Unification in monoidal theories is solving linear equations over semirings Kaiserslautern ; Saarbrücken : DFKI, 1992 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