🚀 go-pugleaf

Re: Reasons why you don't prove your programs are correct
By: Brian L. Stuart on Fri, 12 Jan 1990 21:32

Re: Reasons why you don't prove your programs are correct
By: Brian L. Stuart on Fri, 12 Jan 1990 21:09

Thinking Vs Simulated Thinking
By: Eugene Wallingford on Fri, 12 Jan 1990 19:32

Re: Reasons why you don't prove your programs are correct
By: Snorri Agnarsson on Fri, 12 Jan 1990 15:43

Re: Reasons why you don't prove your programs are correct
By: Peter Desnoyers on Fri, 12 Jan 1990 18:48

Re: The Chinese Room and the Babylonian Bureaucracy
By: Lord Snooty The Giant Poisoned E... on Fri, 12 Jan 1990 10:24

Re: The Chinese Room and the Babylonian Bureaucracy
By: eugene.l.edmon on Fri, 12 Jan 1990 01:52

Re: Can Machines Think?
By: M Holmes on Fri, 12 Jan 1990 15:44

Re: Re^2: Reasons why you don't prove your programs are correct
By: Kers on Fri, 12 Jan 1990 14:34

Re: Reasons why you don't prove your programs are correct
By: Jeff Hallett x5163 on Fri, 12 Jan 1990 15:44

Re: Reasons why you don't prove your programs are correct
By: Jim Mayer on Fri, 12 Jan 1990 01:43

Re: Reasons why you don't prove your programs are correct
By: David H. West on Fri, 12 Jan 1990 05:51

Re: Reasons why you don't prove your programs are correct
By: victor yodaiken on Fri, 12 Jan 1990 13:41

Re: Re^2: Reasons why you don't prove your programs are correct
By: Barry Shein on Fri, 12 Jan 1990 03:04

Re: Commercial AI journals
By: kern on Wed, 10 Jan 1990 20:07

Re: Reasons why you don't prove your programs are correct
By: Flame Bait on Fri, 12 Jan 1990 01:29

Re: Reasons why you don't prove your programs are correct
By: Henry Spencer on Fri, 12 Jan 1990 16:48

Demise of comp.ai.digest/ Social Processes & Proofs
By: Les Gasser on Fri, 12 Jan 1990 01:14

Re: Re^2: Reasons why you don't prove your programs are correct
By: Scott Simpson on Thu, 11 Jan 1990 21:51

Re: Reasons why you don't prove your programs are correct
By: Brian L. Stuart on Thu, 11 Jan 1990 20:19

Demise of AILIST
By: Charles Petrie on Thu, 11 Jan 1990 19:21

Re: Can Machines Think?
By: Brian L. Stuart on Thu, 11 Jan 1990 20:00

Verifier Suppliers (was Re: Reasons why you don't prove ...)
By: William Ricker on Thu, 11 Jan 1990 14:47

Re: Searle again
By: Kevin McEntee on Thu, 11 Jan 1990 17:43

Re^2: Reasons why you don't prove your programs are correct
By: Cory Kempf on Thu, 11 Jan 1990 15:23

Re: Can Machines Think?
By: Scott Hankin on Thu, 11 Jan 1990 15:06

Re: more Chinese Room
By: Steve Bloch on Thu, 11 Jan 1990 08:41

Re: Building a brain, revisited
By: John Nagle on Thu, 11 Jan 1990 05:38

Re: Thought and Utility
By: Steve Bloch on Thu, 11 Jan 1990 06:24

Re: Reasons why you don't prove your programs are correct
By: Barry Shein on Thu, 11 Jan 1990 01:55

chinese room/constructed intelligence
By: Michael Schwuchow on Wed, 10 Jan 1990 09:51

Re: Searle again
By: Ranjan Samuel Muttiah on Thu, 11 Jan 1990 03:51

Searle again
By: Ronald BODKIN on Thu, 11 Jan 1990 02:00

Re: Can Machines Think?
By: Ken Presting on Thu, 11 Jan 1990 01:49

Re: Recursive Searles, or what?
By: Ronald BODKIN on Thu, 11 Jan 1990 00:59

Re: Is the Chinese Room Experiment Consistent?
By: Jeff Dalton on Wed, 10 Jan 1990 21:18

Behavioral Definition of Intelligence (Re: Sci. American AI...)
By: Brian Yamauchi on Wed, 10 Jan 1990 23:17

Re: Reasons why you don't prove your programs are correct
By: james peterson on Wed, 10 Jan 1990 21:41

Re: Can Machines Think?
By: Paul V Torek on Wed, 10 Jan 1990 21:40

Correlation matrices for association
By: Stewart T Fleming IE87 on Wed, 10 Jan 1990 11:55

Re: more Chinese Room
By: Jeff Dalton on Wed, 10 Jan 1990 19:06

Re: The Chinese Room: syntax vs. semantics
By: Richard Kennaway on Wed, 10 Jan 1990 18:09

Re: The Chinese Room: syntax vs. semantics
By: Richard Kennaway on Wed, 10 Jan 1990 18:12

Re: Reasons why you don't prove your programs are correct
By: Greg Frazier on Wed, 10 Jan 1990 20:07

Re: Reasons why you don't prove your programs are correct
By: Snorri Agnarsson on Wed, 10 Jan 1990 14:25

Re: Sci Am AI debate
By: S. R. Harnad on Wed, 10 Jan 1990 16:14

Re: Sci. American AI debate: No Contest
By: David H. West on Wed, 10 Jan 1990 15:55

Re: Building a brain, revisited
By: Stephen Smoliar on Wed, 10 Jan 1990 15:14

Re: Sci. American AI debate: No Contest
By: robertso on Wed, 10 Jan 1990 03:00

The American Chinese-language-rule Genius (was: more Chinese Room)
By: Mike Sellers on Tue, 09 Jan 1990 16:40

Re: Reasons why you don't prove your programs are correct
By: John Nagle on Wed, 10 Jan 1990 06:38

Re: Late thoughts on T Test, rooms, and functions
By: Cliff Joslyn on Wed, 10 Jan 1990 06:19

RMCAI 90
By: Paul McKevitt on Wed, 10 Jan 1990 05:47

Re: Late thoughts on T Test, rooms, and functions
By: eugene.l.edmon on Wed, 10 Jan 1990 00:47

Re: more Chinese Room
By: Michael Ellis on Tue, 09 Jan 1990 22:06

Re: Can Machines Think?
By: Jon Allen Boone on Wed, 10 Jan 1990 02:04

Re: Building a brain, revisited
By: Charles Buckley on Wed, 10 Jan 1990 00:58

Re: Building a brain, revisited
By: Lord Snooty The Giant Poisoned E... on Tue, 09 Jan 1990 22:53

Re: Fwd: A Test for "Understanding"
By: Lord Snooty The Giant Poisoned E... on Tue, 09 Jan 1990 23:03

DAI Papers at AAAI-90
By: Mike Huhns on Tue, 09 Jan 1990 22:31

Re: Sci Am AI debate: Searle's 3rd Axiom and the (a+b)%16 room
By: Ken Presting on Tue, 09 Jan 1990 22:59

genetic algorithms
By: Tom J Farish on Tue, 09 Jan 1990 22:56

Re: The Chinese Room and the Babylonian Bureaucracy
By: Lord Snooty The Giant Poisoned E... on Tue, 09 Jan 1990 22:46

Re: Sci. American AI debate
By: Joe Keane on Mon, 08 Jan 1990 23:34

Re^2: Sci. American AI debate: No Contest
By: Chris Weyand on Tue, 09 Jan 1990 21:39

Building a brain, revisited
By: John Nagle on Tue, 09 Jan 1990 20:47

Who believes the understanders?
By: Sean Engelson on Tue, 09 Jan 1990 20:59

Sci Am AI debate: Searle's 3rd Axiom and the (a+b)%16 room
By: Karl Kluge on Tue, 09 Jan 1990 20:41

Re: Can Machines Think?
By: Gilbert Cockton on Tue, 09 Jan 1990 10:09

Re: Recursive Searles, or what?
By: Jeff Dalton on Tue, 09 Jan 1990 19:12

Re: Sci. American AI debate: No Contest
By: Jeff Dalton on Tue, 09 Jan 1990 18:59

Re: Sci. American AI debate: No Contest
By: Jeff Dalton on Tue, 09 Jan 1990 18:07

Re: Fwd: A Test for "Understanding"
By: Kevin G Crowston on Tue, 09 Jan 1990 20:23

Re: more Chinese Room
By: T. William Wells on Tue, 09 Jan 1990 16:23

Searle-in-the-room is not Searle-writing-the-paper
By: David Gaw on Tue, 09 Jan 1990 19:38

Re: Bidirectional Grammars - Request for References
By: John Cleary on Tue, 09 Jan 1990 04:10

CfP Intl. Workshop on Expert Systems in Engineering
By: Wolfgang Nejdl on Tue, 09 Jan 1990 18:21

Re: The Chinese Room and the Babylonian Bureaucracy
By: Fred Gilham on Tue, 09 Jan 1990 18:55

Re: Can Machines Think?
By: Fred Gilham on Tue, 09 Jan 1990 18:52

Re: Sci. American AI debate: No Contest
By: Jeff Dalton on Tue, 09 Jan 1990 17:12

Re: Recursive Searles, or what?
By: Jeff Dalton on Tue, 09 Jan 1990 16:22

Re: Recursive Searles, or what?
By: Fred Gilham on Tue, 09 Jan 1990 18:08

Fwd: A Test for "Understanding"
By: S. Narasimhan on Tue, 09 Jan 1990 17:35

Re: Sci. American AI debate: No Contest
By: Stephen Smoliar on Tue, 09 Jan 1990 14:53

Re: Recursive Searles, or what?
By: David H. West on Tue, 09 Jan 1990 15:54

Naval Research Lab seminars
By: Michael Samuels on Tue, 09 Jan 1990 13:38

Re: Sci. American AI debate
By: Ronald BODKIN on Tue, 09 Jan 1990 02:25

The Chinese Room and the Babylonian Bureaucracy
By: Mike Sellers on Tue, 09 Jan 1990 06:05

Re: Can Machines Think?
By: Brian Yoder on Tue, 09 Jan 1990 11:39

Re: Sci. American AI debate: No Contest
By: robertso on Tue, 09 Jan 1990 06:43

more Chinese Room
By: Paul N Fahn on Tue, 09 Jan 1990 04:31

Re: Recursive Searles, or what?
By: Ronald BODKIN on Tue, 09 Jan 1990 02:14

Re: Late thoughts on T Test, rooms, and functions
By: Fred Gilham on Mon, 08 Jan 1990 19:00

Re: Thought and Utility
By: Jenn Turney on Mon, 08 Jan 1990 18:31

Re: Sci. American AI debate: No Contest
By: Stephen Smoliar on Mon, 08 Jan 1990 15:54

Re: Reasons why you don't prove your programs are correct
By: David H. West on Mon, 08 Jan 1990 14:55

Re: Sci. American AI debate: No Contest
By: Mike Tanner on Mon, 08 Jan 1990 14:03

Re: Questions about robots
By: John - Nagle on Mon, 08 Jan 1990 03:36

Re: Reasons why you don't prove your programs are correct
By: John - Nagle on Mon, 08 Jan 1990 03:43

Re: Late thoughts on T Test, rooms, and functions
By: David H. West on Mon, 08 Jan 1990 06:13

Bidirectional Grammars - Request for References
By: Richard Hagen on Mon, 08 Jan 1990 09:02

Chinese Rulebook
By: Eliot Handelman on Mon, 08 Jan 1990 07:00

Re: Commercial AI journals
By: Tim Finin on Mon, 08 Jan 1990 00:20

Re: Can Machines Think?
By: John Palmer on Mon, 08 Jan 1990 02:16

Re: Reasons why you don't prove your programs are correct
By: Mark Robert Thorson on Sun, 07 Jan 1990 19:22

Re: Can Machines Think?
By: zocy641 on Mon, 08 Jan 1990 00:24

transcripts of conversations
By: R.Goldthwaite on Sun, 07 Jan 1990 23:24

Re: Sci. American AI debate
By: Karl Robert Pfleger on Sun, 07 Jan 1990 15:42

Fundamental question about Searle
By: eugene.l.edmon on Sun, 07 Jan 1990 03:16

Late thoughts on T Test, rooms, and functions
By: Cliff Joslyn on Sun, 07 Jan 1990 06:24

Re: Summary of replies for PD theorem prover
By: earl on Sun, 07 Jan 1990 03:53

Re: Virtual Reality
By: John Marquet on Fri, 05 Jan 1990 02:08

earliest use of OO in AI
By: Tim Atkins on Fri, 05 Jan 1990 03:05

Re: Recursive Searles, or what?
By: Fred Gilham on Sat, 06 Jan 1990 18:36

Re: Sci. American AI debate
By: Fred Gilham on Sat, 06 Jan 1990 18:02

Re: Sci. American AI debate
By: Greg Lee on Sat, 06 Jan 1990 16:11

Re: Is the Chinese Room Experiment Consistent?
By: Ranjan Samuel Muttiah on Sat, 06 Jan 1990 16:11

Re: Is the Chinese Room Experiment Consistent?
By: Greg Lee on Sat, 06 Jan 1990 15:28

Re: Sci. American AI debate: No Contest
By: John Jones on Fri, 05 Jan 1990 18:41

Re: Can Machines Think?
By: Dean Hougen on Sat, 06 Jan 1990 01:40

Re: Sci. American AI debate: No Contest
By: Dean Hougen on Sat, 06 Jan 1990 01:25

Re: Recursive Searles, or what?
By: Ranjan Samuel Muttiah on Sat, 06 Jan 1990 03:17

Re: Sci. American AI debate
By: Fred Gilham on Fri, 05 Jan 1990 23:26

Reasons why you don't prove your programs are correct
By: "Steve" Stevenson on Fri, 05 Jan 1990 18:55

Is the Chinese Room Experiment Consistent?
By: Mark William Hopkins on Sat, 06 Jan 1990 00:40

Re: Recursive Searles, or what?
By: Steven Daryl McCullough on Fri, 05 Jan 1990 22:55

Re: Sci. American AI debate
By: Chris Miller on Fri, 05 Jan 1990 15:41

Re: Sci. American AI debate: No Contest
By: Steven Daryl McCullough on Fri, 05 Jan 1990 21:31