Armin Laux

Task Acquisition with a Description Logic Reasoner

Werner Nutt, Bernhard Hollunder, Hans-Jürgen Bürckert, 1995, KI.

Terminologische Logiken

Werner Nutt, Franz Baader, Bernhard Hollunder, 1992, Künstliche Intell..

KRIS : knowledge representation and inference system - Benutzerhandbuch -

Bernhard Hollunder, Jörg-Peter Mohren, Armin Laux, 1991 .

On Skolemization in constrained logics

Bernhard Hollunder, Hans-Jürgen Bürckert, Armin Laux, 1996, Annals of Mathematics and Artificial Intelligence.

Beliefs in Multi-Agent Worlds: a Terminological Logics Approach

Armin Laux, A. Laux, 1994, European Conference on Artificial Intelligence.

Terminological Logics with Modal Operators

Franz Baader, Armin Laux, F. Baader, 1995, IJCAI.

Constraints and modalities in terminological knowledge representation systems

Armin Laux, 1995 .

Concept Logics with Function Symbols

Bernhard Hollunder, Hans-Jürgen Bürckert, Armin Laux, 1994, ECAI.

Representing belief in multi-agent worlds via terminological logics

Armin Laux, 1993 .

Knowledge and belief in philosophy and artificial intelligence

Heinrich Wansing, Armin Laux, H. Wansing, 1995 .