LITO - A Logic For Indeterminate Temporal Objects.

Ed Porto Bezerra Ulrich Schiel Bernardo Lula Jr.

Published in: DEXA Workshops (2004)

Keyphrases

spatio temporal
d objects
logic programming
object model
linear temporal logic
temporal information
modal logic
spatial objects
classical logic
database
neural network
computer vision
object oriented
spatial and temporal
spatial relationships