Herzig, Andreas
On updates with integrity constraints
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.
BibTeX - Entry
@InProceedings{herzig:DagSemProc.05321.12,
author = {Herzig, Andreas},
title = {{On updates with integrity constraints}},
booktitle = {Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics},
pages = {1--10},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {5321},
editor = {James Delgrande and Jerome Lang and Hans Rott and Jean-Marc Tallon},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2005/334},
URN = {urn:nbn:de:0030-drops-3344},
doi = {10.4230/DagSemProc.05321.12},
annote = {Keywords: Updates, PMA, prime implicants}
}
|
Keywords: |
|
Updates, PMA, prime implicants |
|
Seminar: |
|
05321 - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics
|
|
Issue date: |
|
2005 |
|
Date of publication: |
|
21.11.2005 |
21.11.2005
