Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules
Artificial Intelligence
2013-01-09 v1
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.
Cite
@article{arxiv.1301.1387,
title = {Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules},
author = {Marcello Balduccini and Michael Gelfond},
journal= {arXiv preprint arXiv:1301.1387},
year = {2013}
}
Comments
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary