Copy Link
Add to Bookmark
Report
AIList Digest Volume 8 Issue 007
AIList Digest Tuesday, 12 Jul 1988 Volume 8 : Issue 7
Today's Topics:
Announcements:
Annual Conceptual Graph Workshop '88
SPEECH SCIENCE & TECH. CONFERENCE '88
Fifth Israeli Symposium on Artificial Intelligence
Directions and Implications of Advanced Computing (DIAC-88)
SGAICO conference announcement
OBJECT ORIENTED DATABASE WORKSHOP
ECAI88 - Program
----------------------------------------------------------------------
Date: Wed, 06 Jul 88 10:08:10 +1000
From: "ERIC Y.H. TSUI" <munnari!aragorn.oz.au!eric@uunet.UU.NET>
Subject: Annual Conceptual Graph Workshop '88
Dear Colleague,
Last year, the second Annual Conference on conceptual graphs was organised by
Jean Fargues at the IBM Paris Scientific Center.
In 1989, I shall organise the Annual Conference on conceptual graphs at
Deakin University on the 10th and 11th of March.
I wish to invite you to attend this workshop, and I am looking forward to a
possible contribution you could propose, such as a 30 minutes presentation
with some handouts or an article. If you are interested in attending,
please notify
Professor Brian J. Garner
Division of Computing and Mathematics
Deakin University
Geelong, Victoria 3217
Australia
Phone: 61 52 471 383
Telex: DUNIV AA35625
FAX: 61 52 442 777
Email: brian@aragorn.oz (CSNET)
Expenses will be the responsibility of the participants but there is no special
fee for attending the workshop. I am looking forward to your participation and
possible contribution.
Brian J. Garner
Professor of Computing
Deakin University
Geelong, Victoria 3217
AUSTRALIA
Eric Tsui eric@aragorn.oz
------------------------------
Date: 6 Jul 88 05:20:06 GMT
From: munnari!csadfa.oz.au!miw@uunet.UU.NET (Michael Wagner)
Subject: SPEECH SCIENCE & TECH. CONFERENCE '88
The 2nd Australian International Conference on Speech Science and Technology,
SST-88, will be held at Macquarie University in Sydney from 29 November to
1 December 1988. The Conference will address all areas related to Speech
Science and Technology, specifically
Speech synthesis & voice response systems
Automatic speech recognition & understanding
Speaker verification & identification
Speech analysis & reconstruction
Speech coding, compression & encryption
Acoustic phonetics & speech production
Speech disorders & speech aids for the disabled
Speech technology applications
The 2 keynote speakers are:
Dr James Flanagan, Director, Information Principles Research Laboratory, AT&T
Dr Anthony Bladon, Director, Phonetics Laboratory, Oxford University
The Conference will be preceded by a 1-day speech science and technology
tutorial on 28 November.
Submission of papers: Prospectice authors are invited to submit a 400-word
summary to Dr M. Wagner, SST-88 Program Coordinator, Dept of Computer Science,
University College/ADFA, Canberra ACT 2601, Australia, Tel. (062)688955,
Fax (062)688581, Telex AA62030adfadm, ACSnet: miw@csadfa.oz,
UUCP: ...!uunet!munnari!csadfa.oz!miw, ARPA: miw%csadfa.oz@uunet.uu.net,
JANET: csadfa.oz!miw@ukc
to be RECEIVED by 8 August 1988. Authors will be notified of the acceptance of
their papers by 22 August and photo-ready papers are due by 17 October 1988.
Conference registration A$195 (A$230 after 17 October), Full-time students
A$65, Tutorial registration A$180 (A$215 after 17 October), Full-time students
A$10.
Further information from Prof. J.E. Clark, SST-88 Secretary, Speech Hearing &
Language Research Centre, Macquarie University, Sydney NSW 2109, Australia,
Tel. (02)8058784 or 8058782, Fax (02)8874752, Telex AA122377macuni,
ACSnet sr_mail@mqccvaxa.mq.oz
------------------------------
Date: 6 Jul 88 17:13:47 GMT
From: WISDOM.BITNET!udi@ucbvax.berkeley.edu
Subject: Fifth Israeli Symposium on Artificial Intelligence
Call For Papers
Fifth Israeli Symposium on Artificial Intelligence
Tel-Aviv, Ganei-Hata`arucha,
December 27-28, 1988
The Israeli Symposium on Artificial Intelligence is the annual meeting
of the Israeli Association for Artificial Intelligence, which is a SIG
of the Israeli Information Processing Association. Papers addressing
all aspects of AI, including, but not limited to, the following
topics, are solicited:
- AI and education
- AI languages, logic programming
- Automated reasoning
- Cognitive modeling
- Expert systems
- Image understanding, pattern recognition and analysis
- Inductive inference, learning and knowledge acquisition
- Knowledge theory, logics of knowledge
- Natural language processing
- Perception, machine vision
- Planning and search
- Robotics
This year, the conference is held in cooperation with the SIG on
Vision, Image Processing and Pattern Recognition, and in
conjunction with the Tenth Israeli Conference on CAD and Robotics.
There will be a special track devoted to Vision, Image Processing
and Pattern Recognition. Joint activities with the Confernece on CAD
and Robotics include the openning session, a session on Robotics
and AI, and the exhibition.
Submitted papers will be refereed by the program committee, listed
below. Authors should submit 4 _camera-ready_ copies of a full paper or
an extended abstract of at most 15 A4 pages. Accepted papers will
appear without revision in the proceedings. Submissions prepared on a
laser printed are preferred. The first page should contain the title,
the author(s), affiliation, postal address, e-mail address, and
abstract, followed immediately by the body of the paper. Page numbers
should appear in the bottom center of each page. Use 1 inch margin
and single column format.
Submitted papers should be received at the following address by
October 1st, 1988:
Ehud Shapiro
5th ISAI
The Weizmann Institute of Science
Rehovot 76100, Israel
The conference program will be advertized at the end of October. It
is expected that 30 minutes will be allocated for the presentation of
each paper, including question time.
Program Committee
Moshe Ben-Bassat, Tel-Aviv University
Martin Golumbic, IBM Haifa Scientific Center
Ehud Gudes, Ben-Gurion University
Tamar Flash, Weizmann Institute of Science
Yoram Moses, Weizmann Institute of Science
Uzzi Ornan, Technion
Gerry Sapir, ITIM
Ehud Shapiro (chair), Weizmann Institute of Science
Jeff Rosenschein, Hebrew University
Shimon Ullman, Weizmann Institute of Science
Hezy Yeshurun, Tel-Aviv University
Secreteriate
Israeli Association for Information Processing
Kfar Hamacabia
Ramat-Gan 52109, Israel
------------------------------
Date: 8 Jul 88 20:51:17 GMT
From: ssc-vax!bcsaic!douglas@beaver.cs.washington.edu (Douglas
Schuler)
Subject: Directions and Implications of Advanced Computing (DIAC-88)
DIRECTIONS AND IMPLICATIONS OF ADVANCED COMPUTING
DIAC-88 Twin Cities, Minnesota August 21, 1988
Earle Browne Continuing Education Center, University of Minnesota
Computing technology in public and private institutions poses challenging
technical, political, and social dilemmas. Programmers, analysts, students,
and professors will face these dilemmas, either actively or unwittingly. Both
within the computing profession and in the relation of our profession to
other institutions, we have much to consider.
The second annual symposium on Directions and Implications of Advanced
Computing will be held at the University of Minnesota campus on Sunday August
21, 1988, the day before the American Association for Artificial Intelligence
(AAAI) conference.
Douglas Engelbart, the DIAC-88 plenary speaker, will share his perspective on
using the computer to address global problems. Since the late 1950's,
Engelbart has worked with systems that augment the human intellect including
his NLS/Augment system, a hypertext system that pioneered "windows" and a
"mouse." The driving force behind Engelbart's professional career has been
his recognition of social impacts of computing technology. The plenary
session will be followed by presentations of research papers and a panel
discussion. The panel, John Ladd (Brown University), Deborah Johnson (Rens-
salaer Polytechnic), Claire McInerney (College of St. Catherine) and Glenda
Eoyang (Excel Instruction) will address the question, "How Should Ethical
Values be Imparted and Sustained in the Computing Community?"
Presented Papers
Computer Literacy: A Study of Primary and Secondary Schools, Ronni
Rosenberg
Dependence Upon Expert Systems: The Dangers of the Computer as
an Intellectual Crutch, Jo Ann Oravec
Computerized Voting, Eric Nilsson
Computerization and Women's Knowledge, Lucy Suchman and Brigitte Jordan
Some Prospects for Computer Aided Negotiation, Douglas Schuler
Computer Accessibility for Disabled Workers: It's the Law (invited paper)
Richard E. Ladner
Send symposium registration to: DIAC-88, CPSR/Los Angeles, P.O. Box 66038
Los Angeles, CA 90066-0038. Enclose check payable to CPSR/DIAC-88 with
registration. For additional information, call David Pogoff, 612-933-6431.
NAME ___________________________________________________
ADDRESS _________________________________________________
________________________________________________________
________________________________________________________
Phone (home) _____________________ (work) ______________________
Please check one:
Symposium Registration Regular O $50
(Includes Proceedings and Lunch) CPSR Member O $35
Student/Low Income O $25
I cannot attend, but want the symposium proceedings O $15
There will a reception following the symposium. Proceedings will be
distributed to registrants at the symposium. Non-attendees will receive
proceedings by October 15, 1988.
------------------------------
Date: 11 Jul 88 11:53 +0100
From: Jiri Dvorak <dvorak%iam.unibe.ch@RELAY.CS.NET>
Subject: SGAICO conference announcement
SWISS GROUP OF ARTIFICIAL INTELLIGENCE AND COGNITIVE SCIENCE (SGAICO)
---------------------------------------------------------------------
1988 ANNUAL CONFERENCE ON
-------------------------
ARTIFICIAL INTELLIGENCE IN MANUFACTURING, ASSEMBLY, AND ROBOTICS
----------------------------------------------------------------
The conference will be held at the University of Berne on October 5, 1988.
Besides invited overview lectures presenting the state of the art and
future trends there will be a poster session and reports on current work
in Switzerland (and perhaps other European countries).
A ONE DAY TUTORIAL
----------------
will precede the conference on October 4, 1988.
CONFERENCE PROGRAM:
H. Bunke, University of Berne: Opening
K. Kempf, Intel Corp., Santa Clara, CA: Practical Applications of Artificial
Intelligence in Manufacturing
B. Neumann, University of Hamburg: Planning and Configuration Based on
Knowledge Hierarchies
K. Konolige, SRI International, Menlo Park, CA: Integrating Perception,
Action, and Intention
J. Troccaz, University of Grenoble: Automatic Robot Programming: On-going
Research and Future Trends
R. Bless, M. Mueller, ETH Zuerich: ARM: Automated Robust Assembly
C.V. Rusca, EPF Lausanne: The IRMA Project: Towards a Robust Parallel Logic
Programming Environment in Robotics
E. Gmuer, H. Bunke, University of Berne: PHI-1: A Robot Vision System Based
on CAD Models
J.P. Mueller, University of Neuchatel: MARS: Mobile Autonomous Robot System
P. Rixhon, P. Rixhon AG, Basel: Integrated Configuration Systems - the
"Mehrstrom" Experience
Panel discussion on Artificial Intelligence and Robotics in Switzerland.
TUTORIAL PROGRAM
A. Kak, Purdue University, West Lafayette, IN: Scene understanding with
reflectance and range images
R. Dillmann, University of Karlsruhe: CAD-Oriented Programming of Robot
Applications
Prof. J.-P. Mueller, University of Neuchatel: Planning for Artificial
Intelligence Based Robotics
B. Neumann, University of Hamburg: Introduction to Configuration Expert
Systems
For more information contact
Prof. H. Bunke
Program chairman SGAICO '88
Institut fuer Informatik und angew. Mathematik
Universitaet Bern
Laenggassstrasse 51
CH-3012 Bern / Switzerland
Tel. (+41 31) 65 44 51 or 65 86 81
or
J. Dvorak (local organization)
at the same address
Tel. (+41 31) 65 49 02
Email: dvorak@iam.unibe.ch
or dvorak%iam.unibe.ch@relay.cs.net
UUCP: ..!uunet!mcvax!iam.unibe.ch!dvorak
Fees:
conference: tutorial:
-----------------------------------------------
SI or SVI/FSI member 130.- Sfr 120.- Sfr
non members 200.- Sfr 250.- Sfr
registered students 50.- Sfr 40.- Sfr
These fees include one copy of the conference proceedings and
tutorial material.
For registration please contact the SI secretariat (Ms. A.-M. Nicolet),
Schwandenholzstrasse 286, 8052 Zuerich, Switzerland. Tel: (+41 1) 371 73 42.
------------------------------
Date: 11 Jul 88 14:34:46 GMT
From: fordyce@home.ti.com (David Fordyce)
Subject: OBJECT ORIENTED DATABASE WORKSHOP
Article-I.D.: ti-csl.53603
OBJECT-ORIENTED DATABASE WORKSHOP
To be held in conjunction with the
OOPSLA '88
Conference on Object-Oriented Programming:
Systems, Languages, and Applications
26 September 1988
San Diego, California, U.S.A.
Object-oriented database systems combine the strengths of
object-oriented programming languages and data models, and database
systems. This one-day workshop will expand on the theme and scope of a
similar OODB workshop held at OOPSLA '87. The 1988 Workshop will
consist of the following four panels:
Architectural issues: 8:30 AM - 10:00 AM
Therice Anota (Graphael), Gordon Landis (Ontologic),
Dan Fishman (HP), Patrick O'Brien (DEC),
Jacob Stein (Servio Logic), David Wells (TI)
Transaction management for cooperative work: 10:30 AM - 12:00 noon
Bob Handsaker (Ontologic), Eliot Moss (Univ. of Massachusetts),
Tore Risch (HP), Craig Schaffert (DEC),
Jacob Stein (Servio Logic), David Wells (TI)
Schema evolution and version management: 1:30 PM - 3:00 PM
Gordon Landis (Ontologic), Mike Killian (DEC),
Brom Mehbod (HP), Jacob Stein (Servio Logic),
Craig Thompson (TI), Stan Zdonik (Brown University)
Query processing: 3:30 PM - 5:00 PM
David Beech (HP), Paul Gloess (Graphael),
Bob Strong (Ontologic), Jacob Stein (Servio Logic),
Craig Thompson (TI)
Each panel member will present his position on the panel topic in 10
minutes. This will be followed by questions from the workshop
participants and discussions. To encourage vigorous interactions and
exchange of ideas between the participants, the workshop will be limited
to 60 qualified participants. If you are interested in attending the
workshop, please submit three copies of a single page abstract to the
workshop chairman describing your work related to object-oriented
database systems. The workshop participants will be selected based on
the relevance and significance of their work described in the abstract.
Abstracts should be submitted to the workshop chairman by 15 August 1988.
Participants selected will be notified by 5 September 1988.
Workshop Chairman:
Dr. Satish M. Thatte
Director, Information Technologies Laboratory
Texas Instruments Incorporated
P.O. Box 655474, M/S 238
Dallas, TX 75265
Phone: (214)-995-0340
Arpanet: Thatte@csc.ti.com CSNet: Thatte%ti-csl@relay.cs.net
Regards, David
------------------------------
Date: Tue, 12 jul88 10:08:10
From: ecai88
<ecai88%infovax.informatik.tu-muenchen.dbp.de@RELAY.CS.NET>
Subject: ECAI88 - Program
The 8th ECAI 1988 is sponsored by the Gesellschaft fuer Informatik e.V.
(GI), organized and hosted by the Institut fuer Informatik der
Technischen Universitaet Muenchen, under the auspices of the European
Coordinating Committee for Artificial Intelligence (ECCAI).
Industrial Exhibition
The 8th ECAI will present the latest advances of the technology and
applications of AI.The industrial exhibition takes place at the MENSA
during the conference, from Tuesday, August 2 to Friday, August 5,
1988.
Opening:
Tuesday - Thursday 9:00 - 19:00
Friday 9:00 - 15:00
_____________________________________
Invited Talks
Invited Talk I:
Deutsches Museum, Tuesday, August 2, 15:30 - 16:30
Jerry DeJong (Urbana Campaign):
Some Thoughts on the Present and the Future of Explanation-Based Learning
Room A, B, Wednesday, August 3, 17:45 - 18:45
Tom Mitchell (Carnegie Mellon):
Commentator to DeJongs talk
Chairperson: Y. Kodratoff
Invited Talk II:
Room A, B, Thursday, August 4, 9:00 - 10:00
Chris Hogger (Imperial College):
PROLOG Programming Environments
Room A,B, Thursday, August 4, 17:45 - 18:45
Jean Rohmer (BULL Company):
Commentator to Hoggers talk
Chairperson: H. Gallaire
Invited Talk III:
Room A, B, Friday, August 5, 9:00 - 10:00
Erik Sandewall (Linkoping):
Future Developments in Artificial Intelligence - A Personal View
Chairperson: M.-J. Schachter-Radig
_____________________________________
Panel Sessions
Panel I:
Deutsches Museum, Tuesday, August 2, 16:30 - 18:00
Moderator: H. Coelho
Title: Interactions among Intelligent Agents
Panelmembers: J.G.Ganascia, G. Guida, G. Kiss, E. Werner, Y. Wilks
Panel II:
Room P, Thursday, August 4, 16:00 - 17:45
Moderator: M. Boden
Title: What Is Computation?
Panelmembers: A. Clark, A. Slomann, J. Siekmann
Panel III:
Room P, Friday, August 5, 10:30 -12:30
Moderators: P. Smets and J. Campbell
Title: Applicability of Non-classical Logical Methods to Artificial
Intelligence Problems.
Panelmembers: not known at editorial deadline.
_____________________________________
ESPRIT- Session
Room P, Wednesday, August 3, 14:00 - 16:30
Chairperson: B. Lepape
Subjects:
1. Introduction
2. Presentation of Projects:
- Project ESB (P 96)
- Project ESTEAM (P 316)
- Project LOKI (P 107)
3. Research and ESPRIT
_____________________________________
Workshop "AI in Medicine"
Thursday, August 4, 14:00 - 18:00, Room E.
Dr. Rolf Engelbrecht
GSF-MEDIS Muenchen
Ingolstaedter Landstrasse1
D-8042 Neuherberg, FRG
Phone: ++49-89/ 31 87-53 30
EARN: ENGEL at DM0GSF11
Objective
The goal of this workshop is to promote intensive interaction between
the researchers in the field of medical applications of AI as well as
those working in central issues inside AI. Suitable topics include, but
are not limited to:
- Representation of medical knowledge
- Knowledge acquisition
- Integration of AI and standard software
(such as for statistical analysis, data base
management systems)
- Knowledge based systems and hospital
information systems
- Applications of AI in medicine
- Evaluation of medical expert systems
Potential participants are invited to submit an abstract on issues
relating to the workshop's topics or describing their own work related
to AI in medicine. Selected abstracts will be presented. Attendance is
limited to 70 participants and requires a registration to ECAI.
The workshop is sponsored by
- AIME European Society for Artificial
Intelligence in Medicine
- GMDS Gesellschaft fr Medizinische
Dokumentation, Informatik und Statistik
Organizing Committee
R. Engelbrecht, Muenchen (Chairman),
M. Fieschi, Marseille, J. Fox, London,
M. Stefanelli, Pavia, Th. Wetter, Heidelberg
_____________________________________
Sessions
Architectures and Languages 1
Chairperson: F. McCabe
Room A, Thursday, August 4, 16:00-17:45
C. Martin, K. Waldhoer
16:00 BASAR : A Blackboard Based Software Architecture
H. Laasri, R. Maitre, T. Mondot, F. Charpiller, J.P. Haton
16:15 ATOME: A Blackboard Architecture with Temporal and Hypothetical
Reasoning
R. Krickhahn, R. Nobis, A. Mhlmann, M.-J. Schachter-Radig
16:45 Applying the KADS Methodology to Develop a Knowledge Based System
Nethandler
K. Masuda, H. Ishizuka, H. Ivayama, K. Taki, L. Sugino
17:15 Preliminary Evaluation of the Connection Network for the Multi-PSI
System
Architecture and Languages 2
Chairperson: J.P. Sansonnet
Room B, Friday, August 5, 10:30-12:30
P. Dixneuf, A. Meiler, M. Pocheron
10:30 ELOISE'S Heart: An Efficient Frame for Production Systeme Execution
H. Boley
10:45 Iconic-Declarative Programming and Adaption Rules
I. I. Dimitrov
11:00 INEX: Flexible and Efficient Objects
T. Wilmes
11:30 A Typed Unification of Functional and Logic Programming
- Based on Many-Valued Functions
B. Barachini, N. Theuretzbacher
12:00 PAMELA: An Expert System Technology for Real-time Control Applications
Cognition 1
Chairperson: B. Wielinga
Room A, Wednesday, August 3, 14:00-15:45
L. Steels
14:00 Steps towards Common Sense
D. Partridge, J. McDonald, V. Johnston, K. Paap
14:30 AI Programs and Cognitive Models: Models of Perceptual Processes
E. Plaza, R. Lopez de Mantaras
15:00 Model-based Knowledge Acquisition for Heuristic Classification Systems
A. M. Burton, N.R. Shadbolt, G. Rugg, A.P. Hedgerock
15:15 Knowledge Elication Techniques in Classification Domains
Cognition 2
Chairperson: D. Partridge
Room E, Thursday, August 4, 10:30-12:30
H. Lambert, L. Eshelman, Y. Iwasaki
10:30 Acquiring and Complementing the Model for Diagnostic Tasks
M.-C. Rousset
11:00 On the Consistency of Knowledge Bases: The COVADIS System
B.S. Doherty, J.J. Stuart
11:30 Induction and Dialogue in Specification Formalisation:
an Object-based Approach
J. M. Slack
12:00 Linguistic Constrains and Memory Management
D. Pospelov
12:15 Modelling of Deeds and Normative Behaviour in Intelligent Systems
Cognition 3
Chairperson: D. Pospelov
Room A, Friday, August 5, 10:30-12:00
K. Tanaka, K. Kubota
10:30 Memory-based Learner Model and its Application to a Game Coach
D. Fum, P. Giangrandi, C.Tasso
10.45 Student Modelling Techniques in Foreign Language Teaching
J.H. Sumiga, B. Khazaei, J.J.A. Siddiqi
11:00 A Cognitive Model of Program Designer Behaviour
P. de Greef, J. Breuker, G. Schreiber, J. Wielemaker
11:15 StatCons - Knowledge Acquisition in a Complex Domain
J. Sandberg, J. Breuker, R. Winkels
11:45 Research On HELP-Systems: Empirical Study and Model Construction
Demos Of Academic AI Software
Demos done on Wednesday afternoon by the authors and on appointment during the
conference, Rooms S1, S2.
X. Tong, Z. He, R. Yu
A Survey of the Expert System Tool ZDEST-2
J. E. Larsson, P. Persson
An Intelligent Help System for Idpac
J. Maree
ENIARC: An Intelligent Explicative Expert System for Rhythm Analysis in
Electro-cardiograms
N. Guarino
DRL: Terminologic and Relational Knowledge in Prolog
M. Franova
Fundamentals for a New Methodology for Inductive Theorem Proving:
CM-Construction of Atomic Formulae
E. Andre
On the Simultaneous Interpretation of Real World Image Sequences and their
Natural Language Description: The System SOCCER
Epistemology
Chairperson: M. Boden
Room A, Wednesday, August 3, 16:00-17:15
C. Thornton
16:00 Links Between Content and Information-Content
L.E. Janlert
16:30 Pictorial Knowledge Representation
S. Hagglund, I. Rankin
16:45 Investigating the Usability of Expert Critiquing in Knowledge-based
Consultation Systems
A. Clark
17:00 Two Kinds of Cognitive Sciences ?
Industrial Applications 1
Chairperson: G. Guiho
Room B, Wednesday, August 3, 11:00-12:30
P. Prosser
11:00 A Hybrid Genetic Algorithm for Pallet Loading
T.J. Grant
11:30 An Algorithm for Obtaining Action Sequences from a Procedures Knowledge
Base
E. Tulp
12:00 TRAINS, An Active Time-table Searcher
Industrial Applications 2
Chairperson: B. Lepape
Room D, Wednesday, August 3, 16:30-17:30
A. Carpentier, B. Solet, M.P. Branca, P.G. Kubansky
16:30 Escut: An Expert System for Configuring Digital Telephone
Switching Equipments
M.-J. Schachter-Radig, D. Wermser
17:00 A Sales Assistent for Chemical Measurement Equipment - SEARCHEM
A. Huber, S. Becker
17:15 Production Planning using a Temporal Planning Component
Knowledge Representation 1
Chairperson: R. Lopez de Mantaras
Room D, Wednesday, August 3, 9:00-10:30
B. Bredeweg, B.J. Wielinga
9:00 Integrating Qualitative Reasoning Approaches
W. Van de Velde
9:30 Inference Structure as a Basis for Problem Solving
M. Frixione, S. Gaglio, G. Spinelli
10:00 Proper Names and Individual Concepts in SI-Nets
Knowledge Representation 2
Chairperson: E. Tyugu
Room A, Wednesday, August 3, 11:00-12:30
W. Wobcke
11:00 A Global Theory of Inheritance
M. Ayel
11:30 Protocols for Consistency Checking in Expert System Knowledge Bases
E. Chouraqui, P. Dugerdil
12:00 Conflicts Solving in a Frame-like Multiple Inheritance System
Knowledge Representation 3
Chairperson: J.P. Laurent
Room A, Thursday, August 4, 10:30-12:15
B. Elfrink, H. Reichgelt
10:30 The Use of Assertion-time Inference in Logic-based Knowledge Bases
J. Ferber, P. Volle
11:00 Using Conference in Object-oriented Representations
K. Eberle
11:15 Extensions of Event-Structures
M. Poesio
11:45 Toward a Hybrid Representation of Time
Knowledge Representation 4
Chairperson: L. Steels
Room C, Friday, August 5, 10:30-12:00
A. Farquhar
10:30 A Qualitative Reasoning Approach to Fault Avoidance
J. Cuena
10:45 The Qualitative Modelling of Axis-based Flow Systems:
Methodology and Examples
C. Popp
11:00 Answering WHY? HOW? And WHY-NOT? Questions in a Blackboard System
M. Porcheron
11:15 MILORE: a Meta-Level Knowledge Based Architecture for Production System
Execution
M. Sharples, B. Du Boulay
11:45 Knowledge Representation for a Concept Tutoring System
Logic Programming 1
Chairperson: A. Martelli
Room B, Wednesday, August 3, 9:00-10:30
M. Ducass
9:00 Opium: a Meta-debugger for Prolog
J. Chassin, J.-C. Syre, H. Westphal
9:30 Implementation of a Parallel Prolog System on a Commercial
Multiprocessor
M. Cavalieri, F. Lamma, P. Mello
10:00 An Extended Prolog Machine for Dynamic Context Handling
Logic Programming 2
Chairperson: J. Rohmer
Room B, Wednesday, August 3, 16:00-17:30
M. Dincbas, H. Simonis, P. Van Hentenryck
16:00 Solving the Car-Sequencing Problem in Constraint Logic Programming
T. Hrycej
16:30 Temporal Prolog
P. Saint-Dizier
17:00 Foundations of DISLOG, Programming in Logic with Discontinuities
T. Conrad
17:15 A Many Sorted PROLOG based on Equational Unification
Logic Programming 3
Chairperson: M. Dincbas
Room D, Thursday, August 4, 14:00-15:30
S. Owen, R. Hull
14:00 The Use of Explicit Interpretation to Control Reasoning about Protein
Topology
C.-K. Looi
14:30 Analysing Novices Programs in a Prolog Intelligent Teaching System
J. Zhang, P.W. Grant
15:00 An Automatic Difference-List Transformation Algorithm for Prolog
Machine Learning 1
Chairperson: D. Sleeman
Room C, Wednesday, August 3, 14:00-15:30
M. Keane
14:00 Where's the Beef? The Absence of Pragmatic Factors in Pragmatic
Theories of Analogy
R. E. Stepp, B.L. Whitehall, L.B. Holder
14:30 Towards Intelligent Machine Learning Algorithms
J. L. de Siqueira, J.-F. Puger
15:00 Explanation-based Generalisation of Failures
Machine Learning 2
Chairperson: C. Rollinger
Room C, Wednesday, August 3, 16:00-17:30
J. Diederich
16:00 Connectionist Recruitment Learning
R. Goodman, P. Smyth
16:30 Information-Theoretic Rule Induction
B. Cestnik, I. Bratko
17:00 Learning Redundant Rules in Noisy Domains
J. Herrmann
17:15 A Machine Learning Approach to Estimation for IC Design
Machine Learning 3
Chairperson: Y. Kodratoff
Room B, Thursday, August 4, 14:00 - 15:15
F. Bergadano, A. Giordana, L. Saitta
14:00 Concept Acquisition in an Integrated EBL and SBL Environment
M. Valtorta
14:30 Automating Rule Strengths in Expert Systems
P. P. Terpstra, M.W. van Someren
14:45 INDE: A System for Heuristic Knowledge Refinement
Y. Takada
15:00 Grammatical Inference for Even Linear Languages Based on Control Sets
Machine Learning 4
Chairperson: K. Morik
Room B, Thursday, August 4, 16:00 - 17:30
J. Blythe
16:00 Constraining Search in a Hierarchical Discriminative Learning System
J. G. Ganascia
16:30 Improvement and Refinement of the Learning Bias Semantic
O. Gascuel, A. Danchin
17:00 Data Analysis using a Learning Program, a Case Study:
An Application of PLAGE to a Biological Sequence Analysis
Machine Learning 5
Chairperson: T. Niblett
Room D, Friday, August 5, 10:30 - 12:00
G.D. Oosthuizen, D.R. McGregor
10:30 Induction Through Knowledge Base Normalisation
J. Nicolas
11:00 Consistency and Preference Criterion for Generalization Languages
Handling Negation and Disjunction
W. Van de Velde
11:30 Quality of Learning
Multi-Agent Interaction 1
Chairperson: G. Kiss
Room A, Thursday, August 6, 14:00 - 15:15
J. R. Galliers
14:00 A Strategic Framework for Multi-Agent Cooperative Dialogue
J. Ayel
14:30 A Conceptual Supervision Model in Computer Integrated Manufacturing
D. Connah , M. Shiels, P. Wavish
15:00 A Testbed for Research on Cooperating Agents
Multi-Agent Interaction 2
Chairperson: H. Coelho
Room C, Thursday, August 6, 16:00 - 17:15
N.R. Seel
16:00 Modelling Iterated Strategies: A Case Study
S. Adey
16:30 High Level Control of Simulated Ships and Aircraft
C.A. Fields, M.J. Coombs, E.S. Dietrich, R.T. Hartley
16:45 Incorporating Dynamic Control into the Model Generative Reasoning System
Natural Language Understanding 1
Chairperson: W. Wahlster
Room A, Wednesday, August 3, 9:00 - 10:30
E. Andre, G. Herzog, T. Rist
9:00 On the Simultaneous Interpretation of Real World Image Sequences and
their Natural Language Description: the System SOCCER
G. Retz-Schmidt
9:30 A REPLAY of SOCCER: Recognizing Intensions in the Domain of Soccer
Games
M. Otani, J.M. Lancel
9:45 Sentence Generation: From Semantic Representation to Sentences
throughout Linguistic Definitions and Lexicon-Grammer
A.J.H. Simons
10:15 A Qualitative Model of the Articulators
Natural Language Understanding 2
Chairperson: U. Zernik
Room D, Thursday, August 4, 16:00 - 17:30
T. Nakazawa, L. Neher, E.W. Hinrichs
16:00 Unification with Disjunctive and Negative Values for GPSG Grammars
B. Dunin-Keplicz
16:30 Partial Reconstruction of Coreferential Structure of Discours
L. Lesmo, M. Berti, P. Terenziani
17:00 A Network Formalisation for Representing Natural Language Quantifiers
Non-Standard Approaches 1
Chairperson: P. Smets
Room D, Wednesday, August 3, 11:00- 12:15
P. Jackson, H. Reichgelt
11:00 A Modal Proof Method for Doxastic Reasoning in Incomplete Theories
M.-O. Cordier
11:30 SHERLOCK: Hypothetical Reasoning in an Expert System Shell
N. Bidoit, C. Froidevaux
12:00 More on Stratified Default Theories
Non-Standard Approaches 2
Chairperson: J. Campbell
Room B, Wednesday, August 3, 14:00 - 15:30
P. Smets
14:00 Transferable Belief Model Versus Bayesian Model
D. Dubois, H. Prade, C. Testemale
14:30 In Search of a Modal System for Possibility Theory
A. L. Brown
15:00 Logics of Justified Belief
Non-Standard Approaches 3
Chairperson: R. Turner
Room B, Thursday, August 4, 10:30 - 12:15
Y. Moinard 10:30 Computing Circumscription Of Horn Theories
P. Besnard, J. Houdebine, R. Rolland
10:45 A Formula Circumscriptively both Valid and Unprovable
P.J. de la Quintana
11:00 Computing Quantifiers in Predicate Modal Logics
M.R.B. Clarke
11:30 Intuitionistic Non-Monotonic Reasoning - Further Results
A. D'Angelo, C. Mirolo, E. Pagello
11:45 A Multiagent Planner for Reasoning with Incomplete Knowledge in a
Distributed Environment
Reasoning and Theorem Proving 1
Chairperson: L. Aiello
Room C, Wednesday, August 3, 9:00 - 10:30
O. Dressler
9:00 Extending the Basic ATMS
E. Lafon, C.B. Schwind
9:30 A Theorem Prover for Action Performance
G. M. Provan
10:00 Solving Diagnostic Problems Using Extended Truth Maintenance Systems
Reasoning and Theorem Proving 2
Chairperson: W. Walther
Room C, Wednesday, August 3, 11:00 - 12:30
S. Biundo
11:00 Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool
M. Franova
11:30 An Implementation of Program Synthesis from Formal Specifications:
PRECOMAS
A. Stevens
12:00 A Rational Reconstruction of Boyer and Moore'S Technique for
Constructing Induction Formulars
Reasoning and Theorem Proving 3
Chairperson: L. Wallen
Room E, Wednesday, August 3, 14:00 - 15:30
E.P.K. Tsang
14:00 Element in Temporal Reasoning in Planning
W. Lukaszewicz
14:15 Chronological Minimization of Abnormality: Simple Theories of Action
M. Lenzerini, D. Nardi
14:30 Belief Revision as Meta-Reasoning
T. Hrycej
14:45 Intelligent Backtracking with StructuredContexts
H. Tuominen
15:15 Translations from Epistemic into Dynamic Logic
Reasoning and Theorem Proving 4
Chairperson: C. Hogger
Room E, Wednesday, August 3, 16:00 - 17:30
B. Liu
16:00 A Reinforcement Approach to Scheduling
I. Niemela
16:30 Autoepistemic Predicate Logic
H. Freitag, M. Reinfrank
17:00 A Non-Monotonic Deduction System Based on (A)TMS
Reasoning and Theorem Proving 5
Chairperson: E. Omedeo
Room D, Thursday, August 4, 10:30 - 12:30
F. Giunchiglia, E. Giunchiglia
10:30 Building Complex Derived Inference Rules: A Decider for the Class
of Prenex Universal-Existential Formulas
J. Paredis
10:45 Qualified Logic as a Means of Integrating Conceptual Formalisms
K. Ammon
11:00 Discovering a Proof for the Fixed Point Theorem: A Case Study
J. Treur
11:30 Completeness and Definability in Diagnostic Expert Systems
G. Charminade
12:00 Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted
Unification Using Compact Representation of Clauses
Robotics
Chairperson: M. Brady
Room C, Thursday, August 4, 14:00 - 15:30
S. Bocionek
14:00 Computer-Aided Configuration of Gantry Robots
P. Levi
14:30 TOPAS: A Task Oriented Planner for Optimized Assembly Sequences
G. Adorni, A. Camurri, A. Poggi, R. Zaccaria
15:00 Integrating Spatio Temporal Knowledge: A Hybrid Approach
Vision 1
Chairperson: B. Radig
Room D, Wednesday, August 3, 14:00 - 15:45
R. Mohr, G. Masini
14:00 Good Old Discrete Relaxation
C. Sielaff
14:30 Hierarchies Over Relational Structures
K. Ammon, S. Stier
15:00 Constructing Polygon Concepts from Line Drawings
G. Vivo, P. Cosoli, R. Salonna
15:15 An Environment for Expert Image Processing
A. Saroldi
15:30 Successive Grouping: Adding Knowledge to Improve Segmentation
Vision 2
Chairperson: R. Mohr
Room C, Thursday, August 4, 10:30 - 12:00
W. Menhardt
10:30 Image Analysis Using Iconic Fuzzy Sets
V. Johnston, P. Lopez, D. Partridge
10:45 A Biologically Based Algorithm for Rapid Scene Analysis
E. Thirion, R. Mohr
11:00 Matching 3-D Images Without Backtracking Through Feature Grouping
E. Grosso, G. Sandini, C. Frigato
11:30 Extraction Of 3D Information and Volumetric Uncertainty from Multiple
Stereo Images
_____________________________________
Tutorials
The 8th Ecai is preceded by tutorials, organized by the GI-DIA.
More information are available at Gi-DIA.
Tutorial 1: Expert Systems
Monday, August 1, Room T1
Jean-Gabriel Ganascia, Jim Hunter
Tutorial 2: Logic Programming
Monday, August 1, Room T2
Ulrich Furbach, Klaus Estenfeld, Franz Kurfess
1. Methods of Logic Programming
Besides the usual SLD-resolution approach to logic programming with Horn
clauses, we will describe various other methods; e.g. programming using
full first oder predicate logic and equational logic. Furthermore it
will be demonstrated that narrowing, a commonly used inference method
for equational logic programming, can be related very closely to the
paramodulation rule used in theorem proving.
2. Implementation
With PROLOG as the main representative of the logic programming
paradigm, we will discuss the implementation of an interpreter realizing
the PROLOG computation rule. Starting from this classic technique, we
will present mechanisms for the efficient compilation of PROLOG.
3. Parallel Logic Programming
The execution speed of logic programs on conventional machines has
improved a lot in the last few years, partly due to the topics mentioned
in the previous part, but also to more powerful computer systems.
Nevertheless there is still an urgent need for more efficiency in logic
programming. Here, the exploitation of parallelism promises considerable
increases. Parallelism can be introduced on various levels; first, on
the implementation level by executing independent parts of the program
in parallel; second, on the language level by a set of constructs to
control the parallel execution of logic programs, and third, by
meta-level features like various evaluation strategies. The last of this
tutorial gives a brief overview of methodologies under investigation for
the exploitation of parallelism in logic programming.
Ulrich Furbach
received his master degree from Technische Universitaet Muenchen in 1976
and his Ph.D. in theoretical Computer Science from the Universitaet der
Bundeswehr Muenchen in 1983. As an assistent in the Computer Science
Department of Universitaet der Bundeswehr, he worked on semantics of
programming languages, logic and fuctional programming and on knowledge
representation. In 1987 he joined the Artificial Intelligence Group at
the Technische Universitaet Muenchen, where he is involved in the
Esprit-Project 973 (Advanced Logic Programming Environments). He is now
the leader of the AI-Group.
Klaus Estenfeld
1972-1976 Study of Computer Science and Mathematics at the University of
Saarbruecken
1976-1981 Assistent in the Theoretical Computer Science Dept. at the University
of Saarbruecken
1/80 Ph.D. with a work in Formal Language Theory
10/81-12/83 Researcher leader in the Logic Programming group of ECRC (European
Computer-Industry Research Centre), responsible for ECRC-Prolog
1/84-9/86 Project leader for AI-tools in the Siemens data division (a.o.
developments of a Prolog-DB connection)
11/87- Group leader in Siemens Corporate Applied Computer Sciences with special
interests in Prolog implementation and in extending Prolog for special
applications (e.g. CAD electronic)
Franz Kurfess
is a member of the Artificial Intelligence Group at the Technical
University of Munich. The focus of his current work is concentrated on
the design of a parallel inference machine based on W. Bibel's
connection method, and is carried out within the framework of the
ESPRIT-Project 415 on Advanced Information Processing. He received his
diploma in computer science from the Technical University of Munich in
1984. His research interests inlcude exploration in parallel and
distributed systems in general, trying to make us of the knowledge
gathered here for the design of parallel computer architectures.
Tutorial 3: Machine Learning
Monday, August 1, Room T3
Yves Kodratoff, Katharina Morik
Tutorial 4: Modal Logics
Monday, August 1, Room T4
Allan Ramsay, Raymond Turner
Tutorial 5: Natural Language Processing
Monday, August 1, Room T5
Uri Zernik, Koenraad De Smedt
Tutorial 6: Deductive Data Bases
Tuesday, August 2, Room T6
Herve Gallaire, Jean-Marie Nicolas
Tutorial 7: Intelligent Tutoring Systems
Tuesday, August 2, Room T7
Benedict du Boulay, Peter Ross
Tutorial 8: Theorem Proving
Tuesday, August 2, Room T8
Jieh Hsiang, Jean-Pierre Jouannaud
------------------------------
End of AIList Digest
********************
