License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-3344
URL: http://drops.dagstuhl.de/opus/volltexte/2005/334/
Go to the corresponding Portal

Herzig, Andreas

On updates with integrity constraints

pdf-format:
Document 1.pdf (230 KB)

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:DSP:2005:334,
  author =	{Andreas Herzig},
  title =	{On updates with integrity constraints},
  booktitle =	{Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics},
  year =	{2005},
  editor =	{James Delgrande and Jerome Lang and Hans Rott and Jean-Marc Tallon},
  number =	{05321},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2005/334},
  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

DROPS-Home | Fulltext Search | Imprint Published by LZI