Document Open Access Logo

On updates with integrity constraints

Author Andreas Herzig



PDF
Thumbnail PDF

File

DagSemProc.05321.12.pdf
  • Filesize: 229 kB
  • 10 pages

Document Identifiers

Author Details

Andreas Herzig

Cite AsGet BibTex

Andreas Herzig. On updates with integrity constraints. In Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics. Dagstuhl Seminar Proceedings, Volume 5321, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
https://doi.org/10.4230/DagSemProc.05321.12

Abstract

In his paper ``Making Counterfactual Assumptions'' Frank Veltman has proposed a new semantics for counterfactual conditionals. It is based on a particular update operation, and we show that it provides a new and interesting way of updating logical databases under integrity constraints which generalizes in particular Winslett's PMA.
Keywords
  • Updates
  • PMA
  • prime implicants

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail