Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules
classification
💻 cs.AI
keywords
languagearithmeticconsistency-restoringexpressionsfunctionsnon-herbrandrulesanswer
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.