Extending the Stable Model Semantics with More Expressive Rules.

Patrik Simons

Browse the full LPNMR paper archive.