Gerard Ligozat

• Logical tools for temporal knowledge representation
• Spatial and Temporal Reasoning