Options
Forschungszentrum Informationstechnik GmbH GMD
Planen und Konfigurieren
A constraint-based approach to spatiotemporal reasoning
MTMM - correcting and extending time map management
Über Verzweigung, Kulissen und das Yaler Schießen - Probleme beim reasoning about change
How to do things with worlds: On formalizing actions and plans
Was ist Expertise und wie bekommt man sie auf den Rechner?