1996
On Skolemization in Constrained Logics.
Ann. Math. Artif. Intell., 1996

1995
Constraints and modalities in terminological knowledge representation systems.
PhD thesis, 1995

Task Acquisition with a Description Logic Reasoner.
Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

Terminological Logics with Modal Operators.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
Beliefs in Multi-Agent Worlds: a Terminological Logics Approach.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

Concept Logics with Function Symbols.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1992
Terminologische Logiken.
Künstliche Intell., 1992