Salem Benferhat, Didier Dubois, Henri Prade  Home/Search
Context Related
| irit.fr/pub/IRIT/RPDMP/HIIBWR.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math.jus...ftp.irit.fr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper investigates several methods for coping with inconsistency caused by multiple source information, by introducing suitable consequence relations capable of inferring non-trivial conclusions from an inconsistent stratified knowledge base. Some of these methods presuppose a revision step, namely a selection of one or several consistent subsets of formulas, and then classical inference is used for inferring from these subsets. Two alternative methods that do not require any revision step ... (Update)
Context of citations to this paper: More
...of a database and maintain them. A closely related topic is the problem of giving consistent query answers in inconsistent database [3, 10, 25]. The idea is to answer database queries in a consistent way without computing the repairs of the database. There are some other...
...the theory and try to cope with them. Another common approach to handle contradictions (sometimes called coherent or conservative [13,48]) rst detects and eliminates the inconsistent part of the theory. Then, when consistency is restored, some classical formalism is used for...
Cited by: More
Compilation of Propositional Weighted Bases - Adnan Darwiche Computer (Correct)
Merging Structured Text Using Temporal Knowledge - Hunter (2002) (Correct)
Logical Fusion Rules for Merging Structured News Reports - Hunter (2002) (Correct)
Similar documents (at the sentence level):
5.0%: A Local Approach to Reasoning Under Inconsistency in.. - Benferhat, Dubois, Prade (1995) (Correct)
Active bibliography (related documents): More All
0.7: Some syntactic approaches to the handling of.. - Benferhat, Dubois, Prade (Correct)
0.6: Argumentative Inference in Uncertain and Inconsistent.. - Benferhat, Dubois, Prade (1993) (Correct)
0.5: How Hard is it to Revise a Belief Base? - Nebel (1996) (Correct)
Similar documents based on text: More All
0.3: Qualitative Choice Logic - Brewka, Benferhat, Le Berre (2001) (Correct)
0.2: Reasoning in Inconsistent Stratified Knowledge Bases - Benferhat, Dubois, PRADE (1997) (Correct)
0.2: Coping with the Limitations of Rational Inference in the .. - Benferhat, Dubois, Prade (1996) (Correct)
Related documents from co-citation: More All
17: Inconsistency management and prioritized syntax-based entailment (context) - Benferhat, Cayrol et al. - 1993
8: Preferred subtheories : An extended logical framework for default reasoning (context) - Brewka - 1989
5: Reasoning with logical bilattices - Arieli, Avron - 1995
BibTeX entry: (Update)
Benferhat S., Dubois D. and Prade H., How to infer from inconsistent beliefs without revising?, in Proc. of the 14th Inter. Joint Conf. on Artificial Intelligence, pp. 1449-1455, 1995. http://citeseer.ist.psu.edu/benferhat95how.html More
@inproceedings{ benferhat95how,
author = "S. Benferhat and D. Dubois and H. Prade",
title = "{How to Infer from Inconsistent Beliefs without Revising?}",
booktitle = "Proceedings of the Foureenth International Joint Conferences on Artificial Intelligence",
pages = "1449--1455",
year = "1995",
url = "citeseer.ist.psu.edu/benferhat95how.html" }
Citations (may not include all citations):625 A Mathematical Theory of Evidence (context) - Shafer - 1976
96 the semantics of updates in database (context) - Fagin, Ullman et al. - 1983
95 Possibilistic logic - Dubois, Lang et al. - 1994
93 Defeasible reasoning (context) - Pollock - 1987
75 A mathematical treatment of defeasible reasoning and its imp.. (context) - Simari, Loui - 1992 ACM DBLP
72 Belief revision and default reasoning: Syntaxbased approache.. - Nebel - 1991
65 the comparison of theories: preferring the most specific exp.. (context) - On - 1985
65 Combining knowledge bases consisting in first order theories (context) - Baral, Kraus et al. - 1992
55 The Uses of Argument (context) - Toulmin - 1956
42 Argumentative inference in uncertain and inconsistent knowle.. - Benferhat, Dubois et al. DBLP
39 Some syntactic approaches to the handling of inconsistent kn.. - Benferhat, Dubois et al. - 1994
29 Change in View (context) - Harman - 1986 DBLP
29 Another perspective on default reasoning - Lehmann - 1993 DBLP
28 Epistemic entrenchment and possibilistic logic (context) - Dubois, Prade - 1991
23 On inference from inconsistent premises (context) - Rescher, Manor - 1970
22 Knowledge in Flux --- Modeling the Dynamic of Epistemic Stat.. (context) - Gardenfors - 1988
18 Reason maintenance and belief revision: foundations vs coher.. - Doyle - 1992
13 Using crude probability estimates to guide diagnosis (context) - De Kleer - 1990 ACM DBLP
12 Formal theories of belief revision (context) - Rao, Foo - 1989 ACM DBLP
10 Dialectic reasoning with inconsistent information (context) - Elvang-Goransson, Krause et al. - 1993 DBLP
7 the relation between argumentation and non-monotonic coheren.. (context) - Cayrol - 1995
5 Consistent belief reasoning in the presence of inconsistency - Lin - 1994 ACM DBLP
3 the relation between the coherence and foundation theories o.. (context) - Val - 1994
2 Calculs propositionnels pour les systèmes formels inconsista.. (context) - Costa - 1963
2 Inconsistency management and prioritized syntax-based entail.. (context) - UAI', Benferhat et al. DBLP
1 Proving theorems in a multi-source environment (context) - IRIT, -R et al. - 1993 DBLP
1 Dealing with multi-source information in possibilistic logic (context) - Fuzzy, the et al. ACM DBLP
1 A formal model of diagnostic inference (context) - KR', Reggia et al. - 1985
1 A local approach to reasoning under inconsistency in stratif.. - Benferhat, Dubois et al. - 1995
1 Preferred subtheories: An extended logical framework for def.. (context) - rd, Conf et al. - 1989 DBLP
1 The dynamics of belief systems: Foundations v (context) - Gardenfors - 1990
1 Comparaison de relations d'inférence nonmonotone: Etude de c.. (context) - Cayrol, Lagasquie-Schiex - 1993
1 Base revision operator ans schemes: Semantics representation.. (context) - Nebel - 1994
1 What does a conditional knowledge base entail (context) - Report, University et al. - 1992
1 Inconsistency in possibilistic knowledge bases --- To live o.. (context) - ed, Univ et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.irit.fr.html): More
Combining Hypothetical Reasoning And Plausible Inference In.. - Dubois, PRADE (1996) (Correct)
Hypothetical Reasoning In Possibilistic Logic: Basic.. - Benferhat, Dubois.. (1993) (Correct)
Fuzzy Constraints in Job-Shop Scheduling - Dubois, Fargier, Prade (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC