John McCarthy: Forskelle mellem versioner
Content deleted Content added
emeritus virker overflødigt, når han er død |
Trade (diskussion | bidrag) →Bibliografi: ret |
||
Linje 10:
== Bibliografi ==
* McCarthy, J. 1959. [http://www-formal.stanford.edu/jmc/mcc59.html Programs with Common Sense]. In ''Proceedings of the Teddington Conference on the Mechanization of Thought Processes'', 756-91. London: Her Majesty's Stationery Office.
*
* McCarthy, J. 1963a A basis for a mathematical theory of computation. In ''Computer Programming and formal systems''. North-Holland.
▲* John McCarthy: ''Recursive Functions of Symbolic expressions and their Computation by Machine'', Communications of the ACM, 1960.
* McCarthy, J. 1963b. Situations, actions, and causal laws. Technical report, Stanford University.
* McCarthy, J., and Hayes, P. J. 1969. [http://www-formal.stanford.edu/jmc/mcchay69.pdf Some philosophical problems from the standpoint of artificial intelligence]. In Meltzer, B., and Michie, D., eds., ''Machine Intelligence'' 4. Edinburgh: Edinburgh University Press. 463-502.
* McCarthy, J. 1977. Epistemological problems of artificial intelligence. In ''IJCAI'', 1038-1044.
* McCarthy, J. 1980. Circumscription: A form of non-monotonic reasoning. ''Artificial Intelligence'' 13(1-2):23-79.
* McCarthy, J. 1986. Applications of circumscription to common sense reasoning. ''Artificial Intelligence'' 28(1):89-116.
* McCarthy, J. 1990. Generality in artificial intelligence. In Lifschitz, V., ed., ''Formalizing Common Sense''. Ablex. 226-236.
* McCarthy, J. 1993. Notes on formalizing context. In ''IJCAI'', 555-562.
* McCarthy, J., and Buvac, S. 1997. Formalizing context: Expanded notes. In Aliseda, A.; van Glabbeek, R.; and Westerstahl, D., eds., ''Computing Natural Language''. Stanford University. Also available as Stanford Technical Note STAN-CS-TN-94-13.
* McCarthy, J. 1998. Elaboration tolerance. In ''Working Papers of the Fourth International Symposium on Logical formalizations of Commonsense Reasoning'', Commonsense-1998.
* Costello, T., and McCarthy, J. 1999. Useful counterfactuals. ''[[Electronic Transactions on Artificial Intelligence]]'' 3(A):51-76
* McCarthy, J. 2002. Actions and other events in situation calculus. In Fensel, D.; Giunchiglia, F.; McGuinness, D.; and Williams, M., eds., ''Proceedings of KR-2002'', 615-628.
== Noter ==
| |||