Copy Link
Add to Bookmark
Report
AIList Digest Volume 7 Issue 038
AIList Digest Monday, 20 Jun 1988 Volume 7 : Issue 38
Today's Topics:
Announcements:
New mailing list
Computatational linguistics/formal semantics workshop
PODS-89 Call for Papers
Queries:
representation languages
BRAINS AI tool
----------------------------------------------------------------------
Date: Fri, 17 Jun 88 13:56:39 PDT
From: jlevy.pa@Xerox.COM
Subject: New mailing list
CLP.X@XEROX.COM
Coordinator: Jacob Levy <jlevy.pa@xerox.com>
Unmoderated, direct-redistribution mailing list devoted to discussion of
the following topics (among others):
* Concurrent logic programming languages
- Problematic constructs
- Comparisons between languages
* Concurrent constraint programming languages
- Constraint solvers, including those for discrete constraint
satisfaction
- Language issues
* Semantics, proof techniques and program transformations
- Partial evaluation
- Meta interpretation
- Embedded languages
* Parallel Prolog systems
- Restricted And-parallel
- Or-parallel Prolog
* Implementations
- Announcement of software packages
- Reports on performance
- Issues in implementation
* Programming techniques and idioms, applications
- Open systems and distributed computation
- Small demonstration programs
* Seminars, conferences, trip reports etc. related to the above
All requests to be added to or deleted from this list, problems, questions,
etc., should be sent to clp-request.x@xerox.com or to jlevy.pa@xerox.com.
All messages will be archived and can be obtained on request from the list
coordinator.
------------------------------
Date: 17 Jun 88 16:12 +0100
From: Mike Rosner <rosner%cui.unige.ch@RELAY.CS.NET>
Subject: COMPUTATATIONAL LINGUISTICS/FORMAL SEMANTICS WORKSHOP
****WORKSHOP ANNOUNCEMENT/APPLICATION FORM******
-------------------------
COMPUTATIONAL LINGUISTICS
AND
FORMAL SEMANTICS
-------------------------
Institut Dalle Molle ISSCO, Geneva
Istituto Dalle Molle IDSIA, Lugano
29th August - 2nd September 1988
Palazzo dei Congressi, LUGANO, Switzerland
With the support of
Fondazione Dalle Molle
Citta' di Lugano
European Economic Community
Fonds National Suisse
AIMS: to present both tutorial and current research material in
these two fields.
PROGRAM
Tutorials:
Jens Erik Fenstad, (Oslo)
Representation and Interpretation
Martin Kay, (Xerox)
Unification and the Syntax/Semantics Interface
Barbara Partee, (UMass)
Current Issues in Formal Semantics
Workshop Papers:
Ewan Klein (Edinburgh)
Context and Compositionality
Kris Halvorsen, (Xerox)
Algorithms for Semantic Interpretation
Pat Hayes, (Xerox)
Natural Language versus Mental Representations
Michael Moortgat, (Leiden)
Categorial Parsing and Implicational Deduction
Ray Turner, (Essex)
Polymorphism in Semantics
Johan van Benthem, (Amsterdam)
Logical Semantics and the Theory of Types
Yorick Wilks, (New Mexico)
Form and Content in Semantics
Margaret King (Geneva)
Computational Linguistics and Formal Semantics?
Rod Johnson, Mike Rosner, CJ Rupp* (Lugano/*Manchester)
Situation Schemata and Linguistic Representation
REGISTRATION
o To receive application form: rosner@cui.unige.ch or
..cernvax!unige!cui!rosner
Further information: Sandra Manzi/Mike Rosner +41 22 20 93 33 ext. 2115
===================================================================
==================
------------------------------
Date: 17 Jun 88 21:47:49 GMT
From: sbcs!kifer@sbcs.sunysb.edu (Michael Kifer)
Subject: PODS-89 Call for Papers
Call for Papers
Eighth ACM SIGACT-SIGMOD-SIGART Symposium on
PRINCIPLES OF DATABASE SYSTEMS (PODS)
Philadelphia, Pennsylvania, March 29-31, 1989
Extended Abstracts due October 10, 1988
The conference will cover new developments in both the theoretical and
practical aspects of database and knowledge-base systems. Papers are
solicited which describe original and novel research about the theory,
design, specification, or implementation of database and knowledge-
base systems.
Some suggested, although not exclusive, topics of interest are:
complex objects, concurrency control, database machines, data models,
data structures, deductive databases, dependency theory, distributed
systems, incomplete information, knowledge representation and
reasoning, object-oriented databases, performance evaluation, physical
and logical design, query languages, query optimization, recursive
rules, spatial and temporal data, statistical databases, and
transaction management.
You are invited to submit eleven copies of a detailed abstract (not a
complete paper) to the program chairman:
Ashok K. Chandra - PODS
IBM T. J. Watson Research Center
P.O. Box 218
Yorktown Heights, NY 10598.
ashok@ibm.com (914) 945-1752.
Submissions will be evaluated on the basis of significance,
originality, and overall quality. Each abstract should 1) contain
enough information to enable the program committee to identify the
main contributions of the work; 2) explain the importance of the work -
its novelty and its practical or theoretical relevance to database
and knowledge-base systems; and 3) include comparisons with and
references to relevant literature. Abstracts should be no longer than
ten double-spaced pages. Deviations from these guidelines may affect
the program committee's evaluation of the paper.
Program Committee
Catriel Beeri Daniel J. Rosenkrantz
Ashok K. Chandra Oded Shmueli
Hector Garcia-Molina Victor Vianu
Michael Kifer William E. Weihl
Teodor C. Przymusinski Carlo Zaniolo
The deadline for submission of abstracts is OCTOBER 10, 1988. Authors
will be notified of acceptance or rejection by December 7, 1988. The
accepted papers, typed on special forms, will be due at the above
address by January 11, 1989. All authors of accepted papers will be
expected to sign copyright release forms. Proceedings will be
distributed at the conference, and will be subsequently available for
purchase through the ACM.
General Chair: Local Arrangements Chair:
Avi Silberschatz Tomasz Imielinski
Computer Science Department Dept. of Computer Science
Univ. of Texas at Austin Rutgers University
Austin, Texas 78712 New Brunswick, NJ 08903
avi@sally.utexas.edu imielinski@rutgers.edu
------------------------------
Date: Fri, 17 Jun 1988 08:39-EDT
From: weh@SEI.CMU.EDU
Subject: Re: representation languages
Newsgroups: comp.ai.digest
Subject: Re: representation languages
Summary: admit ignorance-want references
Expires:
References: <19880615061555.7.NICK@INTERLAKEN.LCS.MIT.EDU>
Sender: Bill Hefley
Reply-To: weh@bu.sei.cmu.edu.UUCP (Bill Hefley)
Followup-To: weh@sei.cmu.edu.UUCP
Distribution:
Organization: Carnegie-Mellon University, SEI, Pgh, Pa
Keywords:
In a previous article Paul Vierhout (vierhout@swivax.UUCP) mentions Breuker
and Wielinga's work on Iterpretation Models and Chandrasekaran's work in
generic tasks. I must admit ignorance of both of these bodies of work. Can
anyone provide references? I'd be happy to summarize or mail summaries if
there is enough interest.
I'm looking for both references and a short explanation of why these efforts
are useful in understanding the real-world tasks to be modeled.
Thanks.
____ ______ _____ _____===== Bill Hefley
/ __ \ | _____| |_ _| _____========= Software Engrg Institute
| |__|_| | |__ | | _____============= Carnegie Mellon
_\___ \ | __| | | _____================= Pittsburgh, PA 15213
| |__| | | |____ _| |_ _____============= (412) 268-7793
\____/ |______| |_____| _____========= ARPA: weh@sei.cmu.edu
-----===== BITNET: weh%sei.cmu.edu
CSNET: weh%sei.cmu.edu@
relay.cs.net
C a r n e g i e M e l l o n U n i v e r s i t y
+---------------------------- Disclaimer -------------------------------+
| The views expressed herein are my own and do not necessarily reflect |
| those of my employer. |
+-----------------------------------------------------------------------+
------------------------------
Date: 17 Jun 88 16:50:00 GMT
From: osu-cis!dsacg1!ntm1169@ohio-state.arpa (Mott Given)
Subject: BRAINS AI tool
In the Summer 1988 issue of IEEE Expert, there was a special article on
Expert Systems in Japan. On page 72 the article mentioned an AI tool
called BRAINS that runs on 3081 hardware (presumably being the IBM mainframe
called a 3081). Can anyone give me an address and/or phone number where
I can find more about BRAINS. Also, I would like to find more information
on another software tool mentioned on page 73, Esparon that runs on an
IBM 5550.
--
Mott Given @ Defense Logistics Agency ,DSAC-TMP, P.O. Box 1605,
Systems Automation Center, Columbus, OH 43216-5002
UUCP: {cbosgd,gould,cbatt!osu-cis}!dsacg1!mgiven
Phone: 614-238-9431
------------------------------
End of AIList Digest
********************
