On Properties of Update Sequences Based on Causal Rejection

@article{Eiter2002OnPO,
  title={On Properties of Update Sequences Based on Causal Rejection},
  author={Thomas Eiter and Michael Fink and Giuliana Sabbatini and Hans Tompits},
  journal={TPLP},
  year={2002},
  volume={2},
  pages={711-767}
}
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new information is incorporated into the current knowledge base subject to a causal rejection principle, which enforces that, in case of conflicts between rules, more recent rules are preferred and older rules are overridden. Such a rejection principle is also exploited in other approaches to update logic programs, notably in the… CONTINUE READING
Highly Influential
This paper has highly influenced 28 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 159 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

160 Citations

01020'01'04'08'12'16
Citations per Year
Semantic Scholar estimates that this publication has 160 citations based on the available data.

See our FAQ for additional information.

References

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

Logic Program Updates

  • J. A. Leite
  • M.Sc. Thesis, Universidade Nova de Lisboa.
  • 1997
Highly Influential
11 Excerpts

General Patterns in Nonmonotonic Reasoning

  • D. Makinson
  • Pages 35–110 of: Gabbay, D.M., Hogger, C.J…
  • 1993
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…