Title :
Remodeling temporal geometry
Author :
Van Benthem, Johan
Author_Institution :
Amsterdam Univ., Netherlands
Abstract :
Discusses semantic remodeling; temporal geometry; theories of states and paths; a hierarchy of modal fragments; correspondence and constraints; and model constructions
Keywords :
computational geometry; temporal logic; constraints; correspondence; modal fragment hierarchy; model constructions; paths; semantic remodeling; states; temporal geometry; Algebra; Artificial intelligence; Geometry; Logic functions; Logic programming; Ontologies; Reflection; Solid modeling; Wrapping;
Conference_Titel :
Temporal Representation and Reasoning, 1996. (TIME '96), Proceedings., Third International Workshop on
Conference_Location :
Key West, FL
Print_ISBN :
0-8186-7528-4
DOI :
10.1109/TIME.1996.555667
