AIList Digest Volume 8 Issue 082

eZine lover (@eZine)

Published in 

AIList Digest

 · 11 months ago

AIList Digest           Wednesday, 14 Sep 1988     Volume 8 : Issue 82 

 Queries: 

  Info on Automatic Reasoning 
  Validation of Expert Shell Applications 
  paper review time 
  intelligent tutoring query 
  model curriculum 
  Network Design problems 
  Request Raj Reddy's AAAI talk details 
  artificial intelligence programming code 

---------------------------------------------------------------------- 

Date: 8 Sep 88 07:23:14 GMT 
From: munnari!charlie.oz.au!spock@uunet.UU.NET (Simon Tong) 
Reply-to: spock@charlie.OZ (Simon Tong) 
Subject: Info on Automatic Reasoning 

 
  G'day.  I am after a list of Australian institutions that are actively 
  conducting research on Automatic Reasoning and/or Automated Theorem Proving. 

  I am also looking for good references to books, articles or journals 
  that are devoted to the above areas. 

  I would be grateful for any information ( esp. the current status of 
  research, new paradigms ). 

  Please respond by mail and if anyone is interested, I shall summarize to the 
  network. 

  Thanks in advance. 

============================================================================== 
  Simon Tong 
  Deakin University, Geelong, Victoria. 
============================================================================== 

------------------------------ 

Date: 8 Sep 88 19:12:17 GMT 
From: mailrus!ncar!dinl!noren@ohio-state.arpa  (Charles Noren) 
Subject: Validation of Expert Shell Applications 

I need a pointer to information on software validation techniques 
in general and specifically the validation of software applications 
written in an expert shell.  I am using G2 by Gensym (which I like 
very much) and need to get a handle on formal verification techniques. 

Thanks, 
-- 
Chuck Noren 
Martin Marietta I&CS, Denver, CO 
(303) 971-7930 

------------------------------ 

Date: 8 Sep 88 21:26:22 GMT 
From: psuhcx!sbj@psuvax1.psu.edu  (Sanjay B. Joshi) 
Subject: paper review time 

Does anybody know what the turn around time for papers submitted to 

IEEE Robotics and Automation 
IEEE Man, Systems, Cybernetics. 

How long is the average review process. And how long does it take to 
appear in print once the paper is accepted. 

 

sanjay joshi 

------------------------------ 

Date: 9 Sep 1988 14:12:37 CDT 
From: Susan.Mengel@LSR.TAMU.EDU 
Subject: intelligent tutoring query 

 
Does anybody know where I might obtain a copy of: 

     Friend, J.E. and R.R. Burton. 
     Teacher's Guide for Diagnostic Testing in Arithmetic:  Subtraction. 
     Cognitive and Instructional Sciences. 
     Xerox Parc, Palo Alto Research Center, Palo Alto, CA. 

This was a manual used in the BUGGY project conducted by John Seely Brown 
and Richard R. Burton.  I have written to Dr. Brown for a copy of it, but 
have received no answer.  I am going to call him as well, but I still want 
to see if anyone else might have it. 

I am a Ph.D. student and would like to use the results of this research in my 
dissertation on intelligent tutoring systems. 

I would also like to know if anyone is doing research on combining neural 
networks and intelligent tutoring systems. 

Thanks in advance, 

Susan Mengel 
Research Associate 

Reply to:  Dept. of Computer Science 
           Texas A&M University 
           College Station, TX  77843-3112 
           (409) 845-5534 

ARPANET:  Susan.Mengel@LSR.TAMU.EDU 
BITNET:   MENGEL@TAMLSR 

------------------------------ 

Date: Mon, 12 Sep 88 13:39 N 
From: <INDUGERD%CNEDCU51.BITNET@MITVMA.MIT.EDU> 
Subject: model curriculum 

Hello, 

As AI teaching is developping in Swiss universities, I would like to 
establish a kind of model curriculum for AI, both at undergraduate and graduate 
level. 

So I would greatly appreciate suggestions and advices from people involved 
in AI teaching, and know what courses are actually taught in universities 
having programs in AI. 

If enough interest, I will summarize for the net. 

Thank you. 

Philippe Dugerdil 
Institute of Informatics 
Univ.of Neuchatel 
Switzerland 

Bitnet: indugerd@cnedcu51. 

------------------------------ 

Date: 12 Sep 88 17:41:27 GMT 
From: pc@bellcore.bellcore.com  (Peter Clitherow) 
Subject: Network Design problems 

It seems that problems of designing communications networks (which i'm 
interested in) are related to other sorts of networks different domains, 
such as Urban Planning and the Oil/Gas industry.  Has anyone studied the 
methods those fields use for design - if so, could they send me any 
reference? 

Peter Clitherow, Bellcore, 
  444 Hoes Lane, Room 1H-213, 
  Piscataway, NJ 08854 

------------------------------ 

Date: 12 Sep 88 21:58:25 GMT 
From: att!ihlpa!tracy@bloom-beacon.mit.edu  (Tracy) 
Subject: Request Raj Reddy's AAAI talk details 

Sadly, I did not take notes during Raj Reddy's address at the AAAI 
conference in St. Paul. Could someone please remind me what the five 
tenets of AI were? I can vaguely remember some of them like the 
50,000 +/- 20,000 rule. 

Thanks to anyone who can help. 

        --Kim Tracy, 312-979-4164 

------------------------------ 

Date: 13 Sep 88 00:47:01 GMT 
From: orange.cis.ohio-state.edu!amra@ohio-state.arpa  (Nasir K Amra) 
Subject: artificial intelligence programming code 

I am going through Chernaik, Eugene 's "Artificial  Intelligence Programming" 
 2nd editionbook in an attempt to learn common lisp as welll as ai programming 
techniques. Does anyone know if the code in the book is available via 
the net (preferably ftp)? It would save me quite a lot of typing in and 
allow me to experiment with the code. 

------------------------------ 

End of AIList Digest 
********************