On Skolemization in Constrained Logics.
Ann. Math. Artif. Intell., 1996
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
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