Exploring modal worlds.

Han-Hing Dang Roland Glück Bernhard Möller Patrick Roocks Andreas Zelend

Published in: J. Log. Algebraic Methods Program. (2014)

Keyphrases

modal logic
website
case study
image sequences
databases
real world
information retrieval
genetic algorithm
search engine
clustering algorithm
data structure
search algorithm