Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 046
AIList Digest Thursday, 19 Feb 1987 Volume 5 : Issue 46
Today's Topics:
Seminars - A Juggling Robot (SU) &
Evaluating Data-Intensive Logic Programs (Rutgers),
Meetings - Mid-Atlantic Universities Regional AI Meeting &
Midwest AI and CogSci Society,
Conferences - Workshops on Database Programming Languages&
Change in Cognitive Science Conference,
Course - 2nd European Advanced Course in Artificial Intelligence
----------------------------------------------------------------------
Date: 12 Feb 1987 1354-PST (Thursday)
From: Grace Schmidt <schmidt@pescadero.stanford.edu>
Subject: Seminar - A Juggling Robot (SU)
CS 500 Computer Science Colloquium
Feb. 17, 4:15 pm, Skilling Auditorium
A Juggling Robot - Adventures in Real Time Control
by
Marc D. Donner
IBM, T.J. Watson Research Center
The computer community has generally addressed real-time control
problems in an ad-hoc fashion using tools designed for information
processing. In information processing the important issue is
ensuring that the correct calculations are carried out in the correct
order. In real-time problems there are deadlines that require that
the calculations be completed before a certain time to be correct.
This class of problems is interesting and is becoming more and more
important as we increasingly use computers to control things and not
just for information processing. In this talk I will describe work
in real-time control at the Thomas J. Watson Research Center in
Yorktown Heights and in particular, the juggling machine that we are
constructing as a testbed for our ideas. This talk will cover the
engineering of the machine, the design and construction of
programming languages and operating systems for real-time control,
and interesting problems in the mathematics of juggling.
------------------------------
Date: 16 Feb 87 02:38:15 EST
From: KALANTARI@RED.RUTGERS.EDU
Subject: Seminar - Evaluating Data-Intensive Logic Programs (Rutgers)
RUTGERS COMPUTER SCIENCE AND RUTCOR COLLOQUIUM SCHEDULE - SPRING 1987
Computer Science Department Colloquium :
Here is summary of speakers:
Date(Feb), Time, Place(Hill), Speaker Title
18, 9:50 ,705, Raghu Ramakrishnan,EVALUATING DATA INTENSIVE LOGIC PROGRAMS
18, 4:30, 525, Allan Borodin,Parallel Complexity of Algebraic Problems
19, 2:50, 705, Victor Pan, Parallel Nested Dissection for Path Algebra
Computations
20, 2:50, 705, Ben Cohen, "Knowledge-Based CAD-CAM Software Integration."
DATE : Wednesday, February 18
SPEAKER: Raghu Ramakrishnan
AFFILIATION: University of Texas at Austin
TITLE: EVALUATING DATA INTENSIVE LOGIC PROGRAMS
TIME: 9:50
PLACE: Hill 705
ABSTRACT
There has been considerable interest recently in the problem of
evaluating @u[logic queries] against relational databases. The
evaluation methods that we consider rely upon @i[bottom-up fixpoint
computation], which, unlike Prolog's depth-first strategy, is
@i[complete]. These methods also take advantage of efficient database
join techniques. The major criticism of such methods is that they do
not fully utilize the constants in the query to restrict the search
space, and thus perform unnecessary computation. Such constants are
used by Prolog through a process of @i[sideways information passing],
since variable bindings generated in solving a goal restrict the
search space in solving subsequent goals.
We define @i[sideways information passing] formally. Given a program,
we show that any sideways information passing strategy may be
implemented by rewriting the program and evaluating the rewritten
program bottom-up, thus answering the above criticism. We describe
several rewriting algorithms, generalizing some of the bottom-up
methods described in the literature - Magic Sets, Counting, and their
variants - to work with arbitrary logic programs. We also present the
results of a performance analysis which provides some insight about
the relative cost of these methods.
------------------------------
Date: Fri, 13-FEB-1987 13:11 EST
From: MILLER%VTCS1.BITNET@wiscvm.wisc.edu
Subject: Meeting - Mid-Atlantic Universities Regional AI Meeting
********************Mid-Atlantic Regional AI Meeting********************
The first annual meeting of AISMAS (the AI Society of the Mid-Atlantic
States) will be held at Virginia Tech in Blacksburg, Virginia on March 6
and 7. The meeting will include a keynote speech by Prof. Gerry Dejong
of the University of Illinois, panels on the value and capabilities of
expert systems and AI architectures, and graduate student presentations
of current research. As a special inducement towards graduate student
attendance/participation, there will be free doughnuts and coffee, and
no registration fee.
Below is a preliminary schedule of the AISMAS meeting:
Friday, March 6 Saturday, March 7
8:00pm Keynote speech: 8:30am Grad Student presentations
Prof Gerry Dejong, U. of Ill. 10:00am Coffee Break
9:30pm Reception 10:15am Panel
"What Expert Systems Can't Do"
11:15am Grad Student presentations
12:00 Lunch & program demos
1:30pm Grad Student presentations
3:00pm Coffee Break
3:15pm Panel
"Special AI Architectures"
4:15pm Grad Student presentations
5:00pm AISMAS Business Meeting
If you are doing AI research and in the Mid-Atlantic region (or near the
Mid-Atlantic region and don't mind a longish trip) then your attendance
and/or participation is encouraged. For more information about AISMAS
contact your local AISMAS coordinator or
Prof. David Miller
Dept of Computer Science, Virginia Tech
(703) 961-5605
miller%vtcs1@bitnet-relay.arpa
This year's meeting is sponsored by the Automation and Robotics Project
at the Jet Propulsion Laboratories and the Virginia Tech Department of
Computer Science.
------------------------------
Date: Mon, 16 Feb 87 10:44:51 CST
From: Kris Hammond <kris%gargoyle.uchicago.csnet@RELAY.CS.NET>
Subject: Meeting - Midwest AI and CogSci Society
The First Annual Meeting
of
The Midwest Artificial Intelligence
and
Cognitive Science Society
April 24th and 25th
University of Chicago
Department of Computer Science
Call for Abstracts
Deadline: March 20th.
MAICSS is a new organization designed to promote interaction between
AI and Cognitive Science groups in the Midwest. Its activity is
centered around an annual meeting including talks by both faculty and
students. The first meeting is scheduled for April 24th and 25th at
the University of Chicago.
The emphasis in student talks is work in progress. The idea is to air
new work at a time when feedback will be most helpful. Submissions
for these talks will take the form of short abstracts (about 3 pages).
Each submission should include three copies of the abstract, each with
a title page including name, address and affiliation. The deadline
for abstracts is March 20th, 1987.
There is no registration fee, but we ask that anyone interested in
attending please contact us so we can get a correct head count.
Send submissions and inquires to:
Kristian Hammond
Department of Computer Science
University of Chicago
1100 East 58th Street
Chicago, IL 60637
Any questions can be sent to me via E-mail addressed to:
kris@uchicago.csnet --- for CSnet mail.
kris%uchicago.csnet-relay.arpa --- for ARPA mail.
------------------------------
Date: Sun, 15 Feb 87 15:57:49 EST
From: Peter Buneman <Peter@cis.upenn.edu>
Subject: Conference - Workshops on Database Programming Languages
Workshops on Persistent Object Systems and
Formal Aspects of Database Programming Languages.
Two workshops on these topics are to take place this summer in Europe
immediately before and after VLDB.
The first, to be held on the West coast of Scotland, August 25-28, will
focus on the design and implementation of persistent object systems.
The second, in Finistere, France, Sept 7-10, will discuss the relationship
between the semantics of databases an programming languages as it appears in
data types and data models, object oriented programming, logic programming,
higher-order relations etc.
The purpose of both workshops is to encourage informal discussions among
researchers in these areas and presentations of current research.
Attendance at these workshops is limited and will be decided on the basis
of abstracts.
For more information, send mail to one of the following addresses.
In the US:
Peter Buneman Rishiyur Nikhil
CIS, Moore School/D2 Labporatory for Computer Science
University of Pennsylvania Massachusetts Institute of Technology
Philadelphia, PA 19104 545 Technology Square
(Peter@cis.upenn.edu) Cambridge MA 02139
(Nikhil@xx.lcs.mit.edu)
In Europe:
Francois Bancilhon Malcolm Atkinson
INRIA Department of Computing Science
BP 105 University of Glasgow
78153 Le Chesnay Cedex Glasgow, G12 8QQ
France Scotland
(bancilhon@inria.uucp) (mpa@cs.glasgow.ac.uk)
------------------------------
Date: Sun, 15 Feb 87 22:52:48 PST
From: levin@CS.UCLA.EDU
Reply-to: levin@CS.UCLA.EDU (Stuart Levine)
Subject: Conference - Change in Cognitive Science Conference
I have been asked to post this by Prof. Earl Hunt.
Note that there are two changes to the original: a new
submission deadline, and info on camera-ready papers.
Cognitive Science Society
Announcement of Meeting and Preliminary call for Papers
The Ninth Annual Conference of the Cognitive Science Society will be held
on July 16-18, 1987 at the University of Washington. The dates have been
chosen to allow people to attend this conference and the conference
of the American Association for Artificial Intelligence, which meets in
Seattle earlier in the week. The conference will feature symposia and
invited speakers on the topics of mental models, educational and indus-
trial applications of cognitive science, discourse comprehension, the
relation between cognitive and neural sciences, and the use of connec-
tionist models in the cognitive sciences. The conference schedule will
include paper sessions and a poster session, covering the full range
of the cognitive sciences. The proceedings of the conference will be
published by L Erlbaum Associates.
Submitted papers are invited. These should cover original, unreported
work, research or analysis related to cognition. All submissions for
paper and poster sessions will be refereed.
All submitted papers and posters must include the following:
Author's name, address, and telephone number.
Set of four or fewer topic area keywords.
Four copies of the full paper (4000 words maximum) or poster
(2000 words maximum). Each copy should include a 100-250
word abstract.
Indication of preference for paper or poster session.
All papers MUST adhere to the following rules for preparation of
camera-ready copy. NOTE: Papers will NOT be sent back after
acceptance for modification. The accepted paper will be sent
directly to the publisher.
1 inch margins on both sides, top, and bottom.
Single spaced text. Figures centered on type page at
top or bottom.
Titles and author's names and institutions centered at
top of first page.
One line between title heading and text.
Use American Psychological Association publication format.
Authors are responsible for obtaining permission to reprint
published material.
Send submissions to Earl Hunt, Department of Psychology,
University of Washington, Seattle, Wa 98195
Submissions are due by MARCH 16, 1987. NOTE NEW DATE
All members of the Cognitive Science society will receive a further
mailing discussing registration, accommodation, and travel.
------------------------------
Date: Mon, 16 Feb 87 18:58:56 +0100
From: aamodt%vax.runit.unit.uninett@NTA-VAX.ARPA
Subject: Course - 2nd European Advanced Course in Artificial
Intelligence
ACAI-87
ECCAI's 2nd Advanced Course in Artificial Intelligence
July 28 to August 7, 1987
Oslo, Norway
Organizer: NAIS - Norwegian Artificial Intelligence Society
Chairman : Rolf Nossum, Computas Expert Systems, N-1322 Hovik
The European Coordinating Committee for Artificial Intelligence (ECCAI)
organizes biannual Avanced Courses in Artificial Intelligence. This
years course is the second of its kind, following the one held in
Vignieu, France, 1985.
Despite the spectrum of scientific activities in Artificial Intelligence
research, covering such diverse domains as Knowledge Representation,
Learning, Natural Language, Robotics, Vision, Program Synthesis, Automated
Reasoning, AI-oriented Programming, there exists a common core of methods
and techniques for Symbolic Information Processing.
This common formal basis will be treated in depth during the course, and
the use of general as well as special techniques in some selected subfields
of AI will be the main emphasis.
ACAI-87 will not be an introductory course in AI, but is intended to meet
the needs of researchers and practitioners in the field.
TOPICS LECTURERS
Inference methods WOLFGANG BIBEL , Germany
Machine Learning ALAN BIERMAN , USA
Expert Systems Methodology WILLIAM CLANCEY , USA
Qualitative Reasoning TONY COHN , England
Natural Language JENS-ERIK FENSTAD, Norway
Parallell and Rewriting Systems PHILLIPPE JORRAND, France
AI Planning SAM STEEL , England
Knowledge Acquisition BOB WIELINGA , Holland
Fee: Appx. $900 (900 ECU). This covers accomodation, meals and course
material.
Interested? For more information, please write to:
ACAI-87
P.O. Box 5030 Majorstua
N-0301 OSLO 2
N o r w a y
Specific questions may be sent to the network address below.
DEADLINE FOR APPLICATION IS MARCH 1, 1987 !
Sent by: <aamodt%vax.runit.unit.uninett@nta-vax.arpa>
Agnar Aamodt, Knowledge Engineering Laboratory
SINTEF-RUNIT, University of Trondheim, N-7034 Trondheim-NTH
------------------------------
End of AIList Digest
********************
