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

HK

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

3 years ago

2 points

62.

PROGRAMS WITH COMMON SENSE (J. McCarthy, 1959, pdf)

www-formal.stanford.edu

15 years ago

2 points

63.

Programs with Common Sense (1959) [pdf]

www-formal.stanford.edu

10 years ago

2 points

64.

John McCarthy: "Elephant 2000: A Programming Language Based on Speech Acts"

www-formal.stanford.edu

12 years ago

2 points

65.

What Futures Shall We Make? (John McCarthy - 2008)

www-formal.stanford.edu

12 years ago

2 points

66.

Lisp--Notes On Its Past And Future (1980)

www-formal.stanford.edu

13 years ago

2 points

67.

Reminiscences on the History of Time-Sharing (1983)

www-formal.stanford.edu

a month ago

2 points

68.

The Little Thoughts Of Thinking Machines (1983) [pdf]

www-formal.stanford.edu

7 months ago

2 points

69.

Some Philosophical Problems from the Standpoint of AI (1969) [pdf]

www-formal.stanford.edu

2 years ago

2 points

70.

John McCarthy's Original Lisp paper

www-formal.stanford.edu

14 years ago

2 points

71.

John McCarthy on Marxism (2008)

www-formal.stanford.edu

3 years ago

2 points

72.

Making Computer Chess Scientific

www-formal.stanford.edu

3 years ago

YeGoblynQueenne

2 points

73.

Elephant 2000: A Programming Language Based on Speech Acts (1998)

www-formal.stanford.edu

4 years ago

2 points

74.

Human-level AI is harder than it seemed in 1955 (2006)

www-formal.stanford.edu

15 years ago

2 points

75.

The Sayings of John McCarthy

www-formal.stanford.edu

15 years ago

2 points

76.

John McCarthy: Progress and its sustainability

www-formal.stanford.edu

15 years ago

2 points

77.

John McCarthy's Home Page

www-formal.stanford.edu

15 years ago

2 points

78.

John McCarthy’s Predictions for the Future

www-formal.stanford.edu

4 years ago

2 points

79.

Recursive Functions of Symbolic Expressions and Their Computation by Machine

www-formal.stanford.edu

6 years ago

2 points

80.

Getting the Numbers and Doing the Arithmetic (John McCarthy)

www-formal.stanford.edu

18 years ago

2 points

81.

The Dartmouth Workshop–as planned and as it happened (2006)

www-formal.stanford.edu

7 years ago

2 points

82.

PROPOSAL: DARTMOUTH SUMMER RESEARCH PROJECT ON ARTIFICIAL INTELLIGENCE (1955)

www-formal.stanford.edu

7 years ago

2 points

83.

A tough nut for proof procedures – John McCarthy (1964+?)

www-formal.stanford.edu

8 years ago

YeGoblynQueenne

2 points

84.

John McCarthy on “What is AI?” for the layman (2007) [pdf]

www-formal.stanford.edu

8 years ago

2 points

85.

The Little Thoughts of Thinking Machines – By John McCarthy (1983)

www-formal.stanford.edu

9 years ago

2 points

86.

Nuclear Energy FAQ - John McCarthy

www-formal.stanford.edu

18 years ago

2 points

87.

Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I)

www-formal.stanford.edu

18 years ago

2 points

88.

Ascribing Mental Qualities to Machines, by John McCarthy

www-formal.stanford.edu

17 years ago

1 points

89.

Gandalf's psuedo blog

www-formal.stanford.edu

18 years ago

1 points

90.

John McCarthy – Elephant 2000: A Programming Language Based on Speech Acts [pdf]

www-formal.stanford.edu

11 years ago

1 points