| 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. |
Laux, Armin
(1993)
Representing belief in multi-agent worlds via terminological logics
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 5. |
Laux, Armin
(1992)
Integrating a modal logic of knowledge into terminological logics
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
