AC-KBO Revisited.

Akihisa Yamada Sarah Winkler Nao Hirokawa Aart Middeldorp

Published in: FLOPS (2014)

Keyphrases

databases
special case
neural network
artificial intelligence
fuzzy sets
arc consistency