-
1
-
-
0000128393
-
On the logic of theory change: Partial meet functions for contraction and revision
-
C E Alchourrón, P Gärdenfors, and D Makinson. On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic, 50, 510-530, 1985.
-
(1985)
Journal of Symbolic Logic
, vol.50
, pp. 510-530
-
-
Alchourrón, C.E.1
Gärdenfors, P.2
Makinson, D.3
-
2
-
-
2942572235
-
Iterated revision by epistemic states: Axioms, semantics and syntax
-
S Benferhat, S Konieczny, O Papini, and R P Pérez. Iterated Revision by Epistemic States: Axioms, Semantics and Syntax. Procs. of ECAI 2000, 13-17, 2000.
-
(2000)
Procs. of ECAI
, vol.2000
, pp. 13-17
-
-
Benferhat, S.1
Konieczny, S.2
Papini, O.3
Pérez, R.P.4
-
3
-
-
84880723388
-
Revision of partially ordered information: Axiomatization, semantics and iteration
-
S Benferhat, S Lagrue, and O Papini. Revision of Partially Ordered Information: Axiomatization, Semantics and Iteration. Procs. of IJCAI 2005, 376-381, 2005.
-
(2005)
Procs. of IJCAI
, vol.2005
, pp. 376-381
-
-
Benferhat, S.1
Lagrue, S.2
Papini, O.3
-
4
-
-
53349118091
-
Iterated revision and minimal change of conditional beliefs
-
C Boutilier. Iterated Revision and Minimal Change of Conditional Beliefs. Journal of Philosophical Logic, 25:263-305, 1996.
-
(1996)
Journal of Philosophical Logic
, vol.25
, pp. 263-305
-
-
Boutilier, C.1
-
5
-
-
9644281028
-
A distance measure for bounding probabilistic belief change
-
H Chan and A Darwiche. A distance measure for bounding probabilistic belief change. Internat. J. Approx. Reason., 38(2), 149-174, 2005.
-
(2005)
Internat. J. Approx. Reason.
, vol.38
, Issue.2
, pp. 149-174
-
-
Chan, H.1
Darwiche, A.2
-
6
-
-
12344306686
-
On the revision of probabilistic beliefs using uncertain evidence
-
H Chan and A Darwiche. On the revision of probabilistic beliefs using uncertain evidence. Artif. Intel., 163, 67-90, 2005.
-
(2005)
Artif. Intel.
, vol.163
, pp. 67-90
-
-
Chan, H.1
Darwiche, A.2
-
7
-
-
0003075942
-
Belief revision and updates in numerical formalisms: An overview, with new results for the possibilistic framework
-
D Dubois and H Prade. Belief Revision and Updates in Numerical Formalisms: An Overview, with New Results for the Possibilistic Framework. Procs. of IJCAI 1993, 620-625, 1993.
-
(1993)
Procs. of IJCAI 1993
, pp. 620-625
-
-
Dubois, D.1
Prade, H.2
-
8
-
-
0030712510
-
On the logic of iterated belief revision
-
A Darwiche and J Pearl. On the logic of iterated belief revision. Artif. Intel., 89, 1-29, 1997.
-
(1997)
Artif. Intel.
, vol.89
, pp. 1-29
-
-
Darwiche, A.1
Pearl, J.2
-
9
-
-
0010313194
-
Plausibility measures: A user‘s guide
-
N Friedman and J Y Halpern. Plausibility measures: a user’s guide. Procs. of UAI 1995, 175-184, 1995.
-
(1995)
Procs. of UAI
, vol.1995
, pp. 175-184
-
-
Friedman, N.1
Halpern, J.Y.2
-
10
-
-
24144479284
-
Plausibility measures: A general approach for representing uncertainty
-
J Y Halpern. Plausibility measures: A general approach for representing uncertainty. Procs. of IJCAI 2001, 1474-1483, 2001.
-
(2001)
Procs. of IJCAI
, vol.2001
, pp. 1474-1483
-
-
Halpern, J.Y.1
-
11
-
-
1542291707
-
-
The MIT Press, Cambridge, Massachusetts, London, England
-
J Y Halpern. Reasoning about Uncertainty. The MIT Press, Cambridge, Massachusetts, London, England, 2003.
-
(2003)
Reasoning About Uncertainty
-
-
Halpern, J.Y.1
-
12
-
-
0004155291
-
-
McGraw-Hill, New York, 2nd edition) University of Chicago Press, Chicago, IL, 1983. (Paperback correction) 1990
-
R C Jeffrey. The Logic of Decision. McGraw-Hill, New York, 1965. (2nd edition) University of Chicago Press, Chicago, IL, 1983. (Paperback correction) 1990.
-
(1965)
The Logic of Decision
-
-
Jeffrey, R.C.1
-
13
-
-
33846103835
-
Iterated belief revision, revised
-
Y Jin and M Thielscher. Iterated belief revision, revised. Artif. Intel., 171, 1-18, 2007.
-
(2007)
Artif. Intel.
, vol.171
, pp. 1-18
-
-
Jin, Y.1
Thielscher, M.2
-
14
-
-
0026383919
-
Propositional knowledge base revision and minimal change
-
H Katsuno and A O Mendelzon. Propositional knowledge base revision and minimal change. Artif. Intel., 52, 263-294, 1991.
-
(1991)
Artif. Intel.
, vol.52
, pp. 263-294
-
-
Katsuno, H.1
Mendelzon, A.O.2
-
16
-
-
56749103482
-
Minimal change and maximal coherence: A basis for belief revision and reasoning about actions
-
A S Rao and N Y Foo. Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions. Procs. of IJCAI 1989, 966-971, 1989.
-
(1989)
Procs. of IJCAI
, vol.1989
, pp. 966-971
-
-
Rao, A.S.1
Foo, N.Y.2
-
17
-
-
0000731447
-
Ordinal conditional functions: A dynamic theory of epistemic states
-
W.Harper and B.Skyrms (Eds, by Kluwer Academic Publishers
-
W Spohn. Ordinal Conditional Functions: A Dynamic Theory of Epistemic States. In W.Harper and B.Skyrms (Eds.), Causation in Decision, Belief Change, and Statistics, 2, 105-134, 1988 by Kluwer Academic Publishers.
-
(1988)
Causation in Decision, Belief Change, and Statistics
, vol.2
, pp. 105-134
-
-
Spohn, W.1
-
18
-
-
0001908301
-
Transmutations of knowledge systems
-
M.A. Williams. Transmutations of Knowledge Systems. Procs. of KR 1994, 619-629, 1994.
-
(1994)
Procs. of KR
, vol.1994
, pp. 619-629
-
-
Williams, M.A.1
|