The Hybrid Logic of Linear Set Spaces.

Bernhard Heinemann

Published in: Log. J. IGPL (2004)

Keyphrases

small number
databases
search engine
finite number
learning algorithm
artificial intelligence
knowledge base
case study
image sequences
search algorithm
multi objective
logic programming
np complete
user defined
modal logic
linear constraints