Natural events

Journal of Artificial Intelligence Research

Volumn 30, Issue , 2007, Pages 361-412

  Bell, John ^a  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION;

QUALIFICATION; RAMIFICATION PROBLEMS;

CASE BASED REASONING;

EID: 38349088613     PISSN: None     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.2383     Document Type: Article

References (60)

1. Baker, A. B. (1991). Nonmonotonic reasoning in the framework of the situation calculus. Artificial Intelligence, 49, 5-23.
2. Barringer, H., Cheng, J., & Jones, C. (1984). A logic covering undefinedness in program proofs. Acta Informatica, 21, 251-269.
3. Bell, J. (2001). Causal counterfactuals. In Working Notes of Common Sense 2001. Available at: www.cs.nyu.edu/cs/faculty/davise/commonsense01/.
4. Bell, J. (1995). Pragmatic reasoning; a model-based theory. In Pólos, L., & Masuch, M. (Eds.), Applied Logic; How, What and Why, pp. 1-27. Kluwer. A selection of papers from the Applied Logic Conference, Amsterdam, 1992.
5. Bell, J. (1996). A model-based approach to predictive causal reasoning. In Doherty (Doherty, 1996), pp. 169-195.
6. Bell, J. (1998). Chronological minimization and explanation. In Miller, R., & Shanahan, M. (Eds.), Working papers of Common Sense '98; the fourth symposium on logical formalizations of common sense reasoning.
7. Bell, J. (1999). Primary and secondary events. In Thielscher, M. (Ed.), Working notes of the 4th workshop on Nonmonotonic Reasoning, Action and Change, pp. 65-72.
8. Bell, J. (2000). Primary and secondary events. Electronic Transactions on Artificial Intelligence discussion paper. Available at: www.ida.liu.se/ext/etai/rac/. Subsequent version available at: www.dcs.qmul.ac.uk/~jb, 2001.
9. Bell, J. (2001). Simultaneous events: Conflicts and preferences. In Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2001), pp. 714-725. Springer.
10. Bell, J. (2004). Causation and causal conditionals. In Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004), pp. 2-11. AAAI Press.
11. Bell, J. (2006). Causation as production. In Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), pp. 327-331. IOS Press.
12. Bell, J. (2008). A common sense theory of causation. Forthcoming.
13. Blackburne, S. (1994). The Oxford Dictionary of Philosophy. Oxford University Press, Oxford.
14. Bochvar, D. A. (1939). On a three-valued logical calculus and its application to the analysis of contradictories. Matematiceskij sbornik, 4.
15. Bondarenko, A., Dung, P. M., Kowalski, R. A., & Toni, F. (1997). An abstract argumentation-theoretic approach to default reasoning. Artificial Intelligence, 93, 63-101.
16. Collins, J., Hall, N., & Paul, L. A. (Eds.). (2004). Causation and Counterfactuals. MIT Press, Cambridge, Massachusetts.
17. Davidson, D. (1980). Essays on Actions and Events. Oxford University Press, Oxford.
18. Denecker, M., Dupré, D. T., & Belleghem, K. V. (1998). An inductive definition approach to ramifications. Electronic Transactions on Artificial Intelligence, 2, 25-67.
19. Doherty, P. (Ed.). (1996). Partiality, Modality, and Nonmonotonicity. CSLI Publications, CSLI, Stanford University, Palo Alto.
20. Fikes, R. E., & Nilsson, N. J. (1971). STRIPS, a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2, 189-208.
21. Gelfond, M., & Lifschitz, V. (1993). Representing action and change by logic programs. Journal of Logic Programming, 17, 301-322.
22. Gelfond, M., Lifschitz, V., & Rabinov, A. (1991). What are the limitations of the situation calculus?. In Boyer, R. (Ed.), Essays in Honour of Woody Bledsoe, pp. 167-179. Kluwer Academic Publishers.
23. Ginsberg, M. L., & Smith, D. E. (1988). Reasoning about action II: The qualification problem. Artificial Intelligence, 35, 311-342.
24. Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science, 50:1, 1-102.
25. Goodman, N. (1954). Fact, Fiction, and Forecast. Harvard University Press, Cambridge Mass. References are to the 4th edition, 1983.
26. Hanks, S., & McDermott, D. (1987). Nonmonotonic logic and temporal projection. Artificial Intelligence, 33 (3), 379-412.
27. Hume, D. (1739). A Treatise of Human Nature. Clarendon Press, Oxford. References are to the Clarendon edition, 1978.
28. Hume, D. (1777). An Enquiry Concerning Human Understanding. Clarendon Press, Oxford. References are to the Clarendon edition, 1975.
29. Kautz, H. (1986). The logic of persistence. In Proceedings of the 5th National Conference on Artificial Intelligence (AAAI-86), pp. 401-405.
30. Kleene, S. C. (1952). Introduction to Metamathematics. North-Holland, Amsterdam.
31. Kripke, S. (1975). Outline of a theory of truth. Journal of Philosophy, 72, 690-716.
32. Lewis, D. (1986). Philosophical Papers, Vol. II. Oxford University Press, Oxford.
33. Lifschitz, V. (1987). Formal theories of action. In Brown, F. (Ed.), The Frame Problem in Artificial Intelligence, pp. 35-58. Morgan Kaufmann.
34. Lifschitz, V. (1990). Frames in the space of situations. Artificial Intelligence, 46, 365-376.
35. Lin, F., & Reiter, R. (1994). State constraints revisited. Journal on Logic and Computation, 4(5), 655-678.
36. Lin, F. (1995). Embracing causality in specifying the indirect effects of actions. In Proceedings of the 14th International Joint Conference Artificial Intelligence (IJCAI '95), pp. 1985-1991.
37. Lin, F. (1998). On the relationships between static and dynamic causal rules in the situation calculus. In Ortiz, C. (Ed.), Working Papers of the AAAI'98 Spring Symposium on Prospects for a Commonsense Theory of Causation, pp. 38-43.
38. Mackie, J. L. (1974). The Cement of the Universe. Clarendon Press, Oxford.
39. Mackie, J. L. (1975). Causes and conditions. In Sosa, E. (Ed.), Causes and Conditionals, pp. 15-38. Oxford University Press, Oxford. First published in American Philosophical Quarterly 2, 1965, pages 245-264.
40. McCarthy, J. (1977). Epistemological problems of artificial intelligence. In Proceedings of the 5th International Joint Conference Artificial Intelligence (IJCAI '95), pp. 1038-1044.
41. McCarthy, J. (1980). Circumscription - a form of nonmonotonic reasoning. Artificial Intelligence, 13, 27-39.
42. McCarthy, J. (1986). Applications of circumscription to formalizing commonsense knowledge. Artificial Intelligence, 28, 89-116.
43. McCarthy, J., & Hayes, P. J. (1969). Some philosophical problems from the standpoint of artificial intelligence. In Michie, D., & Meltzer, B. (Eds.), Machine Intelligence 4, pp. 463-502. Edinburgh University Press.
44. Mill, J. S. (1898). A System of Logic. Longmans, London. References are to the 8th edition, 1941.
45. Pinto, J. (1998). Causality in theories of action. In Miller, R., & Shanahan, M. (Eds.), Working papers of the 4th Symposium on Logical Formalizations of Commonsense Reasoning, pp. 349-364.
46. Quine, W. V. (1995). From Stimulus to Science. Harvard University Press, Cambridge, Massachusetts.
47. Reiter, R. (1996). Natural actions, concurrency and continuous time in the situation calculus. In Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96.), pp. 2-13.
48. Reiter, R. (2001). Knowledge in Action; Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge, Mass.
49. Rosser, J., & Turquette, A. (1952). Many-valued Logics. North-Holland, Amsterdam.
50. Russell, B. (1913). On the notion of cause. Proceedings of the Aristotelian Society, 13, 1-26.
51. Russell, S., & Norvig, P. (2003). Artificial Intelligence; A Modern Approach. Prentice Hall, New Jersey. 2nd Edition.
52. Sandewall, E. (1994). Features and Fluents; The Representation of Knowledge About Dynamical Systems. Oxford University Press, Oxford.
53. Sandewall, E. (1996). Assessments of ramification methods that use domain constraints. In Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96.), pp. 99-110.
54. Shanahan, M. (1997). Solving the Frame Problem; A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge, Mass.
55. Shoham, Y. (1988). Reasoning About Change. MIT Press, Cambridge Mass.
56. Taylor, R. (1975). The metaphysics of causation. In Sosa, E. (Ed.), Causation and Conditionals, pp. 39-43. Oxford University Press.
57. Thielscher, M. (1997). Ramification and causality. Artificial Intelligence, 98, 317-364.
58. Vo, Q. B., & Foo, N. Y. (2005). Reasoning about action: An argumentation-theoretic approach. Journal of Artificial Intelligence Research, 24, 465-518.
59. White, G., Bell, J., & Hodges, W. (1998). Building models of prediction theories. In Cohn, A., Schubert, L., & Shapiro, S. (Eds.), Proc. KR'98, pp. 557-568, San Francisco. Morgan Kaufmann.
60. Wittgenstein, L. (1953). Philosophical Investigations. Blackwell, Oxford.