66 citations · 130 across the 13 of their papers we have counts for
1 paper · 1 filter
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.…