SciDok

Ihr Suchergebnis

Ergebnis 1 - 7 von 7  1    Gehe zu Seite
von 1
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. Baader, Franz ; Laux, Armin (1994) Terminological logics with modal operators Kaiserslautern ; Saarbrücken : DFKI, 1994 Report (Bericht)
 
3. Bürckert, Hans-Jürgen ; Hollunder, Bernhard ; Laux, Armin (1993) Concept logics with function symbols Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
4. Bürckert, Hans-Jürgen ; Hollunder, Bernhard ; Laux, Armin (1993) On skolemization in constrained logics Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
5. Laux, Armin (1993) Representing belief in multi-agent worlds via terminological logics Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
6. Laux, Armin (1992) Integrating a modal logic of knowledge into terminological logics Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
7. Achilles, Erich ; Hollunder, Bernhard ; Laux, Armin ; Mohren, Jörg-Peter (1991) KRIS : knowledge representation and inference system - Benutzerhandbuch - Report (Bericht)
 
Ergebnis 1 - 7 von 7  1    Gehe zu Seite
von 1

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