-
1
-
-
0027694534
-
Representing action and change by logic programs
-
Gelfond, Michael and Vladimir Lifschitz: 1993, 'Representing Action and Change by Logic Programs', Journal of Logic Programming 17, 301-322.
-
(1993)
Journal of Logic Programming
, vol.17
, pp. 301-322
-
-
Gelfond, M.1
Lifschitz, V.2
-
2
-
-
0009900328
-
Counterfactuals and two kinds of expected value
-
C. A. Hooker, J. J. Leach, and E. F. McClennen (eds.), Reidel, Dordrecht
-
Gibbard, Alan and William Harper: 1978, 'Counterfactuals and Two Kinds of Expected Value', in C. A. Hooker, J. J. Leach, and E. F. McClennen (eds.), Foundations and Applications of Decision Theory, Reidel, Dordrecht, pp. 125-162.
-
(1978)
Foundations and Applications of Decision Theory
, pp. 125-162
-
-
Gibbard, A.1
Harper, W.2
-
3
-
-
0001839494
-
Default reasoning, nonmonotonic logics, and the frame problem
-
Hanks, Steve and Drew McDermott: 1986, 'Default Reasoning, Nonmonotonic Logics, and the Frame Problem', AAAI-86.
-
(1986)
AAAI-86
-
-
Hanks, S.1
McDermott, D.2
-
4
-
-
0023442334
-
Nonmonotonic logic and temporal projection
-
Hanks, Steve and Drew McDermott: 1987, 'Nonmonotonic Logic and Temporal Projection', Artificial Intelligence 33, 379-412.
-
(1987)
Artificial Intelligence
, vol.33
, pp. 379-412
-
-
Hanks, S.1
McDermott, D.2
-
6
-
-
0141809425
-
The reference class
-
Kyburg, Henry, Jr.: 1983, 'The Reference Class', Philosophy of Science 50, 374-397.
-
(1983)
Philosophy of Science
, vol.50
, pp. 374-397
-
-
Kyburg Jr., H.1
-
8
-
-
0006518350
-
Direct inference
-
Levi, Isaac: 1977, 'Direct Inference', Journal of Philosophy 74, 5-29.
-
(1977)
Journal of Philosophy
, vol.74
, pp. 5-29
-
-
Levi, I.1
-
10
-
-
33947278464
-
Direct inference and confirmational conditionalization
-
Levi, Isaac: 1981, 'Direct Inference and Confirmational Conditionalization', Philosophy of Science 48, 532-552.
-
(1981)
Philosophy of Science
, vol.48
, pp. 532-552
-
-
Levi, I.1
-
11
-
-
0009446541
-
Formal theories of action
-
M. L. Ginsberg (ed.), Morgan-Kaufmann: Los Altos, CA
-
Lifschitz, Vladimir: 1987, 'Formal Theories of Action', in M. L. Ginsberg (ed.), Readings in Non-Monotonic Reasoning, Morgan-Kaufmann: Los Altos, CA.
-
(1987)
Readings in Non-monotonic Reasoning
-
-
Lifschitz, V.1
-
12
-
-
0038596559
-
Newcomb's problem and two principles of choice
-
N. Rescher (ed.), Reidel, Dordrecht
-
Nozick, Robert: 1969, 'Newcomb's Problem and Two Principles of Choice', in N. Rescher (ed.), Essays in Honor of Carl Hempel, Reidel, Dordrecht, pp. 107-133.
-
(1969)
Essays in Honor of Carl Hempel
, pp. 107-133
-
-
Nozick, R.1
-
13
-
-
18644365595
-
A theory of direct inference
-
Pollock, John L.: 1983, 'A Theory of Direct Inference', Theory and Decision 16, 29-96.
-
(1983)
Theory and Decision
, vol.16
, pp. 29-96
-
-
Pollock, J.L.1
-
14
-
-
85068305528
-
Foundations for direct inference
-
Pollock, John L.: 1984, 'Foundations for Direct Inference', Theory and Decision 17, 221256.
-
(1984)
Theory and Decision
, vol.17
, pp. 221256
-
-
Pollock, J.L.1
-
17
-
-
34249839316
-
The theory of nomic probability
-
Pollock, John L.: 1992, 'The Theory of Nomic Probability', Synthese 90, 263-300. An updated version of this paper is available at http.//www.u.arizona. edu/~pollock.
-
(1992)
Synthese
, vol.90
, pp. 263-300
-
-
Pollock, J.L.1
-
18
-
-
0032210228
-
Perceiving and reasoning about a changing world
-
Pollock, John L.: 1998, 'Perceiving and Reasoning about a Changing World', Computational Intelligence, 14, 498-562.
-
(1998)
Computational Intelligence
, vol.14
, pp. 498-562
-
-
Pollock, J.L.1
-
20
-
-
0004166251
-
-
University of California Press: Berkeley. (Original German edition 1935.)
-
Reichenback, Hans: 1949, A Theory of Probability, University of California Press: Berkeley. (Original German edition 1935.)
-
(1949)
A Theory of Probability
-
-
Reichenback, H.1
-
21
-
-
0006748788
-
Representing continuous changes in the event calculus
-
Shanahan, Murray: 1990, 'Representing Continuous Changes in the Event Calculus', ECAI-90, 598-603.
-
(1990)
ECAI-90
, pp. 598-603
-
-
Shanahan, M.1
-
22
-
-
0029368644
-
A circumscriptive calculus of events
-
Shanahan, Murray: 1995, 'A Circumscriptive Calculus of Events', Artificial Intelligence 77, 249-284.
-
(1995)
Artificial Intelligence
, vol.77
, pp. 249-284
-
-
Shanahan, M.1
-
25
-
-
0003606771
-
-
Computer Science Research Report No. 507, Yale University, New Haven, CT
-
Shoham, Yoav: 1986, Time and Causation from the Standpoint of Artificial Intelligence, Computer Science Research Report No. 507, Yale University, New Haven, CT.
-
(1986)
Time and Causation from the Standpoint of Artificial Intelligence
-
-
Shoham, Y.1
-
27
-
-
0010839539
-
-
Yale University Press, New Haven
-
Skyrms, Brian: 1980, Causal Necessity, Yale University Press, New Haven.
-
(1980)
Causal Necessity
-
-
Skyrms, B.1
-
28
-
-
0346616323
-
Causal decision theory
-
Skyrms, Brian: 1982, 'Causal Decision Theory', Journal of Philosophy 79, 695-711.
-
(1982)
Journal of Philosophy
, vol.79
, pp. 695-711
-
-
Skyrms, B.1
-
30
-
-
67649166042
-
-
unpublished paper presented at a workshop on Pragmatism and Conditionals at the University of Western Ontario
-
Sobel, Howard: 1978, Probability, Chance, and Choice: A Theory of Rational Agency, unpublished paper presented at a workshop on Pragmatism and Conditionals at the University of Western Ontario.
-
(1978)
Probability, Chance, and Choice: A Theory of Rational Agency
-
-
Sobel, H.1
-
31
-
-
26644462684
-
Letter to David Lewis
-
reprinted in W. Harper, R. Stalnaker, G. Pearce (eds.), Reidel, Dordrecht
-
Stalnaker, Robert: 1978, 'Letter to David Lewis', reprinted in W. Harper, R. Stalnaker, G. Pearce (eds.), Ifs, Reidel, Dordrecht.
-
(1978)
Ifs
-
-
Stalnaker, R.1
|