Preferred extensions as stable models

Re-assign community