# SPARC - Sorted ASP with Consistency Restoring Rules

arXiv: https://arxiv.org/abs/1301.1386 · HTML: https://mlsanity.com/paper/1301.1386/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 8 Jan 2013.

## Built on by (most cited first, 1 of 1)

- [Knowledge-Based Hierarchical POMDPs for Task Planning](https://mlsanity.com/paper/2103.10642/) (2021)

## Abstract (arXiv)

This is a preliminary report on the work aimed at making CR-Prolog -- a version of ASP with consistency restoring rules -- more suitable for use in teaching and large applications. First we describe a sorted version of CR-Prolog called SPARC. Second, we translate a basic version of the CR-Prolog into the language of DLV and compare the performance with the state of the art CR-Prolog solver. The results form the foundation for future more efficient and user friendly implementation of SPARC and shed some light on the relationship between two useful knowledge representation constructs: consistency restoring rules and weak constraints of DLV.