Armin Laux

Publication Activity (10 Years)

Years Active: 1992-1996
Publications (10 Years): 0

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
On Skolemization in Constrained Logics. Ann. Math. Artif. Intell. 18 (2-4) (1996)
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)
Franz Baader, Armin Laux
Terminological Logics with Modal Operators. IJCAI (1) (1995)
Armin Laux
Beliefs in Multi-Agent Worlds: a Terminological Logics Approach. ECAI (1994)
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
Concept Logics with Function Symbols. ECAI (1994)
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
Terminologische Logiken. Künstliche Intell. 6 (3) (1992)