Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 12 No. 07
NL-KR Digest Tue Jun 15 11:12:45 PDT 1993 Volume 12 No. 7
Today's Topics:
CFP: International Conference on Software Engineering
Query: Object Systems for KR Symposium Proposal
CFP: 1994 IEEE World Congress on Computational Intelligence
Announcement: ICLP'93 Final Program available
Announcement: KBSE-93 Program
Submissions: nl-kr@cs.rpi.edu
Requests, policy: nl-kr-request@cs.rpi.edu
Back issues are available from host ftp.cs.rpi.edu [128.213.3.254] in
the files nl-kr/Vxx/Nyy (ie nl-kr/V01/N01 for V1#1), or by gopher at
cs.rpi.edu, Port 70, choose RPI CSLab Anonymous FTP Server. Mail requests
will not be promptly satisfied. Starting with V9, there is a subject index
in the file INDEX. If you can't reach `cs.rpi.edu' you may want
to use `turing.cs.rpi.edu' instead.
BITNET subscribers: we now have a LISTSERVer for nl-kr.
You may send submissions to NL-KR@RPITSVM
and any listserv-style administrative requests to LISTSERV@AI.SUNNYSIDE.COM.
-----------------------------------------------------------------------
To: icse16-list@info.ucl.ac.be
Date: Wed, 9 Jun 93 18:21:04 +0200
From: avl@info.ucl.ac.be (A. van Lamsweerde)
Subject: CFP: International Conference on Software Engineering
CALL FOR PAPERS
16th International Conference on SOFTWARE ENGINEERING
Sorrento, Italy, May 16-21, 1994
The objective of ICSE is to foster the development of the software engineering
field by:
1) providing a forum for the introduction and discussion of new
software engineering research results;
2) providing the practicing engineer an evaluation of evolving research;
3) providing the research community exposure to the problems of practical
applications of software engineering;
4) encouraging the exchange of advanced software technology and experience
within the international community.
To address these goals ICSE-16 will integrate a variety of events:
presentations of technical papers, panels, tutorials, research workshops
and tools demonstrations.
REFEREED PAPERS should include a short abstract, a list of descriptive keywords,
specification of the type of submission (Research/ Experience) and complete
contact information for the lead author. Submissions must be no longer than
6000 words. Their content must not have been previously published, nor be
currently under consideration for publication elsewhere.
RESEARCH PAPERS will be evaluated for originality, significance, soundness,
and clarity. Theoretical and methodological papers should clearly show how the
results presented contribute to software engineering practice. Papers on
systems should concentrate on technical and architectural issues rather than
providing feature-by-feature descriptions. Experimental papers should describe
the experimental method used and interpret the results in terms of practice.
EXPERIENCE REPORTS will be evaluated for significance of the lessons and
insights gained from use of advanced methods and techniques.
All papers should clearly indicate what is new and significant about the work
presented and how it compares with related work. Accepted papers will appear
in the conference proceedings. The best papers will be considered for
publication in a special issue of ACM Transactions on Software Engineering and
Methodology (ACM TOSEM).
PANEL PROPOSALS should include the title, a brief description of the objectives
and issues to be covered, the panel chair and probable panelists (including
short vitae). Panels will be selected according to their substance and
contributions to the conference program.
SUBMISSIONS of eight (8) copies of Papers and Panel Proposals should be sent by
September 6, 1993 to program co-chair, Axel van Lamsweerde.
TUTORIAL PROPOSALS should address important software engineering topics that
are of particular interest to practitioners. Proposals should include a
detailed topical outline of the material to be covered, should specify the
proposed length of the tutorial (full or half day), and the background and
experience of the instructor. Proposal selection will be based upon
appropriateness of the topic, quality of the outline, credentials of the
instructor, and likely appeal of the topic to prospective conference attendees.
Tutorial Proposals should be sent by September 6, 1993 to tutorial co-chair
Aniello Cimitile.
TOOLS FAIR PROPOSALS should suggest the demonstration of tools, systems and
environments that represent the best of current research work or commercially
available products. Proposals should include a brief description of the
software to be demonstrated, the demonstration itself, and any technical
presentations desired. The character of these demonstrations and presentations
must be consistent with the scholarly nature of ICSE. Tools Fair proposal
selection will be based upon the importance, relevance, and novelty of the
software to be demonstrated. Proposals should be submitted by January 31, 1994
to Tools Fair co-chair Alfonso Fuggetta.
WORKSHOPS. Three pre-Conference workshops will explore research issues at the
intersection between Software Engineering and other disciplines. The subject
areas and contact points for these workshops are:
SOFTWARE ENGINEERING AND DATABASES
(Roger King: roger@cs.colorado.edu),
SOFTWARE ENGINEERING AND ARTIFICIAL INTELLIGENCE
(Steve Fickas: fickas@cs.uoregon.edu),
SOFTWARE ENGINEERING AND HUMAN-COMPUTER INTERACTION
(Dick Taylor: taylor@ics.uci.edu).
Each workshop will develop a research agenda, which will be presented at a
special session of the conference.
There will also be a post-Conference workshop on SOFTWARE ENGINEERING EDUCATION
(contact: Anthony Finkelstein, acwf@doc.ic.ac.uk).
Please contact the Workshop Chairs for information on how to participate.
IMPORTANT DATES:
Papers, Panels and Tutorials submission deadline: September 6, 1993
Acceptance notification: December 15, 1993
Final versions of papers due: January 31, 1994
GENERAL CHAIR
Bruno Fadini
Dept "Informatica e Sistemistica"
University of Naples "Federico II"
Via Claudio 21, I - 80125 Napoli (Italy)
email: fadini@vm.cised.unina.it
Tel: +39-81- 768 3193 Fax: +39-81- 768 3186
PROGRAM CO-CHAIRS
Leon Osterweil Axel van Lamsweerde
Information and Computer Science Unite d'Informatique
University of California at Irvine Universite Catholique de Louvain
Irvine, CA 92717 (USA) Place Sainte Barbe 2
email: ljo@ics.uci.edu B - 1348 Louvain-la-Neuve (Belgium)
Tel: +1-714- 856 4048 email: avl@info.ucl.ac.be
Fax: +1-714- 856 4056 Tel: +32-10- 47 2529
Fax: +32-10- 45 0345
TUTORIAL CO-CHAIRS
Aniello Cimitile Eugene C. Bounds
Dept "Informatica e Sistemistica" Software Engineering Institute
University of Naples "Federico II" Carnegie-Mellon University
Via Claudio 21 Pittsburgh, PA 15213-3890 (USA)
I - 80125 Napoli (Italy) email: ecb@sei.cmu.edu
email: cimitile@vm.cised.unina.it Tel: +1-412- 268 6387
Tel: +39-81- 768 3199 Fax: +1-412- 268 5758
Fax: +39-81- 768 3186
TOOLS FAIR CO-CHAIRS
Alfonso Fuggetta Walt Scacchi
Politecnico di Milano Information & Oper. Management
Dept. "Elettronica ed Informazione" University of Southern California
Piazza Leonardo da Vinci, 32 Los Angeles, CA 90089-1421 (USA)
I - 20133 Milano (Italy) email: scacchi@usc.edu
email: alfonso@mailer.cefriel.it Tel: +1-213- 740 47 82
Tel: +39-2- 2399 3523 Fax: +1-213- 740 8494
Fax: +39-2- 2399 3411
PROGRAM COMMITTEE
R. Adrion (USA), L. Clarke (USA), M. Feather (USA), S. Feldman (USA),
S. Fickas (USA) J.P. Finance (France), A. Finkelstein (UK),
A. Fuggetta (Italy), K. Futatsugi (Japan), D. Garlan (USA), C. Ghezzi (Italy),
R. Jacquart (France), R. Jeffery (Australia), T. Katayama (Japan),
R. Kemmerer (USA), B. Lang (France), N. Leveson (USA), T. Maibaum (UK),
C. Montangero (Italy), D. Notkin (USA), D. Perry (USA), W. Schafer (Germany),
R. Taylor (USA), I. Thomas (USA), K. Torii (Japan), J. Wing (USA),
J.C. Woodcock (UK), P. Zave (USA).
Sponsored by: IEEE Computer Society, ACM Sigsoft, and AICA
-----------------------------------------------------------------------
To: nl-kr@cs.rpi.edu
Date: Wed, 9 Jun 93 17:50:08 EDT
From: kumard@cs.Buffalo.EDU (Deepak Kumar)
Subject: Query: Object Systems for KR Symposium Proposal
Greetings!
Attached below is a copy of a proposal we are sending to the
AAAI Spring Symposium for the 1994 series. A similar workshop is being
held in conjunction with IJCAI this year. Most of the participants at
the IJCAI workshop are from across the atlantic. So it justifies having
one here in the US. We have added additional topics/issues.
This message is to inform you about our attempts at scheduling the
Symposium, as well as to solicit responses in order to identify
possible research communities.
Can you please respond to the proposal below on the following accounts:
1) Are you interested in the topic and the issues listed?
2) Will you be interested in sending a paper?
3) Will you be interested in participating?
4) Will you be interested in acquiring a copy of the working notes?
5) If you care enough about the topic, please send us a short
paragraph describing your research so as to help us identify
further issues that may form the focus of the symposium.
This message is going out to several mailing lists please respond only
to me. I will consolidate responses and provide a summary to people who
request it. Please feel free to forward this to other interested people.
Looking forward to hearing from you on this at the earliest.
Deepak Kumar
Department of Computer Science
226 Bell Hall
State University of New York at Buffalo
Buffalo, NY 14260-2000
kumard@cs.buffalo.edu
---------draft proposal-------------
Proposal for
The 1994 AAAI Spring Symposium Series
Title: Object-Based Systems for Knowledge Representation
Description:
We wish to explore issues related to the development of AI systems using
object-based techniques. Many researchers take an object-oriented
approach toward the design of an intelligent system where domain
classification hierarchies are implemented as object hierarchies in
order to exploit inheritance or more generally property sharing
of domain characteristics. We have in mind systems where not only
are its applications object-oriented, but the system itself is
constructed using object-oriented techniques. The resulting AI
architecture can potentially exploit all the benefits of the
object-oriented approach--- uniform protocols, extensibility,
increased modularity (leading to larger scale applications), and
amenability to concurrent and distributed processing. The resulting
architectures may be extensible not only in their representational
ontologies, but also their reasoning techniques (logical deduction,
classification-based reasoning, procedural reasoning using message
passing or demons, rules, and constraints). Moreover, extensibility may
also allow the integration of other AI faculties like adding a
planning/acting, or a natural language faculty to the architecture. The
construction of much larger scale knowledge based systems may be enabled
by wedding an object-based AI architecture to a persistent object
storage system. It has been claimed that a uniform communication
protocol enables a high degree of parallelism as well as
distributedness. A canonical object-oriented view of a representational
formalism can facilitate knowledge sharing among heterogenous systems in
that translation of queries between formalisms becomes easier. This also
ties up well with the ideas being pursued by the ARPA Knowledge Sharing
Efforts. The following specific issues will be explored by the
participants at the symposium:
- the notion of an ``object'' as a conceptual entity in a KR formalism
- the notion of an ``object'' as a logical entity; distinguishing between
objects and terms
- modeling of fundamental relationships: specialization, generalization
- object-based ontologies (conceptual as well as (or vs) logical)
- reifying the propositions attached to an object, e.g., to facilitate a
reason maintenance component
- reasoning with objects: inheritance, classification, logics, planning,
acting, rules, constraints
- the distributedness of an object-based architecture; the impact of
object-based systems to architectures on knowledge sharing
- persistence in object-based knowledge bases
Evidence:
A workshop entitled ``Object-Based Representation Systems'' and
organized by Amedeo Napoli will be held before the IJCAI Conference in
Chambery, on August the 28th, 1993. This workshop will gather about 40
researchers and will include nine presentations of papers and a panel
session. The subjects that will be discussed are terminological logics,
the integration of various representational and reasoning techniques
(such as planning, representation of time, constraints, rules, and
classification), theoretical aspects of knowledge representation
formalisms, and the possible bridges existing between database and
knowledge base systems. Results from the Chambery workshop will serve as
a springboard for the AAAI Symposium.
Organizing Committee:
Peter D. Karp
Artificial Intelligence Center
SRI International
333 Ravenswood Ave
Menlo Park, CA 94025
pkarp@ai.sri.com
Work: 415-859-6375
Fax : 415-859-6171
Deepak Kumar
Department of Computer Science
State University of New York at Buffalo
Buffalo, NY 14260-2000
kumard@cs.buffalo.edu
Work: (716) 645-2879
Fax : (716) 645-3464
Robert MacGregor
USC/ISI
4676 Admiralty Way
Marina Del Ray, CA 90292
Phone: (310) 822-1511
Deborah L. McGuinness
AT&T Bell Laboratories
600 Mountain Ave. 2B439
Murray Hill, NJ 07974
dlm@research.att.com
Amedeo NAPOLI
CRIN CNRS -- INRIA Lorraine
BP 239
54506 Vandoeuvre-Les-Nancy Cedex
France
email : napoli@loria.fr
Tel : (33) 83 59 20 68
Fax : (33) 83 41 30 79
-----------------------------------------------------------------------
To: nl-kr@cs.rpi.edu
Date: Fri, 11 Jun 1993 11:00:40 -0700
From: gjacobs@qualcomm.com (Gary Jacobs)
Subject: CFP: 1994 IEEE World Congress on Computational Intelligence
Gary Jacobs
gjacobs@qualcomm.com
(619)597-5029 voice
(619)452-9096 fax
HARD FACT IN A WORLD OF FANTASY
A world of sheer fantasy awaits your arrival at the IEEE World Congress on
Computational Intelligence next year; our host is Walt Disney World in
Orlando Florida. Simultaneous Neural Network, Fuzzy Logic and
Evolutionary Programming conferences will provide an unprecedented
opportunity for technical development while the charms of the nearby Magic
Kingdom and Epcot Center attempt to excite your fancies.
The role imagination has played in the development of Computational
Intelligence techniques is well known; before they became "innovative" the
various CI technologies were dismissed as "fantasies" of brilliant minds.
Now these tools are real; perhaps it's only appropriate that they should be
further explored and their creators honored in a world of the imagination, a
world where dreams come true.
Share your facts at Disney World; share your imagination. Come to the IEEE
World Congress on Computational Intelligence.
It's as new as tomorrow.
___________________________________________________________________________
***CALL FOR PAPERS***
___________________________________________________
IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
* IEEE International Conference on Neural Networks *
* FUZZ/IEEE '94 *
* IEEE International Symposium on Evolutionary Computation *
June 26 - July 2, 1994
Walt Disney World Dolphin Hotel, Lake Buena Vista, Florida
Sponsored by the IEEE Neural Networks Council
---------------------------------------------------------------------
IEEE INTERNATIONAL CONFERENCE ON NEURAL NETWORKS
Steven K. Rogers, General Chair
rogers@afit.af.mil
Topics:
Applications, architectures, artificially intelligent neural networks,
artificial life, associative memory, computational intelligence,
cognitive science, embedology, filtering, fuzzy neural systems, hybrid
systems, image processing, implementations, intelligent control,
learning and memory, machine vision, motion analysis, neurobiology,
neurocognition, neurodynamics, optimization, pattern recognition,
prediction, robotics, sensation and perception, sensorimotor systems,
speech, hearing and language, system identification, supervised and
unsupervised learning, tactile sensors, and time series analysis.
-------------------------------------------
FUZZ/IEEE '94
Piero P. Bonissone, General Chair
bonissone@crd.ge.ge.com
Topics:
Basic principles and foundations of fuzzy logic, relations between
fuzzy logic and other approximate reasoning methods, qualitative and
approximate-reasoning modeling, hardware implementations of fuzzy-
logic algorithms, design, analysis, and synthesis of fuzzy-logic
controllers, learning and acquisition of approximate models, relations
between fuzzy logic and neural networks, integration of fuzzy logic
and neural networks, integration of fuzzy logic and evolutionary
computing, and applications.
-------------------------------------------
IEEE CONFERENCE ON EVOLUTIONARY COMPUTATION
Zbigniew Michalewicz, General Chair
zbyszek@mosaic.uncc.edu
Topics:
Theory of evolutionary computation, evolutionary computation
applications, efficiency and robustness comparisons with other direct
search algorithms, parallel computer applications, new ideas
incorporating further evolutionary principles, artificial life,
evolutionary algorithms for computational intelligence, comparisons
between different variants of evolutionary algorithms, machine
learning applications, evolutionary computation for neural networks,
and fuzzy logic in evolutionary algorithms.
---------------------------------------------------------------------
INSTRUCTIONS FOR ALL THREE CONFERENCES
Papers must be received by December 10, 1993. Papers will be reviewed
by senior researchers in the field, and all authors will be informed
of the decisions at the end of the review proces. All accepted papers
will be published in the Conference Proceedings. Six copies (one
original and five copies) of the paper must be submitted. Original
must be camera ready, on 8.5x11-inch white paper, one-column format in
Times or similar fontstyle, 10 points or larger with one-inch margins
on all four sides. Do not fold or staple the original camera-ready
copy. Four pages are encouraged. The paper must not exceed six pages
including figures, tables, and references, and should be written in
English. Centered at the top of the first page should be the complete
title, author name(s), affiliation(s) and mailing address(es). In the
accompanying letter, the following information must be included: 1)
Full title of paper, 2) Corresponding authors name, address, telephone
and fax numbers, 3) First and second choices of technical session, 4)
Preference for oral or poster presentation, and 5) Presenter's name,
address, telephone and fax numbers. Mail papers to (and/or obtain
further information from): World Congress on Computational
Intelligence, Meeting Management, 5665 Oberlin Drive, #110, San Diego,
California 92121, USA (email: 70750.345@compuserve.com, telephone:
619-453-6222).
-----------------------------------------------------------------------
To: nl-kr@cs.rpi.edu
Date: Fri, 11 Jun 93 15:18:52 PDT
From: ICLP Publicity <iclp-publicity@quintus.com>
Subject: Announcement: ICLP'93 Final Program available
The final program for the International Conference on Logic Programming is
now available via ftp from camus.quintus.com. The file name is:
/pub/iclp-info/final_program.ps.Z
Also, in that directory are the application forms for the conference
in the file forms.ps.Z. This is your last chance to pre-register for the
conference which is in ten days.
-Jim Crammond, Publicity Chair
-----------------------------------------------------------------------
Date: Tue, 15 Jun 1993 09:46:35 -0400
From: weltyc@cs.rpi.edu
To: nl-kr-postings@ai.sunnyside.com
Subject: Announcement: KBSE-93 Program
The program for the Eighth Knowledge-Based Software Engineering
Conference is now available. To retrieve it, send mail to
kbse-info@cs.rpi.edu and put the single word "program" in your subject
line.
=====
Christopher Welty Asst. Director, RPI CS Labs, Troy, NY 12180
weltyc@cs.rpi.edu "Porsche: Fahren in seiner schoensten Form"
End of NL-KR Digest
*******************
