@inproceedings{c1f16b0a85704ce395d4ac953b228796,
title = "Hypothetical updates, priority and inconsistency in a logic programming language",
abstract = "In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of atoms and it makes use of a revision mechanism to restore consistency when an update violates some integrity constraint. The revision policy we adopt is based on the simple idea that more recent information is preferred to earlier one. This language can be used to perform several types of defeasible reasoning. We define a goal-directed proof procedure for the language and develope a logical characterization in a modal logic by introducing an abductive semantics.",
author = "D. Gabbay and L. Giordano and A. Martelli and N. Olivetti",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1995.; 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995 ; Conference date: 26-06-1995 Through 28-06-1995",
year = "1995",
doi = "10.1007/3-540-59487-6_15",
language = "English",
isbn = "9783540594871",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "203--216",
editor = "Marek, {V. Wiktor} and Miroslaw Truszczynski and Anil Nerode",
booktitle = "Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings",
address = "Germany",
}