Linear Tense Logics of Increasing Sets.

Bernhard Heinemann

Published in: J. Log. Comput. (2002)

Keyphrases

real world
database
real time
artificial intelligence
databases
genetic algorithm
computer vision
knowledge base
linear model
convex sets
conditional logic