Computing Diverse Optimal Stable Models.

Javier Romero Torsten Schaub Philipp Wanko

Published in: ICLP (Technical Communications) (2016)

Keyphrases

stable models
logic programs
logic programming
normal logic programs
answer set programming
fixpoint
data mining
incomplete information