9 citations · 9 across the 2 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.…