-
1
-
-
0000128393
-
On the logic of theory change: Partial meet contraction and revision functions
-
ALCHOURRÓN, C., P. GÄRDENFORS, and D. MAKINSON, 'On the logic of theory change: Partial meet contraction and revision functions', Journal of Symbolic Logic, 50:510-530, 1985.
-
(1985)
Journal of Symbolic Logic
, vol.50
, pp. 510-530
-
-
Alchourrón, C.1
Gärdenfors, P.2
Makinson, D.3
-
2
-
-
0034372069
-
Belief contraction as nonmonotonic inference
-
BOCHMAN, A., 'Belief contraction as nonmonotonic inference', Journal of Symbolic Logic, 65:605-626, 2000.
-
(2000)
Journal of Symbolic Logic
, vol.65
, pp. 605-626
-
-
Bochman, A.1
-
3
-
-
26444557433
-
Relevance sensitive non-monotonic inference for belief sequences
-
CHOPRA, S., K. GEORGATOS, and R. PARIKH, 'Relevance sensitive non-monotonic inference for belief sequences', Journal of Applied Non-Classical Logics, 11(1-2):131-150, 2001.
-
(2001)
Journal of Applied Non-classical Logics
, vol.11
, Issue.1-2
, pp. 131-150
-
-
Chopra, S.1
Georgatos, K.2
Parikh, R.3
-
4
-
-
23144457622
-
Non-prioritized ranked belief change
-
CHOPRA, S., A. CHOSE, and T. MEYER, 'Non-prioritized ranked belief change', Journal of Philosophical Logic, 32(4):417-443, 2003.
-
(2003)
Journal of Philosophical Logic
, vol.32
, Issue.4
, pp. 417-443
-
-
Chopra, S.1
Chose, A.2
Meyer, T.3
-
5
-
-
0002404185
-
Reason maintenance and belief revision: Foundations versus coherence theories
-
P. Gärdenfors, (ed.), Cambridge University Press
-
DOYLE, J., 'Reason maintenance and belief revision: Foundations versus coherence theories', in P. Gärdenfors, (ed.), Belief Revision, Cambridge University Press, 1992, pp. 29-51.
-
(1992)
Belief Revision
, pp. 29-51
-
-
Doyle, J.1
-
7
-
-
0013329026
-
A survey of multiple contractions
-
FUHRMANN, A., and S. O. HANSSON, 'A survey of multiple contractions', Journal of Logic, Language and Information, 3:39-76, 1994.
-
(1994)
Journal of Logic, Language and Information
, vol.3
, pp. 39-76
-
-
Fuhrmann, A.1
Hansson, S.O.2
-
10
-
-
0000042302
-
Theory contraction and base contraction unified
-
HANSSON, S. O., 'Theory contraction and base contraction unified', Journal of Symbolic Logic, 58:602-625, 1993.
-
(1993)
Journal of Symbolic Logic
, vol.58
, pp. 602-625
-
-
Hansson, S.O.1
-
13
-
-
0001299939
-
On the status of the postulate of recovery in the logic of theory change
-
MAKINSON, D., 'On the status of the postulate of recovery in the logic of theory change', Journal of Philosophical Logic, 16:383-394, 1987.
-
(1987)
Journal of Philosophical Logic
, vol.16
, pp. 383-394
-
-
Makinson, D.1
-
14
-
-
27144534627
-
Systematic withdrawal
-
MEYER, T., J. HEIDEMA, W. LABUSCHAGNE, and L. LEENEN, 'Systematic withdrawal', Journal of Philosophical Logic, 31(5):415-443, 2002.
-
(2002)
Journal of Philosophical Logic
, vol.31
, Issue.5
, pp. 415-443
-
-
Meyer, T.1
Heidema, J.2
Labuschagne, W.3
Leenen, L.4
-
15
-
-
0002865812
-
How hard is it to revise a belief base?
-
D. Dubois and H. Prade, (eds.), Kluwer Academic Publishers
-
NEBEL, B., 'How hard is it to revise a belief base?', in D. Dubois and H. Prade, (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 3: Belief Change, Kluwer Academic Publishers, 1998, pp. 77-145.
-
(1998)
Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 3: Belief Change
, vol.3
, pp. 77-145
-
-
Nebel, B.1
-
16
-
-
49149147322
-
A logic for default reasoning
-
REITER, R., 'A logic for default reasoning', Artificial Intelligence, 13:81-132, 1980.
-
(1980)
Artificial Intelligence
, vol.13
, pp. 81-132
-
-
Reiter, R.1
-
17
-
-
0013425118
-
Severe withdrawal (and recovery)
-
ROTT, H., and M. PAGNUCCO, 'Severe withdrawal (and recovery)', Journal of Philosophical Logic, 28:501-547, 1999.
-
(1999)
Journal of Philosophical Logic
, vol.28
, pp. 501-547
-
-
Rott, H.1
Pagnucco, M.2
|