Dimitrios Plexousakis

• An ontology and a possible-worlds semantics for telos
• On the efficient maintenance of temporal integrity in knowledge bases