Four-valued diagnoses for stratified knowledge-bases

Ofer Arieli, Arnon Avron

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationComputer Science Logic - 10th International Workshop, CSL 1996, Annual Conference of the EACSL, Selected Papers
EditorsDirk van Dalen, Marc Bezem
PublisherSpringer Verlag
Pages1-17
Number of pages17
ISBN (Print)3540631720, 9783540631729
DOIs
StatePublished - 1997
Event10th International Workshop on Computer Science Logic, CSL 1996, 5th Annual Conference of the European Association for Computer Science Logic, EACSL 1996 - Utrecht, Netherlands
Duration: 21 Sep 199627 Sep 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1258
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th International Workshop on Computer Science Logic, CSL 1996, 5th Annual Conference of the European Association for Computer Science Logic, EACSL 1996
Country/TerritoryNetherlands
CityUtrecht
Period21/09/9627/09/96

Fingerprint

Dive into the research topics of 'Four-valued diagnoses for stratified knowledge-bases'. Together they form a unique fingerprint.

Cite this