most citedSPARC - Sorted ASP with Consistency Restoring Rules

9 citations · 9 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2013★ 9 cited

SPARC - Sorted ASP with Consistency Restoring Rules

Evgenii Balai, Michael Gelfond, Yuanlin Zhang

This is a preliminary report on the work aimed at making CR-Prolog -- a version of ASP with consistency restoring rules -- more suitable for use in teaching and large applications.…