Copy Link
Add to Bookmark
Report
AIList Digest Volume 8 Issue 082
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
********************
