Computing Characteristic Sets of Bounded Unions of Polynomial Ideals.

Itsuo Takamatsu Masanori Kobayashi Hiroo Tokunaga Akihiro Yamamoto

Published in: JSAI (2007)

Keyphrases

genetic algorithm
partially ordered
lagrange interpolation
database
real time
information systems
training data
evolutionary algorithm
logic programs
definite clause