Efficient Transformation for Bottom-up Computation of Stable Models.

Chiemi Kamakura Yuka Shimajiri Hirohisa Seki Hidenori Itoh

Published in: DDLP (1997)

Keyphrases

stable models
logic programs
logic programming
answer set programming
fixpoint