Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 14 No. 33
NL-KR Digest Mon May 29 23:23:24 PDT 1995 Volume 14 No. 33
Today's Topics:
CFP: SAC'96 AI / Intelligent Interfaces, Feb 96, Philadelphia
Program: KRUSE Symp.: K. Retrieval, Efficiency, Aug 95, Santa Cruz
* * *
Subcriptions: listserv-style administrative requests to
nl-kr-request@ai.sunnyside.com.
Submissions, policy, questions: nl-kr@ai.sunnyside.com
To speed up processing of your submission write to
listserv@ai.sunnyside.com with the message:
GET nl-kr style
Back issues:
FTP: ai.sunnyside.com:/pub/nl-kr/Vxx/Nyyy
/pub/nl-kr/Vxx/INDEX
Gopher: ai.sunnyside.com, Port 70, in directory /pub/nl-kr
Email: write to LISTSERV@AI.SUNNYSIDE.COM, omit subject, mail command:
GET nl-kr nl-kr_file_list
Web: http://ai.sunnyside.com/pub/nl-kr
Editors:
Al Whaley (al@ai.sunnyside.com) and
Chris Welty (weltyc@sigart.acm.org).
-----------------------------------------------------------------------
From: robert@iias.flab.fujitsu.co.jp (Robert Inder)
Subject: CFP: SAC'96 AI / Intelligent Interfaces, Feb 96, Philadelphia
Date: Thu, 25 May 1995 04:29:23 GMT
**Call For Papers**
####################################################
10th ANNUAL SYMPOSIUM ON APPLIED COMPUTING (SAC '96)
++SPECIAL TRACK ON ARTIFICIAL INTELLIGENCE++
February 17 - 19, 1996
Marriott Hotel, Philadelphia, Pennsylvania
Over the past ten years, Symposium on Applied Computing has become a
primary forum for applied computer scientists and application developers
from around the world to interact and present their work. SAC '96 is
sponsored by the ACM Special Interest Groups SIGAda, SIGAPP, SIGBIO,
SIGCUE, and SIGICE.
Special track on Artificial Intelligence (AI)
==============================================
A special track on Artificial Intelligence will be held in SAC '96. It
will be a forum for scientists, engineers, researchers and practitioners
throughout the world to share technical ideas and experiences relating to
implementation, application and evaluation of Artificial Intelligence
techniques. Original papers and tutorials (half or full day) and panel
proposals are invited in all areas of AI applications. Major topics of
interest include, but are not limited to the following:
o Intelligent Front-Ends
o Natural Language Processing
o Diagram Interpretation
o User Modelling
o Integration with existing software or data systems
o Design or selection of information presentations (esp. multi-modal)
o Automatic design of software interfaces or other tools
Guidelines For Submission
=========================
Original papers dealing with any aspect of Artificial Intelligence
will be considered for presentation and publication in the SAC '96
Proceedings. This includes three categories of submissions:
1) original and unpublished research;
2) reports of innovative computing applications in the arts, sciences,
engineering, business, government, education and industry; and,
3) reports of successful technology transfer to new problem domains.
All submissions will be subject to peer review. Accepted papers in all
categories will be published in the symposium proceedings. Expanded
versions of selected papers from all categories will be considered for
publication in the ACM/SIGAPP quarterly Applied Computing Review or one of
the other participating SIGs' publications.
o An intention-to-submit by email to robert@cogsci.ed.ac.uk
would be appreciated. Please include the title, some keywords and a
one-paragraph summary of the paper and an indication of whether you
intend to submit electronically or on paper.
o The body of a long paper should not exceed 4,000 words
(approx. 15 pages, double-spaced).
o Author name(s) and address(es) must NOT appear in the body
of the paper, and self reference should be in third person.
o Separate from the paper, authors must provide the following
contact information:
o title of the paper
o author(s) and affiliation(s),
o address for correspondence (with fax and phone number)
o email address for correspondence (if available).
If an email address is given, it will be used.
o All papers must be received by SEPTEMBER 4TH, 1995.
NOTE:
The Track Chair will have limited access to email
for the three weeks prior to this deadline: do not rely on getting
answers to last-minute questions! Moreover, since the reviewing
period is only two months, THIS
DEADLINE IS FINAL, and any submissions received after it will be
ignored.
o TO SUBMIT ON PAPER, send the Track Chair a single package
containing:
o FOUR copies of the manuscript
o ONE separate cover sheet containing contact information.
Please ensure that the package is clearly marked as a submission to
the SAC'96.
o ELECTRONIC SUBMISSIONS can be accepted as either a single
file of ASCII text or a single file postscript. These files
must not identify the authors of the papers
Use anonymous ftp to transfer that file to ftp.cogsci.ed.ac.uk.
Put it in the directory /pub/SAC/incoming, using a file name derived
from the title. When you have done this, send an email notification
to the track chair (robert@cogsci.ed.ac.uk). This should have the
subject line ``SAC Submission'', and should contain the contact
information for the paper, the name and length in bytes of the file
transferred and the time it was transferred.
Current information about the track, and further information about
the Symposium, is available at
http://www.acm.org/conferences/computing_week/SAC96/
General enquiries should be sent to the Symposium Chair or the Program Chair.
Enquiries and submissions relating to this special track should be sent to:
Robert Inder
(SAC '96 Artificial Intelligence Track Chair)
Human Communication Research Centre
University of Edinburgh
2, Buccleuch Place,
Edinburgh
EH8 9LW
SCOTLAND
E-mail: R.Inder@ed.ac.uk
Tel: (+44) 31 650 4449
Fax: (+44) 31 650 4587
- - - - - - - - - - - ---
| IMPORTANT DATES |
| |
| SEPTEMBER 4, 1995 PAPERS AND PANEL SUBMISSION |
| NOVEMBER 1, 1995 AUTHOR NOTIFICATION |
| DECEMBER 15, 1995 CAMERA-READY COPY |
| FEBRUARY 17, 1996 CONFERENCE BEGINS |
- - - - - - - - - - - ---
Panels and Workshops
====================
Send submissions and proposals for panels, tutorials and workshops
by SEPTEMBER 1, 1995, to the Program Chair
K.M. George
Computer Science Department
MS 218
Oklahoma State University
Stillwater, OK 74078
Phone: (405) 744-5221
Fax: (405) 744-9097
E-mail: kmg@a.cs.okstate.edu
SAC '96 Officials
==================
Symposium Chair: Program Chair:
Jim Hightower K.M. George
Mgmt. Science/Information Systems Dept. Computer Science Department
California State University-Fullerton MS 218
Fullerton, CA 92634-9480 Oklahoma State University
Stillwater, OK 74078
Phone: (714) 773-2221 Phone: (405) 744-5221
Fax: (714) 449-5940 Fax: (405) 744-9097
E-mail: hightower@acm.org E-mail: kmg@a.cs.okstate.edu
Tracks and Track Chairs:
Ada, Steve Grimaldi, UHD
Scientific Computing/Mahir Ali, Univ. North Dakota
Programming Languages/Barrett Bryant, U. Alabama-Birmingham
Hisham Al-Haddad, Marshal University
Fuzzy Applications/Madjid Fathi,Univ. Dortmund
Biomedical Computing/Ed Lamie, CSU-Stanislaus
Computer Uses in Education/Jim Hightower, CSU-Fullerton
FORTH/Jack Woehr, FORTH Interest Group
Parallel and Distributed Algorithms/Gary Lamont, Air Force Inst. Tech.
Small Computing Systems/Hossein Saiedian, University of Nebraska
Genetic Algorithms/Roger Wainwright, Univ. Tulsa
Computational Logic and Logic Programming/Ralph Wilkerson, U.Missouri-Rolla
Computer and Telecommunication Networks/
Mohammad S. Obaidat, City Univ.of New York
Database Technology/Dik Lee, Univ. of Science and Technology, Hong Kong
Wireless Computing Systems and Applications/
Dorota M. Huizinga, California State University, Fullerton
-----------------------------------------------------------------------
From: Gerard Ellis <ged@cs.rmit.edu.au>
Subject: Program: KRUSE Symp.: K. Retrieval, Efficiency, Aug 95, Santa Cruz
To: kaw@swi.psy.uva.nl, AG-EXP-L@VM1.NoDak.EDU, LINGUIST@TAMVM1.TAMU.EDU,
Date: Fri, 12 May 1995 09:34:04 +1000 (EST)
Please find below the programme for KRUSE. A postscript version can be
ftp'ed
ftp.cs.rmit.edu.au
/pub/rmit/KRUSE/KRUSE.ps.Z
Also the KRUSE home page on the World Wide Web is
http://www.cs.rmit.edu.au/KRUSE/
CALL FOR PARTICIPATION
International KRUSE Symposium
___ Knowledge Retrieval, Use, and Storage for Efficiency ___
University of California, Santa Cruz
August 11-13 1995
Sponsored by:
Microtel Pacific Research, Burnaby, Canada.
IBM, Santa Teresa Laboratory, San Jose.
University of California at Santa Cruz.
Royal Melbourne University of Technology, Australia.
Centre for Systems Science, Simon Fraser University, Canada.
THEME
The symposium is a forum for exploring current research in artificial
intelligence, cognitive science, and databases that pertains to the
organization, encoding and retrieval of logical and complex objects.
The symposium draws together researchers from diverse disciplines as
well as practitioners engaged in developing real object-oriented term
classification systems. The basic questions to be addressed include
o classification of objects in a taxonomy: systemic classification,
semantic indexing, partial-order sorting, description identification,
and taxonomy maintenance.
o efficient order, lattice, graph, and code theoretic operations on objects:
subsumption, generalization, specialization, least common generalization,
and greatest common specialization.
o advanced uses of taxonomies: knowledge compression, knowledge compilation,
and knowledge evolution.
o using classified knowledge: classification as problem solving,
classification as constraint satisfaction, and exploiting abstraction.
o scalable techniques for large object databases
o integration of data and knowledge base technologies
The symposium maintains a balance between theoretical issues and
descriptions of implemented systems providing a balance between theory
and practice. The focus of the symposium is on efficiency of retrieval,
use and storage of knowledge.
ORGANIZING COMMITTEE:
Veronica Dahl (Co-Chair) Gerard Ellis, RMIT (Program Chair)
Director, Logic and Functionall Computer Science Dept.
Programming Group Royal Melbourne Inst of Technology
Professor, Computing Sciences Dept. GPO Box 2476, Melbourne, VIC 3001
Simon Fraser University Australia
Burnaby, B.C. V5A 1S6 CANADA
veronica@cs.sfu.ca ged@cs.rmit.edu.au
Phone (604) 291-3372 Phone: 61-3-660-5090
Fax (604) 291-3045 Fax: 61-3-662-1617
Andrew Fall (Co-Chair) Robert Levinson (Local Arrangements Chair)
School of Computing Science Dept. of Computer & Information Sciences
Simon Fraser University 229 Applied Sciences Building
Burnaby, B.C. V5A 1S6 CANADA University of California
fall@cs.sfu.ca Santa Cruz, CA 95064 U.S.A.
Phone: (604) 291-4302 levinson@cis.ucsc.edu
Fax: (604) 291-3045 Phone: (408) 429-2087
Fax: 459-4829
PROGRAM COMMITTEE:
Mohan Ahuja (USA) Robert Levinson (USA)
Hassan Ait-Kaci (Canada) Patrick Lincoln (USA)
Franz Baader (Germany) Robert MacGregor (USA)
Yves Caseau (France) Deborah McGuinness (USA)
Darrell Conklin (Canada) Guy Mineau (Canada)
Veronica Dahl (Canada) Werner Nutt (Germany)
Francesco Donini (Italy) Peter Patel-Schneider (USA)
Gerard Ellis (Australia) Raghu Ramakrishnan (USA)
Andrew Fall (Canada) Manfred Schmidt-Schauss (Germany)
Brian Gaines (Canada) James Schmolze (USA)
Jim Hendler (USA) Gert Smolka (Germany)
Fritz Lehmann (USA) Leon Sterling (USA)
Maurizio Lenzerini (Italy)
Auxiliary Reviewers
Jamie Andrews (Canada), Lin Padgham (Australia), Alex Borgida (USA),
Michel Habib (France), Andreas Podelski (Germany), Rudolf Wille (Germany).
CONFERENCE PROGRAM
FRIDAY August 11
8:00 - 9:00 Registration
9:00 - 9:30 Welcome Address and Conference Opening
Session 1: Description Logics
9:30 - 10:00 "Towards More Informative Answers in Terminological Logics"
Margarida Mamede and Luis Monteiro, Universidade Nova de Lisboa
(Portugal)
10:00 - 10:30 "Runtime and memory usage performance of description logics"
Piet-Hein Speel, Frank van Raalte, Paul E. van der Vet, and
Nicolaas J.I. Mars, University of Twente (The Netherlands)
10:30 - 11:00 Coffee Break
Session 2: Description Logics
11:00 - 11:30 "Implementing and Testing Expressive Description Logics:
A Preliminary Report"
Paolo Bresciani, Enrico Franconi and Sergio Tessaris,
IRST (Italy)
11:30 - 12:00 "Integrating a Description Logic System and an
Object-Centered Database System"
Lin Padgham, (RMIT, Australia), Patrick Lambrix,
and Stefan Kalmelid (University of Linkoping, Sweden)
12:00 - 12:15 "Terminological Reasoning by Query Evaluation: A Formal
Mapping of a Terminological Logic to an Object Data Model"
Ulrich Reimer, P. Lippuner (Swiss Life, Switzerland),
M. Norrie, and M. Rys (Swiss Federal Institute of
Technology, Switzerland)
12:15 - 1:30 Lunch (Provided)
Session 3: Deductive Databases / Classification
1:30 - 1:45 "Natural Deduction of Inheritance in Datalog"
Miguel-Angel Oros-Hernandez
1:45 - 2:00 "Knowledge Evolution in Deductive Databases"
Danilo Montesi (Imperial College, UK) and Franco Turini
(Universita di Pisa, Italy)
2:00 - 2:15 "Self-Organizing Knowledge Bases: The Integration Based
Approach"
Adil Kabbaj, Universite de Montreal (Canada)
2:15 - 2:30 "Objects, types and constraints as classification schemes"
Cecile Capponi, Jerome Euzenat and Jerome Gensel,
INRIA, Grenoble (France)
2:30 - 3:00 Coffee Break
Session 4: Classification
3:00 - 3:30 "Classification and Representation of Types in TDL"
Hans-Ulrich Krieger, DFKI, Saarbrucken (Germany)
3:30 - 4:00 "A Computational Model for the Efficient Retrieval of
Very Large Structure-Based Knowledge Bases"
Jose F. Quesada (Centro Informatico Cientifica de Andalucia,
Spain) and Gabriel Amores (Universidad de Sevilla, Spain)
4:00 - 4:15 "Efficient Knowledge Base Reasoning with Transitive DAGs"
Jutta Eusterbrock, GMD, Darmstadt (Germany)
4:15 - 5:30 Panel Discussion: ...
5:30 Reception
SATURDAY August 12
8:00 - 9:00 Registration
Session 5: Matching/Defaults/Legibility
9:00 - 9:30 "Improving the Legibility of Knowledge Bases"
Florence Lemaire, INRIA (France)
9:30 - 10:00 "Defaults in concept definitions: an application"
Pascal Coupey and Christophe Fouquere,
Universite Paris-Nord (France)
10:00 - 10:30 "Parallel Matching of Knowledge Structures"
William A. Andersen and James A. Hendler (University of
Maryland, USA)
10:30 - 11:00 Coffee Break
Session 6: Encoding Methods
11:00 - 11:30 "Heterogenous Encoding"
Andrew Fall, Simon Fraser University (Canada)
11:30 - 12:00 "Embedding Partially Ordered Sets in Product of Chains"
Michel Habib, Marianne Huchard and Lhouari Nourine, LIRMM,
Universite Montpellier II (France)
12:00 - 12:15 "An Abstract Framework for Taxonomic Encoding"
Andrew Fall, Simon Fraser University (Canada)
12:15 - 1:30 Lunch (Provided)
Session 7: Concept Analysis/ Compression
1:30 - 2:00 "Computing a Minimal Representation of the Subsumption
Lattice of All Conjunctions of Concepts Defined in a
Terminology"
Franz Baader, RWTH Aachen (Germany)
2:00 - 2:30 "Incremental Structuring of Knowledge Bases"
Robert Godin (Universite du Quebec a Montreal, Canada),
Guy Mineau (Universite Laval, Canada),
and Rokia Missaouri ((Universite du Quebec a Montreal, Canada)
2:30 - 2:45 "Issues in the Efficient Use of a Relation Ontology for
Conceptual Reasoning"
Chris Nowak and Peter W. Eklund, University of Adelaide
(Australia)
2:45 - 3:00 "On Compressing Databases Using Multi-Field Pattern Matching"
Weizhen Mao and Rahul Simha (College of William and Mary, USA)
3:00 - 3:30 Coffee Break
Session 8: Demonstrations
3:30 - 5:30 Demonstration of implemented systems.
5:30 Reception
SUNDAY August 13
8:00 - 9:00 Registration
Session 9: Conceptual Graphs / Graphical Formalisms
9:00 - 9:30 "The Search for Polynomial Projection of Conceptual Graphs"
Mark Willems, Free University of Amsterdam (The Netherlands)
9:30 - 10:00 "Formalization of graphical schemas for conceptual modelling:
General sketch-based logic vs. heuristic pictures"
B. Cadish and Z. Diskin, Frame Inform Systems (Latvia)
10:00 - 10:15 "An Activity-based Ontology using Conceptual Graphs"
Alexandra Galatescu ICI-Research Institute for Informatics
(Romania)
10:15 - 10:30 "Agreement graph dependencies and their application to
object-oriented design"
John Leuchner and Rattikorn Hewett (Florida Atlantic
University, USA) and Less Miller and Giora Slutzki
(Iowa State University, USA)
10:30 - 11:00 Coffee Break
Session 10: Conceptual Graphs and Description Logics
11:00 - 12:00 "On the relationship between Conceptual graphs and
Description Logics"
Gerard Ellis (RMIT) and Lin Padgham (RMIT)
12:00 - 1:30 Lunch (Provided)
Session 2: Panel Discussion
1:30 - 2:00 Panel: Conceptual Graphs vs Description Logics
2:00 - 2:30 Symposium Close
3:00 Reception
This programme and the latest information regarding KRUSE can be found
on the World Wide Web under http://www.cs.rmit.edu.au/KRUSE/
Information regarding the related 3rd International Conference on Conceptual
Structures ICCS95, August 14-18, 1995, University of California, Santa Cruz,
can be found on the World Wide Web under http://www.cs.rmit.edu.au/ICCS95/
* * * * * * * * * * * * * * * **
AIRPORT TRANSPORTATION
Alpha Cab: 408-295-8001
Santa Cruz Airporter: (a shuttle) 408-423-1234
Auto Rental: Auto World: 408-423-9830 725 Soquel Ave. Santa Cruz.
Budget Rent-A-Car: 408-425-1808 919 Ocean Street - Santa Cruz
DIRECTIONS:
1. From San Francisco: Take 101 South to Highway 880 South which turns
into Highway 17 at San Jose. You'll drive over the scenic Santa Cruz
mountains on Highway 17 right into Santa Cruz. Exit
onto Hiway 1 to Half Moon Bay - follow UCSC signs.
2. From San Jose. Take Highway 17 over the Santa Cruz Mountains into
the heart of Santa Cruz. Exit onto Hiway 1 to Half Moon Bay - follow
UCSC signs.
3. From Monterey. Take Highway 1 North through the fertile agricultural
area of the Pajaro Valley to Santa Cruz. Exit onto Hiway 1 to
Half Moon Bay - follow UCSC signs.
* * * * * * * * * * * * * * * **
Kruse'95 REGISTRATION FORM
Name: ___________________________________________________
Affiliation: ________________________________________________
Address: _________________________________________________
_________________________________________________________
Telephone: ___________________________
Fax: ________________________________
e-mail: ______________________________
Please indicate which event(s) for which you are registering.
Symposium registrants need not register for the Conference unless
they wish to do so.
___ $200 ($150 with ICCS registration) Symposium fee before 7/15/94
___ $250 ($200 with ICCS) Symposium fee after 7/15/95
___ $100 ($75 with ICCS registration) Student fee before 7/15/94
___ $150 ($125 with ICCS) Student fee after 7/15/94
Commuter Options:
If not registering for UCSC housing (see below)
you may register for:
parking(M-F): ($4/day) 11? week ($10)?
lunch: (6$/day) Specify days: 11? 12? 13?
3 meals: ($18/day) Specify days: 11? 12? 13?
Amount Enclosed: $________________
MAKE CHECKS PAYABLE TO "UC REGENTS"
Conference fee includes proceedings and receptions.
Payment must accompany the registration form. Checks must be in US
dollars only and payable to "UC REGENTS"
Please do not send cash. CREDIT CARDS WILL NOT BE ACCEPTED. Students
must provide a copy of a student I.D. card or a letter from an advisor
for proof of student status.
RETURN BY JULY 15, 1995 TO:
Kruse95-registration
Prof. Robert Levinson
225 Applied Sciences Building
Department of Computer and Information Sciences.
University of California at Santa Cruz
Santa Cruz, CA 95060
408-459-2087
FAX: 408-459-4829
e-mail: levinson@cse.ucsc.edu
* * * * * * * * * * * * * * * *
APARTMENT RESERVATION FORM
Kruse'95
August 11-12, 1995
University of California Santa Cruz Housing
Please reserve the following accommodations: (Base rates are
per person, per room, per night).
___ $70.25 Single Occupancy - basic $84.25 -deluxe
(send $140.50 for two days) (send $169.00 for two days)
___ $58.25 Double Occupancy - basic $71.50 - deluxe
(send $116.50 for two days) (send $143.00 for two days)
Basic includes fresh towels and linens but no housekeeping.
Deluxe includes full daily house-keeping.
Three dining hall meals per day are included with housing payment.
Apartment guests must register for at least the nights of Aug. 11
and Aug. 12. In addition you may register for Aug. 10 and Aug. 13.
August 10? __________
August 13? ___________
(if registering for these nights - increase your deposit accordingly).
___ Smoking ___ Non-smoking
Desired Roomate ____________ (if doubling).
[Roommate will be assigned if not specified.]
___ Deposit check enclosed in the amount of $ ____________
(send amount indicated above.)
Name: ___________________________________________
Affiliation: _________________________________________
Address: __________________________________________
__________________________________________________
Telephone: _________________________________________
Fax: ______________________________________________
SEND BY JULY 15, 1994 TO:
Housing Reservations - Kruse 95
Prof. Robert Levinson
225 Applied Sciences Building
Department of Computer and Information Sciences.
University of California at Santa Cruz
Santa Cruz, CA 95060
408-459-2087
FAX: 408-459-4829
End of NL-KR Digest
*******************
