Date: Tue 12 Jul 1988 01:02-EDT From: AIList Moderator Nick Papadakis Reply-To: AIList@mc.lcs.mit.edu Us-Mail: MIT Mail Stop 38-390, Cambridge MA 02139 Phone: (617) 253-2737 Subject: AIList Digest V8 #7 To: AIList@mc.lcs.mit.edu Status: RO 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" 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 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 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 ********************