Helene Bestougeff

Logical tools for temporal knowledge representation