@inproceedings{5638fdf6c4c14287acc0f8b383b71adf,
title = "Four-valued diagnoses for stratified knowledge-bases",
abstract = "We present a four-valued approach for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing so automaticly. This method is particularly useful for making model-based diagnoses.",
author = "Ofer Arieli and Arnon Avron",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 10th International Workshop on Computer Science Logic, CSL 1996, 5th Annual Conference of the European Association for Computer Science Logic, EACSL 1996 ; Conference date: 21-09-1996 Through 27-09-1996",
year = "1997",
doi = "10.1007/3-540-63172-0_29",
language = "אנגלית",
isbn = "3540631720",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "1--17",
editor = "{van Dalen}, Dirk and Marc Bezem",
booktitle = "Computer Science Logic - 10th International Workshop, CSL 1996, Annual Conference of the EACSL, Selected Papers",
}