Can I read Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules on EtoBox?

Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules by Balduccini, Marcello; Gelfond, Michael is a scholarly article available to read on EtoBox.

What is Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules about?

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.

Author

Balduccini, Marcello; Gelfond, Michael

Published

2013

Language

EN