Get our free extension to see links to code for papers anywhere online!Free add-on: code for papers everywhere!Free add-on: See code for papers anywhere!
Add to Chrome
Add to Firefox
Add to EdgeLanguage ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules
Jan 08, 2013
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 inequality relations over non-Herbrand functions, as well as consistency-restoring rules from CR-Prolog. We demonstrate the use of this latest version of the language in the representation of important kinds of knowledge.
* Proceedings of Answer Set Programming and Other Computing Paradigms
(ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest,
Hungary
View paper on