Armin Laux

According to our database, Armin Laux authored at least 7 papers between 1992 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

On Skolemization in Constrained Logics.

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

Ann. Math. Artif. Intell., 1996

1995

Constraints and modalities in terminological knowledge representation systems.

Armin Laux

PhD thesis, 1995

Task Acquisition with a Description Logic Reasoner.

Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik

Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

Terminological Logics with Modal Operators.

Franz Baader, Armin Laux

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Beliefs in Multi-Agent Worlds: a Terminological Logics Approach.

Armin Laux

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

Concept Logics with Function Symbols.

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

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1992

Terminologische Logiken.

Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt

Künstliche Intell., 1992