-
2
-
-
0000128393
-
On the logic of theory change: Partial meet functions for contraction and revision
-
C.E.P. Alchourrón, P. Gärdenfors, D. Makinson, On the logic of theory change: Partial meet functions for contraction and revision. J. of Symbolic Logic, 50 (1985) 513-530.
-
(1985)
J. of Symbolic Logic
, vol.50
, pp. 513-530
-
-
Alchourrón, C.E.P.1
Gärdenfors, P.2
Makinson, D.3
-
3
-
-
0002149656
-
Representing default rules in possibilistic logic
-
Cambridge, MA
-
S. Benferhat, D. Dubois, H. Prade, Representing default rules in possibilistic logic. Proc. of the 3rd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'92), Cambridge, MA, (1992) 673-684.
-
(1992)
Proc. of the 3rd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'92)
, pp. 673-684
-
-
Benferhat, S.1
Dubois, D.2
Prade, H.3
-
4
-
-
0031145253
-
Nonmonotonic reasoning, conditional objects and possibility theory
-
S. Benferhat, D. Dubois, H. Prade Nonmonotonic reasoning, conditional objects and possibility theory. Artificial Intelligence, 92 (1997) 259-276.
-
(1997)
Artificial Intelligence
, vol.92
, pp. 259-276
-
-
Benferhat, S.1
Dubois, D.2
Prade, H.3
-
5
-
-
0033319827
-
Possibilistic and standard probabilistic semantics of conditional knowledge
-
S. Benferhat, D. Dubois, H. Prade Possibilistic and standard probabilistic semantics of conditional knowledge. Journal of Logic and Computation, 9 (1999) 873-895.
-
(1999)
Journal of Logic and Computation
, vol.9
, pp. 873-895
-
-
Benferhat, S.1
Dubois, D.2
Prade, H.3
-
6
-
-
0032596396
-
A sequential reversible belief revision method based on polynomials
-
(AAAI-99), Orlando, Floride (USA) AAAI Press/The MIT Press
-
S. Benferhat, D. Dubois, O. Papini A sequential reversible belief revision method based on polynomials.: Proceedings National American AI conference (AAAI-99), Orlando, Floride (USA) AAAI Press/The MIT Press, (1999) 733-738.
-
(1999)
Proceedings National American AI Conference
, pp. 733-738
-
-
Benferhat, S.1
Dubois, D.2
Papini, O.3
-
7
-
-
0242397224
-
A big-stepped probability approach for discovering default rules
-
Annecy, France
-
S. Benferhat, D. Dubois, S. Lagrue, H. Prade A big-stepped probability approach for discovering default rules. Proc. of the Ninth Int. Conf. Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2002), Annecy, France, (2002) 283-289.
-
(2002)
Proc. of the Ninth Int. Conf. Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2002)
, pp. 283-289
-
-
Benferhat, S.1
Dubois, D.2
Lagrue, S.3
Prade, H.4
-
9
-
-
0041583694
-
Revision by conditionals beliefs
-
G. Crocco, L. Fariñas del Cerro, A. Herzig, (eds.), Oxford University Press, Oxford, UK
-
C. Boutilier M. Goldszmidt Revision by conditionals beliefs. In: G. Crocco, L. Fariñas del Cerro, A. Herzig, (eds.) Conditionals: From Philosophy to Computer Sciences, Oxford University Press, Oxford, UK, (1995) 267-300.
-
(1995)
Conditionals: from Philosophy to Computer Sciences
, pp. 267-300
-
-
Boutilier, C.1
Goldszmidt, M.2
-
10
-
-
0023389518
-
An algebraic synthesis of the foundations of logic and probability
-
P. Calabrese An algebraic synthesis of the foundations of logic and probability. Information Sciences, 42 (1987) 187-237.
-
(1987)
Information Sciences
, vol.42
, pp. 187-237
-
-
Calabrese, P.1
-
12
-
-
26444580783
-
Belief and acceptance
-
L. J. Cohen, Belief and acceptance. Mind, XCVIII, No. 391 (1989) 367-390.
-
(1989)
Mind
, vol.98
, Issue.391
, pp. 367-390
-
-
Cohen, L.J.1
-
13
-
-
0030712510
-
On the logic of iterated belief revision
-
1997
-
A. Darwishe, J. Pearl On the logic of iterated belief revision. Artificial Intelligence, 89, 1997 (1997) 1-29.
-
(1997)
Artificial Intelligence
, vol.89
, pp. 1-29
-
-
Darwishe, A.1
Pearl, J.2
-
14
-
-
0000917282
-
Belief structures, possibility theory and decomposable confidence measures on finite sets
-
D. Dubois Belief structures, possibility theory and decomposable confidence measures on finite sets. Computers and Artificial Intelligence (Bratislava), 5(5) (1986) 403-416.
-
(1986)
Computers and Artificial Intelligence (Bratislava)
, vol.5
, Issue.5
, pp. 403-416
-
-
Dubois, D.1
-
15
-
-
0010263702
-
Comparative uncertainty, belief functions and accepted beliefs
-
Madison, Wi.
-
D. Dubois, H. Fargier, H. Prade Comparative uncertainty, belief functions and accepted beliefs. Proc. of 14th Conf. on Uncertainty in Artificial Intelligence (UAI-98), Madison, Wi., (1998) 113-120
-
(1998)
Proc. of 14th Conf. on Uncertainty in Artificial Intelligence (UAI-98)
, pp. 113-120
-
-
Dubois, D.1
Fargier, H.2
Prade, H.3
-
16
-
-
26444486983
-
Ordinal and numerical representations of acceptance
-
IRIT, Toulouse
-
D. Dubois, H. Fargier, H. Prade, Ordinal and numerical representations of acceptance. Research report 02-20R, IRIT, Toulouse (2002).
-
(2002)
Research Report
, vol.2
, Issue.20 R
-
-
Dubois, D.1
Fargier, H.2
Prade, H.3
-
17
-
-
0002872822
-
Belief change rules in ordinal and numerical uncertainty theories
-
D. Dubois H. Prade, (eds.) Handbook on Defeasible Reasoning and Uncertainty Management Systems: Kluwer Academic Publ., Dordrecht, The Netherlands
-
D. Dubois, S. Moral and H. Prade, Belief change rules in ordinal and numerical uncertainty theories. In D. Dubois H. Prade, (eds.), Belief Change, Handbook on Defeasible Reasoning and Uncertainty Management Systems, Vol. 3: Kluwer Academic Publ., Dordrecht, The Netherlands, (1998) 311-392.
-
(1998)
Belief Change
, vol.3
, pp. 311-392
-
-
Dubois, D.1
Moral, S.2
Prade, H.3
-
18
-
-
0026187870
-
Epistemic entrenchment and possibilistic logic
-
D. Dubois, H. Prade, Epistemic entrenchment and possibilistic logic. Artificial Intelligence 50 (1991) 223-239.
-
(1991)
Artificial Intelligence
, vol.50
, pp. 223-239
-
-
Dubois, D.1
Prade, H.2
-
19
-
-
0028698846
-
Conditional objects as non-monotonic consequence relationships
-
D. Dubois, H. Prade, Conditional objects as non-monotonic consequence relationships. IEEE Trans, on Systems, Man and Cybernetics, 24 (1994) 1724-1740.
-
(1994)
IEEE Trans, on Systems, Man and Cybernetics
, vol.24
, pp. 1724-1740
-
-
Dubois, D.1
Prade, H.2
-
20
-
-
0037753879
-
Conditional objects, possibility theory and default rules
-
G. Crocco, L. Farinas del Cerro, A. Herzig (eds.) Oxford University Press, UK
-
D. Dubois, H. Prade, Conditional objects, possibility theory and default rules. In: G. Crocco, L. Farinas del Cerro, A. Herzig (eds.), Conditionals: From Philosophy to Computer Science (Oxford University Press, UK, (1995) 311-346.
-
(1995)
Conditionals: From Philosophy to Computer Science
, pp. 311-346
-
-
Dubois, D.1
Prade, H.2
-
22
-
-
0002571253
-
Possibility theory: Qualitative and quantitative aspects
-
P. Smets, editor. Handbook on Defeasible Reasoning and Uncertainty Management Systems: Kluwer Academic Publ., Dordrecht, The Netherlands
-
D. Dubois, H. Prade, Possibility theory: qualitative and quantitative aspects. P. Smets, editor, Quantified Representations of Uncertainty and Imprecision. Handbook on Defeasible Reasoning and Uncertainty Management Systems, Vol. 1: Kluwer Academic Publ., Dordrecht, The Netherlands (1998) 169-226
-
(1998)
Quantified Representations of Uncertainty and Imprecision
, vol.1
, pp. 169-226
-
-
Dubois, D.1
Prade, H.2
-
23
-
-
1642499595
-
A modal analysis of possibility theory
-
Ph. Jorrand, J. Kelemen, (eds.) Lecture Notes in Computer Sciences, Springer Verlag, Berlin
-
L.Fariñas del Cerro, A. Herzig A modal analysis of possibility theory. In Ph. Jorrand, J. Kelemen, (eds.) Fundamentals of Artificial Intelligence Research (FAIR'91) Lecture Notes in Computer Sciences, Vol. 535, Springer Verlag, Berlin (1991) 11-18.
-
(1991)
Fundamentals of Artificial Intelligence Research (FAIR'91)
, vol.535
, pp. 11-18
-
-
Del Cerro, L.F.1
Herzig, A.2
-
24
-
-
84972527141
-
The axioms of subjective probability
-
P. Fishburn, The axioms of subjective probability. Statistical Science, I (1986) 335-358.
-
(1986)
Statistical Science
, vol.1
, pp. 335-358
-
-
Fishburn, P.1
-
27
-
-
0003890795
-
-
North-Holland, Amsterdam, The Netherlands
-
I.R. Goodman, H.T. Nguyen, E.A. Walker, Conditional Inference and Logic for Intelligent Systems: a Theory of Measure-Free Conditioning. North-Holland, Amsterdam, The Netherlands (1991).
-
(1991)
Conditional Inference and Logic for Intelligent Systems: A Theory of Measure-Free Conditioning
-
-
Goodman, I.R.1
Nguyen, H.T.2
Walker, E.A.3
-
28
-
-
0000874592
-
Two modellings for theory change
-
A. Grove, Two modellings for theory change. J. Philos. Logic, 17 (1988) 157-170.
-
(1988)
J. Philos. Logic
, vol.17
, pp. 157-170
-
-
Grove, A.1
-
29
-
-
0010288660
-
Defining relative likelihood in partially-ordered preferential structures
-
J. Halpern Defining relative likelihood in partially-ordered preferential structures. J. AI Research, 1 (1997) 1-24.
-
(1997)
J. AI Research
, vol.1
, pp. 1-24
-
-
Halpern, J.1
-
32
-
-
0025462359
-
Nonmonotonic reasoning, preferential models and cumulative logics
-
K. Kraus, D. Lehmann, M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44 (1990) 167-207.
-
(1990)
Artificial Intelligence
, vol.44
, pp. 167-207
-
-
Kraus, K.1
Lehmann, D.2
Magidor, M.3
-
34
-
-
85012588175
-
Knowledge
-
J. F. Lemmer and L. N. Kanal eds, Elsevier, Amsterdam
-
H. E. Kyburg, Knowledge. In: Uncertainty in Artificial intelligence, vol 2, J. F. Lemmer and L. N. Kanal eds, Elsevier, Amsterdam (1988) 263-272.
-
(1988)
Uncertainty in Artificial Intelligence
, vol.2
, pp. 263-272
-
-
Kyburg, H.E.1
-
35
-
-
0026867827
-
What does a conditional knowledge base entail?
-
D. Lehmann, M. Magidor, What does a conditional knowledge base entail? Artificial Intelligence, 55(1) (1992) 1-60.
-
(1992)
Artificial Intelligence
, vol.55
, Issue.1
, pp. 1-60
-
-
Lehmann, D.1
Magidor, M.2
-
37
-
-
0004271399
-
-
Basil Blackwell, Oxford, UK
-
D. L. Lewis Counterfactuals. Basil Blackwell, Oxford, UK (1973).
-
(1973)
Counterfactuals
-
-
Lewis, D.L.1
-
38
-
-
0001031755
-
Relations between the logic of theory change and nonmonotonic reasoning
-
(A. Fürmann, M. Morreau, Eds), LNAI465, Sprnger Verlag
-
D. Makinson and P. Gärdenfors Relations between the logic of theory change and nonmonotonic reasoning. In: The Logic of Theory Change (A. Fürmann, M. Morreau, Eds), LNAI465, Sprnger Verlag, (1991) 185-205.
-
(1991)
The Logic of Theory Change
, pp. 185-205
-
-
Makinson, D.1
Gärdenfors, P.2
-
41
-
-
0002634765
-
System Z: A natural ordering of defaults with tractable applications to default reasoning
-
Morgan and Kaufmann, San Mateo, CA
-
J. Pearl System Z: a natural ordering of defaults with tractable applications to default reasoning. Proc. of the 3rd Conf. on the Theoretical Aspects of Reasoning About Knowledge (TARK'90), Morgan and Kaufmann, San Mateo, CA. (1990) 121-135.
-
(1990)
Proc. of the 3rd Conf. on the Theoretical Aspects of Reasoning about Knowledge (TARK'90)
, pp. 121-135
-
-
Pearl, J.1
-
42
-
-
0026153420
-
The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in defaut reasoning
-
D. Poole The effect of knowledge on belief: conditioning, specificity and the lottery paradox in defaut reasoning. Artificial Intelligence, 49 (1991) 281-307
-
(1991)
Artificial Intelligence
, vol.49
, pp. 281-307
-
-
Poole, D.1
-
43
-
-
0004276249
-
-
Lecture Notes in Economics and Mathematical Systems, Springer Verlag, Berlin
-
M. Roubens, P. Vincke, Preference Modelling. Lecture Notes in Economics and Mathematical Systems, Vol. 250, Springer Verlag, Berlin (1985).
-
(1985)
Preference Modelling
, vol.250
-
-
Roubens, M.1
Vincke, P.2
-
44
-
-
0033189058
-
Diverse confidence levels in a probabilistic semantics for conditional logics
-
P. Snow Diverse confidence levels in a probabilistic semantics for conditional logics. Artificial Intelligence, 113 (1999) 269-279.
-
(1999)
Artificial Intelligence
, vol.113
, pp. 269-279
-
-
Snow, P.1
-
45
-
-
0000731447
-
Ordinal conditional functions: A dynamic theory of epistemic states
-
W.L. Harper, B. Skyrms, (eds.), D. Reidel, Dordrecht
-
W. Spohn Ordinal conditional functions: A dynamic theory of epistemic states. In: W.L. Harper, B. Skyrms, (eds.), Causation in Decision, Belief Change, and Statistics, Vol. 2, D. Reidel, Dordrecht (1988) 105-134.
-
(1988)
Causation in Decision, Belief Change, and Statistics
, vol.2
, pp. 105-134
-
-
Spohn, W.1
-
46
-
-
0001908301
-
Transmutations of knowledge systems
-
J. Doyle, E. Sandewall, P. Torasso (eds.), Bonn, Germany
-
M.A. Williams Transmutations of knowledge systems. In: J. Doyle, E. Sandewall, P. Torasso (eds.), Proc. of the 4th Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'94), Bonn, Germany, (1994) 619-629
-
(1994)
Proc. of the 4th Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'94)
, pp. 619-629
-
-
Williams, M.A.1
|