9 citations · 19 across the 6 of their papers we have counts for
1 paper · 2 filters
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.…