Stable model semantics for weight constraint rules. (1999)

by I Niemela, P Simons, T Soininen
Venue:In Proceedings of the 5th International Conference on on Logic Programming and Nonmonotonic Reasoning,