Search: www-formal.stanford.edu | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Chaos and Moving Mars to a Better Climate (2007) [pdf] (www-formal.stanford.edu)

2 points

3 years ago

62.

PROGRAMS WITH COMMON SENSE (J. McCarthy, 1959, pdf) (www-formal.stanford.edu)

2 points

15 years ago

63.

Programs with Common Sense (1959) [pdf] (www-formal.stanford.edu)

2 points

10 years ago

64.

John McCarthy: "Elephant 2000: A Programming Language Based on Speech Acts" (www-formal.stanford.edu)

2 points

12 years ago

65.

What Futures Shall We Make? (John McCarthy - 2008) (www-formal.stanford.edu)

2 points

12 years ago

66.

Lisp--Notes On Its Past And Future (1980) (www-formal.stanford.edu)

2 points

13 years ago

67.

The Little Thoughts Of Thinking Machines (1983) [pdf] (www-formal.stanford.edu)

2 points

6 months ago

68.

Some Philosophical Problems from the Standpoint of AI (1969) [pdf] (www-formal.stanford.edu)

2 points

2 years ago

69.

John McCarthy's Original Lisp paper (www-formal.stanford.edu)

2 points

14 years ago

70.

John McCarthy on Marxism (2008) (www-formal.stanford.edu)

2 points

3 years ago

71.

Making Computer Chess Scientific (www-formal.stanford.edu)

2 points

YeGoblynQueenne

3 years ago

72.

Elephant 2000: A Programming Language Based on Speech Acts (1998) (www-formal.stanford.edu)

2 points

4 years ago

73.

Human-level AI is harder than it seemed in 1955 (2006) (www-formal.stanford.edu)

2 points

15 years ago

74.

The Sayings of John McCarthy (www-formal.stanford.edu)

2 points

15 years ago

75.

John McCarthy: Progress and its sustainability (www-formal.stanford.edu)

2 points

15 years ago

76.

John McCarthy's Home Page (www-formal.stanford.edu)

2 points

15 years ago

77.

John McCarthy’s Predictions for the Future (www-formal.stanford.edu)

2 points

4 years ago

78.

Recursive Functions of Symbolic Expressions and Their Computation by Machine (www-formal.stanford.edu)

2 points

6 years ago

79.

Getting the Numbers and Doing the Arithmetic (John McCarthy) (www-formal.stanford.edu)

2 points

18 years ago

80.

The Dartmouth Workshop–as planned and as it happened (2006) (www-formal.stanford.edu)

2 points

7 years ago

81.

PROPOSAL: DARTMOUTH SUMMER RESEARCH PROJECT ON ARTIFICIAL INTELLIGENCE (1955) (www-formal.stanford.edu)

2 points

7 years ago

82.

A tough nut for proof procedures – John McCarthy (1964+?) (www-formal.stanford.edu)

2 points

YeGoblynQueenne

8 years ago

83.

John McCarthy on “What is AI?” for the layman (2007) [pdf] (www-formal.stanford.edu)

2 points

8 years ago

84.

The Little Thoughts of Thinking Machines – By John McCarthy (1983) (www-formal.stanford.edu)

2 points

9 years ago

85.

Nuclear Energy FAQ - John McCarthy (www-formal.stanford.edu)

2 points

18 years ago

86.

Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I) (www-formal.stanford.edu)

2 points

18 years ago

87.

Ascribing Mental Qualities to Machines, by John McCarthy (www-formal.stanford.edu)

1 point

17 years ago

88.

Gandalf's psuedo blog (www-formal.stanford.edu)

1 point

18 years ago

89.

John McCarthy – Elephant 2000: A Programming Language Based on Speech Acts [pdf] (www-formal.stanford.edu)

1 point

11 years ago

90.

The Robot and the Baby (www-formal.stanford.edu)

1 point

17 years ago