-
2
-
-
0002892424
-
Argumentative inference in uncertain and inconsistent knowledge bases
-
S Benferhat D Dubois H Prade (1991a) Argumentative inference in uncertain and inconsistent knowledge bases Proc DAI 91 411 419.
-
(1991)
Proc DAI
, vol.91
, pp. 411-419
-
-
Benferhat, S1
Dubois, D2
Prade, H3
-
3
-
-
85168143943
-
Inconsistency management and prioritized svnlax based entailment
-
(]993b)
-
S Benferhat C Cayrol D Dubois J Lang H Prade (]993b) Inconsistency management and prioritized svnlax based entailment Proc IJCA193 640 645.
-
Proc IJCA193
, pp. 640645
-
-
Benferhat, C1
Cayrol, D2
Dubois, J3
Prade, H4
-
6
-
-
0000342173
-
Preferred sublheoncs An extended logical framework for default reasoning
-
G Brewka (1989) Preferred sublheoncs An extended logical framework for default reasoning Proc IJC Al 89 1041 1048.
-
(1989)
Proc IJC Al
, vol.89
, pp. 1041-1048
-
-
Brewka, G1
-
8
-
-
85168142477
-
Comparison de relations d inference nonmonotone Elude de complexite
-
Research Report IRIT/93 23 R 1R1T Toulouse
-
C Cayrol MC Lagasquie Schiex (1991) Comparison de relations d inference nonmonotone Elude de complexite" Research Report IRIT/93 23 R 1R1T Toulouse.
-
(1991)
-
-
Cayrol, C1
Lagasquie Schiex, MC2
-
9
-
-
0343676690
-
Proving theorems in a mulu source environment
-
L Cholvy (1993) Proving theorems in a mulu source environment Proc IJCAI93 66 71.
-
(1993)
Proc IJCAI93
, vol.66
, pp. 71
-
-
Cholvy, L1
-
10
-
-
2342443872
-
Calculs proposilionnels pour les systemes formels mconsistants Compic
-
N C A Da Costa (1963) Calculs proposilionnels pour les systemes formels mconsistants Compic Rendu Acad des Sciences (Pans) 257 3790 3792.
-
(1963)
Rendu Acad des Sciences (Pans)
, vol.257
, pp. 3790-3792
-
-
Da Costa, N C A1
-
11
-
-
0025503543
-
Using crude probability estimates lo guide diagnosis
-
J De Kleer (1990) Using crude probability estimates lo guide diagnosis Artificial Intelligence 45 381 391.
-
(1990)
Artificial Intelligence
, vol.45
, pp. 381-391
-
-
De Kleer, J1
-
12
-
-
85168103891
-
On the relation between the coherence and foundation theories of belief revision
-
A Del Val (1994) On the relation between the coherence and foundation theories of belief revision Proc AAAI94 909 914.
-
(1994)
Proc AAAI94
, pp. 909914
-
-
Del Val, A1
-
13
-
-
0002404185
-
Reason maintenance and belief revision foundations vs coherence theories
-
(P Gardenfors ed) Cambridge Univ Press
-
J Doyle (1992) Reason maintenance and belief revision foundations vs coherence theories In Belief Revision (P Gardenfors ed ) Cambridge Univ Press 29 51.
-
(1992)
Belief Revision
, pp. 2951
-
-
Doyle, J1
-
14
-
-
0343297209
-
Inconsistency in possibilistic knowledge bases - To live or not live with it
-
(L A Zadeh J Kacprzyk eds) Wiley
-
D Dubois J Lang H Prade (1992a) Inconsistency in possibilistic knowledge bases - To live or not live with it In Fuzzy Logic for the Management of Uncertainty (L A Zadeh J Kacprzyk eds) Wiley 335 3S1.
-
(1992)
Fuzzy Logic for the Management of Uncertainty
, vol.335
, pp. 3S1
-
-
Dubois, D1
Lang, J2
Prade, H3
-
15
-
-
1842828112
-
Dealing with multi source information in possibilistic logic
-
D Dubois J Lang H Prade (1992b) Dealing with multi source information in possibilistic logic Proc ECAl 92 38-42.
-
(1992)
Proc ECAl
, vol.92
, pp. 38-42
-
-
Dubois, D1
Lang, J2
Prade, H3
-
17
-
-
0026187870
-
Epistemic entrenchment and possibilistic logic
-
D Dubois H Prade (1991) Epistemic entrenchment and possibilistic logic Artificial Intelligence 50 223 239.
-
(1991)
Artificial Intelligence
, vol.50
, pp. 223-239
-
-
Dubois, D1
Prade, H2
-
18
-
-
0141474674
-
Dialectic reaso ning with inconsistent information
-
M Elvang Goransson P Krause J Fox (1993) Dialectic reaso ning with inconsistent information Proc UA1 93 114 121.
-
(1993)
Proc UA1
, vol.93
, pp. 114-121
-
-
Elvang Goransson, M1
Krause, P2
Fox, J3
-
21
-
-
0002428155
-
The dynamics of belief systems Foundations v coherence theories
-
P Gardenfors (1990) The dynamics of belief systems Foundations v coherence theories Revue Internationale de Philosophic 172 24 46.
-
(1990)
Revue Internationale de Philosophic
, vol.172
, pp. 2446
-
-
Gardenfors, P1
-
23
-
-
85168145772
-
Syntax based default reasoning as probabilistic model based diagnosis
-
J Lang (1994) Syntax based default reasoning as probabilistic model based diagnosis Proc UAS94 391 298.
-
(1994)
Proc UAS94
, vol.391
, pp. 298
-
-
Lang, J1
-
25
-
-
0026867827
-
What does a conditional knowledge base entail9
-
1 60
-
D Lehmann M Magidor (1992) What does a conditional knowledge base entail9 Artificial Intelligence 55(1) 1 60.
-
(1992)
Artificial Intelligence
, vol.55
, Issue.1
-
-
Lehmann, D1
Magidor, M2
-
26
-
-
0348187473
-
Consistent belief reasoning in the presence of inconsistency
-
J Lin (1994) Consistent belief reasoning in the presence of inconsistency Proc TARK 94.
-
(1994)
Proc TARK
, pp. 94
-
-
Lin, J1
-
27
-
-
0002182507
-
Belief revision and default reasoning Syntax based approaches
-
B Nebel (1991) Belief revision and default reasoning Syntax based approaches Proc KR9I 417-428.
-
(1991)
Proc KR9I
, pp. 417-428
-
-
Nebel, B1
-
28
-
-
0012946141
-
Base revision operator ans schemes Semantics representation and complexity
-
B Nebel (1994) Base revision operator ans schemes Semantics representation and complexity Proc ECAl 94 341 345.
-
(1994)
Proc ECAl
, vol.94
, pp. 341-345
-
-
Nebel, B1
-
29
-
-
0000210652
-
Defeasible reasoning
-
JL Pollock (1987) Defeasible reasoning Cognitive Science 11 481 518.
-
(1987)
Cognitive Science
, vol.11
, pp. 481-518
-
-
Pollock, JL1
-
30
-
-
0002556901
-
On the comparison of theories preferring the most specific explanation
-
(I985)
-
D Poole (I985) On the comparison of theories preferring the most specific explanation Proc IJCAI85 144 147.
-
Proc IJCAI85
, pp. 144147
-
-
Poole, D1
-
31
-
-
0041520870
-
Formal theories ol belief revision
-
A S Rao N Y Foo (1989) Formal theories ol belief revision Proc KR 89 369 380.
-
(1989)
Proc KR
, vol.89
, pp. 369-380
-
-
Rao, A S1
Foo, N Y2
-
33
-
-
0000482243
-
On inference from inconsistent premises
-
N Rescher R Manor (1970) On inference from inconsistent premises Theory and Decision 1 179 219.
-
(1970)
Theory and Decision
, vol.1
, pp. 179-219
-
-
Rescher, N1
Manor, R2
-
34
-
-
0026817743
-
A mathematical treatment of defeasible reasoning and its implementation
-
GR Siman RP Loui (1992) A mathematical treatment of defeasible reasoning and its implementation Artificial Intelligence 53 125 157.
-
(1992)
Artificial Intelligence
, vol.53
, pp. 125-157
-
-
Siman, GR1
Loui, RP2
-
36
-
-
0004096846
-
-
Cambridge Univ Press Cambridge UK
-
S Toulmin (1956) The Uses of Argument Cambridge Univ Press Cambridge UK.
-
(1956)
The Uses of Argument
-
-
Toulmin, S1
|