@inproceedings{98e355fe0b72430fb942550eb679b92e,
title = "Revision of non-monotonic theories: Some postulates and an application to logic programming",
abstract = "We present some revision systems for non-monotonic theories and we concentrate on the revision of logic programs whenever they are classically consistent, but do not have an acceptable (non-monotonic) model. The revision method we propose is to expand an original theory (program) in order to obtain an acceptable model. We distinguish between weak revision, conservative revision and strong revision systems. These systems differ to the extent the revision affects the set of classical models of the original theory. We then show that there exist weak, conservative and strong expansion systems for normal logic programs using the stable model semantics. In particular, we present a strong expansion method which makes it possible to construct for an arbitrary (incoherent) normal logic program P a-classically- equivalent expanded program P' such that P' always has a stable model.",
keywords = "Logic programming, Non-monotonic reasoning, Revision",
author = "Cees Witteveen and \{van der Hoek\}, Wiebe and \{de Nivelle\}, Hans",
note = "Publisher Copyright: {\textcopyright} 1994, Springer Verlag. All rights reserved.; European Workshop on Logics in Artificial Intelligence, JELIA 1994 ; Conference date: 05-09-1994 Through 08-09-1994",
year = "1994",
doi = "10.1007/bfb0021969",
language = "English",
isbn = "9783540583325",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "137--151",
editor = "Craig MacNish and David Pearce and Pereira, \{Luis Moniz\}",
booktitle = "Logics in Artificial Intelligence - European Workshop JELIA 1994, Proceedings",
address = "Germany",
}