 | 1996 |
|---|
| 6 |       | Hans-Jürgen Bürckert,
Bernhard Hollunder,
Armin Laux:
On Skolemization in Constrained Logics.
Ann. Math. Artif. Intell. 18(2-4): 95-131 (1996) |
| 1995 |
|---|
| 5 | | Franz Baader,
Armin Laux:
Terminological Logics with Modal Operators.
IJCAI (1) 1995: 808-815 |
| 4 | | Martin Buchheit,
Hans-Jürgen Bürckert,
Bernhard Hollunder,
Armin Laux,
Werner Nutt,
Marek Wójcik:
Task Acquisition with a Description Logic Reasoner.
KI 1995: 125-136 |
| 1994 |
|---|
| 3 | | Armin Laux:
Beliefs in Multi-Agent Worlds: a Terminological Logics Approach.
ECAI 1994: 299-303 |
| 2 | | Hans-Jürgen Bürckert,
Bernhard Hollunder,
Armin Laux:
Concept Logics with Function Symbols.
ECAI 1994: 406-410 |
| 1992 |
|---|
| 1 | | Franz Baader,
Hans-Jürgen Bürckert,
Bernhard Hollunder,
Armin Laux,
Werner Nutt:
Terminologische Logiken.
KI 6(3): 23-33 (1992) |
