AC-KBO revisited.

Akihisa Yamada Sarah Winkler Nao Hirokawa Aart Middeldorp

Published in: Theory Pract. Log. Program. (2016)

Keyphrases

database
knowledge representation
state space
fine grained