1 paper
Y. Loyer, U. Straccia
Stable model semantics has become a very popular approach for the management of negation in logic programming. This approach relies mainly on the closed world assumption to complet…