DagSemProc.05321.12.pdf
- Filesize: 229 kB
- 10 pages
Document
On updates with integrity constraints
Author
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 5321
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2005-11-21
Cite As Get 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.
Subject Classification
Keywords
- Updates
- PMA
- prime implicants
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads