Implementing Stable Semantics by Linear Programming.

Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian

Browse the full LPNMR paper archive.