Splitting a CR-Prolog Program

@inproceedings{Balduccini2009SplittingAC,
  title={Splitting a CR-Prolog Program},
  author={Marcello Balduccini},
  booktitle={LPNMR},
  year={2009}
}
CR-Prolog is an extension of A-Prolog, the knowledge representation language at the core of the Answer Set Programming paradigm. CR-Prolog is based on the introduction in A-Prolog of consistency-restoring rules (cr-rules for short), and allows an elegant formalization of events or exceptions that are unlikely, unusual, or undesired. The flexibility of the language has been extensively demonstrated in the literature, with examples that include planning and diagnostic reasoning. In this paper we… CONTINUE READING
3 Citations
15 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-3 of 3 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 15 references

Negotiation Using Logic Programming with Consistency Restoring Rules

  • T. C. Son, C. Sakama
  • 2009 International Joint Conferences on…
  • 2009
2 Excerpts

Similar Papers

Loading similar papers…