9 citations · 19 across the 6 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.AI2013★ 4 cited
Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules
Marcello Balduccini, Michael Gelfond
In this paper we continue the work on our extension of Answer Set Programming by non-Herbrand functions and add to the language support for arithmetic expressions and various inequ…
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.…