Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules
This work is incremental, enhancing a specific extension of Answer Set Programming for knowledge representation tasks.
The paper extends Answer Set Programming with non-Herbrand functions by adding support for arithmetic expressions, inequality relations, and consistency-restoring rules from CR-Prolog, demonstrating its use in representing important types of knowledge.
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.