Axiomatization of semigroup consequences.

Wolfgang Rautenberg

Published in: Arch. Math. Log. (1989)

Keyphrases

situation calculus
evolutionary algorithm
databases
active learning
artificial intelligence
relational databases
negative consequences
database systems
multi objective
knowledge discovery