Baader, Franz and
Laux, Armin. 1995.
“Terminological Logics with Modal Operators.” in
IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S.
Mellish and C. Raymond
Perrault, pp. 808–814. San Francisco, California: Morgan Kaufmann Publishers.
Gräber, Andrea,
Bürkert, Hans-Jürgen and
Laux, Armin. 1995.
“Terminological Reasoning with Knowledge and Belief.” in
Knowledge and Belief in Philosophy and Artificial Intelligence, edited by Armin
Laux and Heinrich Theodor
Wansing, pp. 29–64. Berlin: Akademie Verlag.
Laux, Armin and
Wansing, Heinrich Theodor, eds. 1995.
Knowledge and Belief in Philosophy and Artificial Intelligence. Berlin: Akademie Verlag.