Elżbieta Hajnicz

• Time structures
• Formalizacja systemu wnioskowania o zależnościach czasowych między zdarzeniami
• Implementacja dat względnych w systemie wnioskowania o zależnościach czasowych między zdarzeniami
• Reprezentowanie w hierarchii dziedzin informacji zmieniającej się w czasie