IK 2004 - back again in Günne.

Bettina Bläsing Jan-Henning Dirks Jure Zakotnik Axel Schneider

Published in: Künstliche Intell. (2004)

Keyphrases

databases
artificial intelligence
object oriented
information retrieval systems
propositional formulas
computational complexity
graphical models
upper bound
relational databases
propositional logic
randomly generated
genetic algorithm
scheduling problem
utility function
modal logic