Date: Sun 19 Jun 1988 21:12-EDT From: AIList Moderator Nick Papadakis Reply-To: AIList@AI.AI.MIT.EDU Us-Mail: MIT Mail Stop 38-390, Cambridge MA 02139 Phone: (617) 253-2737 Subject: AIList Digest V7 #38 To: AIList@AI.AI.MIT.EDU Status: RO 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 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 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 ********************