-
1
-
-
0000128393
-
On the logic of theory change: Partial meet contraction and revision functions
-
Alchourron, C.E., Gärdenfors, P., and Makinson, D., 1985, "On the logic of theory change: Partial meet contraction and revision functions," Journal of Symbolic Logic 50, 510-530.
-
(1985)
Journal of Symbolic Logic
, vol.50
, pp. 510-530
-
-
Alchourron, C.E.1
Gärdenfors, P.2
Makinson, D.3
-
2
-
-
0029350819
-
Abduction as belief revision
-
Boutilier, C. and Becher, V., 1995, "Abduction as belief revision," Artificial Intelligence 77, 43-94.
-
(1995)
Artificial Intelligence
, vol.77
, pp. 43-94
-
-
Boutilier, C.1
Becher, V.2
-
3
-
-
0042545775
-
Abduction is not deduction-in-reverse
-
Cialdea Mayer, M. and Pirri, F., 1996, "Abduction is not deduction-in-reverse," Journal of the IGPI 4, 1-14.
-
(1996)
Journal of the IGPI
, vol.4
, pp. 1-14
-
-
Cialdea Mayer, M.1
Pirri, F.2
-
4
-
-
0030712510
-
On the logic of iterared belief revision
-
Darwiche, A. and Pearl, J., 1997, "On the logic of iterared belief revision," Artificial Intelligence 89, 1-29.
-
(1997)
Artificial Intelligence
, vol.89
, pp. 1-29
-
-
Darwiche, A.1
Pearl, J.2
-
5
-
-
14544269465
-
Abduction in logic programming
-
Lectures Notes in Artificial Intelligence, Springer Verlag
-
Denecker, M. and Kakas, A., 2001, "Abduction in logic programming," in Computational Logic: Logic Progamming and Beyond (in honour of Robert A. Kowalski), Lectures Notes in Artificial Intelligence, Springer Verlag.
-
(2001)
Computational Logic: Logic Progamming and beyond (in Honour of Robert A. Kowalski)
-
-
Denecker, M.1
Kakas, A.2
-
8
-
-
0002469974
-
The inference to the best explanation
-
Harman, G.H., 1978, "The inference to the best explanation," Philosophical Review 71, 88-95.
-
(1978)
Philosophical Review
, vol.71
, pp. 88-95
-
-
Harman, G.H.1
-
10
-
-
0038834942
-
A problem concerning the inferential function of scientific theories
-
A. Grünbaum and W.C. Salmon, eds., University of California Press
-
Hempel, C.G., 1988, "A problem concerning the inferential function of scientific theories," in The Limitations of Deductivism, A. Grünbaum and W.C. Salmon, eds., University of California Press.
-
(1988)
The Limitations of Deductivism
-
-
Hempel, C.G.1
-
11
-
-
0025462359
-
Non monotonic reasoning, preferential models and cumulative logics
-
Kraus, S., Lehmann, D., and Magidor, M., 1990, "Non monotonic reasoning, preferential models and cumulative logics," Artificial Intelligence 44, 167-208.
-
(1990)
Artificial Intelligence
, vol.44
, pp. 167-208
-
-
Kraus, S.1
Lehmann, D.2
Magidor, M.3
-
13
-
-
15544362184
-
Abduction and demands for information
-
I. Niinuloto and R.Tuomela, eds., Amsterdam: North Holland for Societas Philosophica Fennica
-
Levi, I., 1979, "Abduction and demands for information," pp. 405-29 in The Logic and Epistemology of Scientific Change, I. Niinuloto and R.Tuomela, eds., Amsterdam: North Holland for Societas Philosophica Fennica. Reprinted in I. Levi, 1984, Decisions and Revisions, Cambridge University Press.
-
(1979)
The Logic and Epistemology of Scientific Change
, pp. 405-429
-
-
Levi, I.1
-
14
-
-
0004192072
-
-
Reprinted Cambridge University Press
-
Levi, I., 1979, "Abduction and demands for information," pp. 405-29 in The Logic and Epistemology of Scientific Change, I. Niinuloto and R.Tuomela, eds., Amsterdam: North Holland for Societas Philosophica Fennica. Reprinted in I. Levi, 1984, Decisions and Revisions, Cambridge University Press.
-
(1984)
Decisions and Revisions
-
-
Levi, I.1
-
16
-
-
0030677744
-
Abductive consequence relations
-
Lobo, J. and Uzcategui, C., 1997, "Abductive consequence relations," Artificial Intelligence, 89, 149-171.
-
(1997)
Artificial Intelligence
, vol.89
, pp. 149-171
-
-
Lobo, J.1
Uzcategui, C.2
-
17
-
-
0000937409
-
Five faces of minimality
-
Makinson, D., 1993, "Five faces of minimality," Studia Logica 52, 339-379.
-
(1993)
Studia Logica
, vol.52
, pp. 339-379
-
-
Makinson, D.1
-
18
-
-
84968442805
-
Relations between the logic of theory change and non-monotonic logic
-
A. Fuhrman and M. Morreau, eds., Springer
-
Makinson, D. and Gärdenfors, P., 1991, "Relations between the logic of theory change and non-monotonic logic," pp. 185-205 in The Logic of Theory Change, A. Fuhrman and M. Morreau, eds., Springer.
-
(1991)
The Logic of Theory Change
, pp. 185-205
-
-
Makinson, D.1
Gärdenfors, P.2
-
20
-
-
0032621875
-
Jumping to explanations versus jumping to conclusions
-
Pino-Perez, R. and Uzcategui, C., 1999, "Jumping to explanations versus jumping to conclusions," Artificial Intelligence 111, 131-169.
-
(1999)
Artificial Intelligence
, vol.111
, pp. 131-169
-
-
Pino-Perez, R.1
Uzcategui, C.2
-
21
-
-
0024066001
-
A logical framework for default reasoning
-
Poole, D., 1988, "A logical framework for default reasoning," Artificial Intelligence 36, 27-47.
-
(1988)
Artificial Intelligence
, vol.36
, pp. 27-47
-
-
Poole, D.1
-
22
-
-
84990556284
-
Explanation and prediction: An architecture for default and abductive reasoning
-
Poole, D., 1989, "Explanation and prediction: an architecture for default and abductive reasoning," Computational Intelligence 6, 97-110.
-
(1989)
Computational Intelligence
, vol.6
, pp. 97-110
-
-
Poole, D.1
-
25
-
-
0000619896
-
A theory of conditionals
-
N. Rescher, ed., Basil Blackwell
-
Stalnaker, R., 1968, "A theory of conditionals," in Philosophical Quarterly Monograph Series, Vol. 2, N. Rescher, ed., Basil Blackwell.
-
(1968)
Philosophical Quarterly Monograph Series
, vol.2
-
-
Stalnaker, R.1
-
26
-
-
0002085351
-
The best explanation: Criteria for theory choice
-
Thagard, P., 1978, "The best explanation: Criteria for theory choice," Journal of Philosophy 75, 76-92.
-
(1978)
Journal of Philosophy
, vol.75
, pp. 76-92
-
-
Thagard, P.1
-
28
-
-
15544365097
-
Metaconfirmation
-
Zwirn, D., Zwirn, H., 1996, "Metaconfirmation," Theory and Decision 3, 195-228.
-
(1996)
Theory and Decision
, vol.3
, pp. 195-228
-
-
Zwirn, D.1
Zwirn, H.2
|