Pascale Hors

According to our database, Pascale Hors authored at least 2 papers between 1993 and 1996.

Collaborative distances:

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

1996

Modeling and Verifying Complex Objects: A Declarative Approach Based on Description Logics.

Marie-Christine Rousset, Pascale Hors

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1993

Consistency of Structured Knowledge: A Formal Framework Based on Description Logics.

Pascale Hors, Marie-Christine Rousset

Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, 1993