From vet@cs.utwente.nl Fri Oct 22 13:59:27 EDT 1993 Article: 19281 of comp.ai Xref: glinda.oz.cs.cmu.edu comp.ai:19281 Newsgroups: comp.ai Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!pipex!uknet!mcsun!sun4nl!utciva.civ.utwente.nl!infnews.cs.utwente.nl!vet From: vet@cs.utwente.nl (Paul van der Vet) Subject: Call for Workshop Proposals ECAI94 Message-ID: <1993Oct22.130703.15411@cs.utwente.nl> Sender: usenet@cs.utwente.nl Nntp-Posting-Host: ethanol.cs.utwente.nl Organization: Twente University, Dept. of Computer Science Date: Fri, 22 Oct 1993 13:07:03 GMT Lines: 129 E C A I '94 A M S T E R D A M 11th European Conference on Artificial Intelligence Amsterdam RAI International Exhibition and Congress Centre The Netherlands August 8-12, 1994 ** Last Call for Workshop proposals - deadline November 1, 1993 ** The European Conference on Artificial Intelligence (ECAI) is the European forum for scientific exchange and presentation of AI research. The aim of the conference is to cover all aspects of AI research and to bring together basic research and applied research. The Technical Programme will include paper presentations, invited talks, panels, workshops, and tutorials. The conference is designed to cover all subfields of AI, including non-symbolic methods. ECAIs are held in alternate years and are organized by the European Coordinating Committee for Artificial Intelligence (ECCAI). The 11th ECAI in 1994 will be hosted by the Dutch AI Society (NVKI). The conference will take place at the Amsterdam RAI, International Exhibition and Congress Centre. W O R K S H O P S A full workshop programme is planned for ECAI '94. These will take place in the two days immediately before the main technical conference, i.e., on August 8 and 9, 1994. Workshops may last for either 1 or 2 days. They will give participants the opportunity to discuss specific technical topics in a small, informal environment, which encourages interaction and exchange of ideas. Workshops may address any topic covered by the list of areas that has been identified in the Call for Papers. The list is included at the end of this article. Workshops on applications and related issues are especially welcome. Workshop proposals should be in the form of a draft call for participation containing a brief description of the workshop and the technical issues to be addressed, the proposed format and the kind of contributions solicited, and the names and addresses (postal, phone, fax, e-mail) of the organizing committee of the workshop. Additionally, proposals should specify the number of expected participants and some names of some potential participants. Proposers are encouraged to send their draft proposal to potential participants for comments before submission. The organizers of accepted workshops are responsible for producing a call for participation, for reviewing requests to participate and for scheduling the workshop activities within the constraints set by the conference organizers. Workshop proposals should be sent to the Workshop Chairpersons as soon as possible, but not later than November 1, 1993. Electronic submission (plain ascii text) is highly preferred, but hard copy submission is also accepted in which case 5 copies should be submitted. Proposals should not exceed 2 sides of A4 (i.e., approximately 120 lines of text). The proposals will be reviewed by the Programme Committee and the organizers will be notified not later than December 31, 1993. Details of all accepted workshops will be available by anonymous FTP from cs.vu.nl, directory ECAI94 by January 31, 1994; alternatively send electronic mail to ecai94-workshops@cs.vu.nl. It should be noted that registration for the main conference will be required in order to attend an ECAI '94 workshop. Workshop Chairpersons: Prof.dr Jan Treur Dr Frances Brazier Vrije Universiteit Amsterdam Department of Computer Science De Boelelaan 1081 a 1081 HV Amsterdam, The Netherlands Tel.: (+31)-20-548.55.88 Fax: (+31)-20-642.77.05 E-mail: ecai94-workshops@cs.vu.nl Content areas: Abduction; AI and Creativity; Artificial Life; Automated Reasoning; Automatic Programming; Belief Revision; Case Studies of AI Applications; Case-Based Reasoning; Cognitive Modelling; Common Sense Reasoning; Communication and Cooperation; Complexity of Reasoning; Computational Theories in Psychology; Computer-Aided Education; Concept Formation; Connectionist and PDP Models for AI; Constraint-Based Reasoning; Corpus-Based Language Analysis; Deduction; Description Logics; Design; Diagnosis; Discourse Analysis; Discovery; Multi-Agent Systems; Distributed Problem Solving; Enabling Technology and Systems; Epistemological Foundations; Expert System Design; Generic Applications; Genetic Algorithms; Integrating AI and Conventional Systems; Integrating Several AI Components; Kinematics; Knowledge Acquisition; Knowledge Representation; Large Scale Knowledge Engineering; Logic Programming; Machine Architectures; Machine Learning; Machine Translation; Mathematical Foundations; Model Based Reasoning; Monitoring; Natural Language Front Ends; Natural Language Processing; Navigation; Neural Networks; Nonmonotonic Reasoning; Philosophical Foundations and Implications; Plan Recognition; Planning and Scheduling; Principles of AI Applications; Qualitative Reasoning; Reactivity; Reasoning About Action; Reasoning About Physical Systems; Reasoning With Uncertainty; Resource Allocation; Robotics; Robot Navigation; Search; Sensor Interpretation; Sensory Fusion/Fission; Simulation; Situated Cognition; Social Economic, Ethical and Legal Implications; Spatial Reasoning; Speech Recognition; Standardisation, Exchange and Reuse of Ontologies or Knowledge; Parsing; Semantic Interpretation; Pragmatics; System Architectures; Temporal and Causal Reasoning; Terminological Reasoning; Text Generation and Understanding; Theorem Proving; Truth Maintenance; Tutoring Systems; User Interfaces; User Models; Verification, Validation and Testing of Knowledge-Based Systems; Virtual Reality; Vision and Signal Understanding. -- --------------------------------------------------------------------- Paul van der Vet Phone +31 53 89 36 94 / 36 90 Knowledge-Based Systems Group Fax +31 53 33 96 05 Dept. of Computer Science Email vet@cs.utwente.nl University of Twente P.O. Box 217 7500 AE Enschede The Netherlands --------------------------------------------------------------------- Article 19879 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:19879 Newsgroups: comp.ai Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!xlink.net!zib-berlin.de!netmbx.de!Germany.EU.net!EU.net!sun4nl!utciva.civ.utwente.nl!infnews.cs.utwente.nl!vet From: vet@cs.utwente.nl (Paul van der Vet) Subject: CFP (final): ECAI-94 Message-ID: Sender: usenet@cs.utwente.nl Nntp-Posting-Host: ethanol.cs.utwente.nl Organization: Twente University, Dept. of Computer Science Date: Fri, 10 Dec 1993 07:33:46 GMT Lines: 218 *** Last call: deadline for papers January 8, 1994 *** 11th EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE 2ND CALL FOR PAPERS, PANELS, AND VIDEO SUBMISSIONS ECAI'94 AUGUST 8 - 12, 1994 AMSTERDAM RAI INTERNATIONAL EXHIBITION AND CONGRESS CENTRE THE NETHERLANDS Organized by the European Coordinating Committee for Artificial Intelligence (ECCAI) Hosted by the Dutch Association for Artificial Intelligence (NVKI) For information please contact: Erasmus Forum, P.O. Box 1738, 3000 DR Rotterdam, the Netherlands. Tel: +31-10-408.2302, Fax: +31-10-453.0784, E-mail: M.M.deLeeuw@apv.oos.eur.nl P A P E R S You are invited to submit an original research paper that represents a significant contribution to any aspect of AI, including the principles underlying cognition, perception, and action in humans and machines; the design, application, and evaluation of AI algorithms and intelligent systems; and the analysis of tasks and domains in which intelligent systems perform. Theoretical and experimental results are equally welcome. Papers describing innovative ideas are especially sought providing such papers include substantial analysis of the ideas, the technology needed to realize them, and their potential impact. Of special interest this year are papers which address applied AI. Two kinds of papers are sought. The first category is case studies of AI applications that address significant real-world problems and which are used outside the AI community itself; these papers must justify the use of the AI technique, explain how the AI technology contributed to the solution and was integrated with other components, and most importantly explain WHY the application was successful (or perhaps why it failed) -- these "lessons learned" will be the most important review criteria. The second category is for papers on novel AI techniques and principles that may enable more ambitious real-world applications. All the usual AI topics are appropriate. These papers must describe the importance of the approach from an application context, in sufficient technical detail and clarity, and clearly and thoroughly differentiate the work from previous efforts. There will be special prizes for the best papers in both these areas. In addition to these prizes, a prize for the best paper as determined by the Programme Committee will be awarded; the Digital Equipment Prize and a prize for the best paper from Eastern Europe will also be awarded. Details of the requirements and format for the submission of papers can be found in the call for papers, obtainable from the Conference Office or by anonymous FTP from agora.leeds.ac.uk, file: ECAI94/cfp.txt. Papers must be received by the Programme Chairperson no later than January 8, 1994. PANELS Proposals for panel discussions (up to 1000 words) should be sent to the Programme Chairperson by February 8, 1994. E-mail is preferred. VIDEO SUBMISSIONS Videos unaccompanied by papers may be submitted for presentation in special video track sessions. The purpose of these videos should be to demonstrate the current levels of usefulness of AI tools, techniques and methods. Videos presenting research arising out of interesting real-world applications are especially sought. Details of how to submit a video tape are given in the full version of the call for papers available from the Conference Office or by anonymous ftp from agora.leeds.ac.uk, file: ECAI94/cfp.txt. The deadline for submission is the same as that for papers. INFORMATION ON OTHER ECAI'94 ACTIVITIES WORKSHOPS A full workshop programme is planned for ECAI '94. This will take place in the two days immediately before the main technical conference, i.e., on August 8 and 9, 1994. They will give participants the opportunity to discuss specific technical topics in a small, informal environment, which encourages interaction and exchange of ideas. Details of all workshops will be available by anonymous FTP from cs.vu.nl, directory /pub/ecai94 by January 31, 1994; or via electronic mail to ecai94-workshops@cs.vu.nl. It should be noted that registration for the main conference will be required in order to attend an ECAI '94 workshop. TUTORIALS A full tutorial programme will take place on August 8 and 9, 1994. Extended tutorial information can be obtained by anonymous FTP from swi.psy.uva.nl, directory/pub/ecai94. ECCAI GRANT The ECCAI Board has established a grant for East European researchers. Persons interested in a grant are invited to contact Prof. J. Cuena, ECCAI Secretary, Departamento de Intelligencia Artificial, Campus de Montegancedo s/n, E-28660 Boadilla del Monte [Madrid], Spain, fax:(+34)-1-352.4819, phone: (+34)-1- 352.4803, e-mail: jcuena@mayor.dia.fi.upm.es for details on the submission procedure. EXHIBITION An industrial and academic exhibition will be held from August 9 - 11, 1994. Detailed information can be obtained at the Conference Office. SPONSORS (preliminary list) PTT Research Bolesian B.V. Municipality of Amsterdam University of Amsterdam University of Limburg Department of Mathematics and Computer Science of the Vrije Universiteit Amsterdam Research Institute Knowledge Systems Hewlett Packard Laboratories, Bristol Centre for Knowledge Technology INFORMATION For more information please contact ORGANIZING CHAIRPERSON: Prof.dr Jaap van den Herik President Foundation ECAI '94 University of Limburg Department of Computer Science P.O. Box 616 6200 MD Maastricht The Netherlands Phone: (+31)-43-88.34.77 Fax: (+31)-43-25.23.92 E-mail: bosch@cs.rulimburg.nl PROGRAMME CHAIRPERSON: Dr Tony Cohn Division of Artificial Intelligence School of Computer Studies University of Leeds Leeds LS2 9JT United Kingdom Phone: (+44)-532-33.54.82 Fax: (+44)-532-33.54.68 E-mail: ecai94@scs.leeds.ac.uk WORKSHOP CHAIRPERSONS: Prof.dr Jan Treur Dr. Frances Brazier Vrije Universiteit Amsterdam Department of Computer Science De Boelelaan 1081 a 1081 HV Amsterdam The Netherlands Phone: (+31)-20-548.55.88 Fax: (+31)-20-642.77.05 E-mail: ecai94-workshops@cs.vu.nl TUTORIAL CHAIRPERSON: Dr Frank van Harmelen SWI University of Amsterdam Roetersstraat 15 1081 WB Amsterdam Tel: (+31)-20-525.67.91, or (+31)-20-525.67.89 Fax: (+31)-20-525.68.96 E-mail: ecai94-tutorials@swi.psy.uva.nl CONFERENCE OFFICE: Erasmus Forum c/o ECAI '94 Marcel van Marrewijk, Project Manager Mirjam de Leeuw, Conference Manager Erasmus University Rotterdam P.O. Box 1738 3000 DR Rotterdam The Netherlands Tel: (+31)-10-408.2302 Fax: (+31)-10-453.0784 E-mail: M.M.deLeeuw@apv.oos.eur.nl Andre' Nijenhuis, Expo Manager Phone: (+31)-1806-18314 Fax: (+31)-1806-17592 -- --------------------------------------------------------------------- Paul van der Vet Phone +31 53 89 36 94 / 36 90 Knowledge-Based Systems Group Fax +31 53 33 96 05 Dept. of Computer Science Email vet@cs.utwente.nl University of Twente P.O. Box 217 7500 AE Enschede The Netherlands --------------------------------------------------------------------- Article 5260 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5260 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!howland.reston.ans.net!cs.utexas.edu!uunet!sparky!rick From: vet@cs.utwente.nl (Paul van der Vet) Subject: CFP (final): 11th European Conference on Artificial Intelligence (ECAI-94) Message-ID: <1993Dec10.145351.8534@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Twente University, Dept. of Computer Science Date: Fri, 10 Dec 1993 14:53:51 GMT Approved: rick@sparky.sterling.com Expires: Wed, 9 Feb 1994 08:00:00 GMT Lines: 218 X-Md4-Signature: 81f80df106dea9af5a57c108bee8d8f3 *** Last call: deadline for papers January 8, 1994 *** 11th EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE 2ND CALL FOR PAPERS, PANELS, AND VIDEO SUBMISSIONS ECAI'94 AUGUST 8 - 12, 1994 AMSTERDAM RAI INTERNATIONAL EXHIBITION AND CONGRESS CENTRE THE NETHERLANDS Organized by the European Coordinating Committee for Artificial Intelligence (ECCAI) Hosted by the Dutch Association for Artificial Intelligence (NVKI) For information please contact: Erasmus Forum, P.O. Box 1738, 3000 DR Rotterdam, the Netherlands. Tel: +31-10-408.2302, Fax: +31-10-453.0784, E-mail: M.M.deLeeuw@apv.oos.eur.nl P A P E R S You are invited to submit an original research paper that represents a significant contribution to any aspect of AI, including the principles underlying cognition, perception, and action in humans and machines; the design, application, and evaluation of AI algorithms and intelligent systems; and the analysis of tasks and domains in which intelligent systems perform. Theoretical and experimental results are equally welcome. Papers describing innovative ideas are especially sought providing such papers include substantial analysis of the ideas, the technology needed to realize them, and their potential impact. Of special interest this year are papers which address applied AI. Two kinds of papers are sought. The first category is case studies of AI applications that address significant real-world problems and which are used outside the AI community itself; these papers must justify the use of the AI technique, explain how the AI technology contributed to the solution and was integrated with other components, and most importantly explain WHY the application was successful (or perhaps why it failed) -- these "lessons learned" will be the most important review criteria. The second category is for papers on novel AI techniques and principles that may enable more ambitious real-world applications. All the usual AI topics are appropriate. These papers must describe the importance of the approach from an application context, in sufficient technical detail and clarity, and clearly and thoroughly differentiate the work from previous efforts. There will be special prizes for the best papers in both these areas. In addition to these prizes, a prize for the best paper as determined by the Programme Committee will be awarded; the Digital Equipment Prize and a prize for the best paper from Eastern Europe will also be awarded. Details of the requirements and format for the submission of papers can be found in the call for papers, obtainable from the Conference Office or by anonymous FTP from agora.leeds.ac.uk, file: ECAI94/cfp.txt. Papers must be received by the Programme Chairperson no later than January 8, 1994. PANELS Proposals for panel discussions (up to 1000 words) should be sent to the Programme Chairperson by February 8, 1994. E-mail is preferred. VIDEO SUBMISSIONS Videos unaccompanied by papers may be submitted for presentation in special video track sessions. The purpose of these videos should be to demonstrate the current levels of usefulness of AI tools, techniques and methods. Videos presenting research arising out of interesting real-world applications are especially sought. Details of how to submit a video tape are given in the full version of the call for papers available from the Conference Office or by anonymous ftp from agora.leeds.ac.uk, file: ECAI94/cfp.txt. The deadline for submission is the same as that for papers. INFORMATION ON OTHER ECAI'94 ACTIVITIES WORKSHOPS A full workshop programme is planned for ECAI '94. This will take place in the two days immediately before the main technical conference, i.e., on August 8 and 9, 1994. They will give participants the opportunity to discuss specific technical topics in a small, informal environment, which encourages interaction and exchange of ideas. Details of all workshops will be available by anonymous FTP from cs.vu.nl, directory /pub/ecai94 by January 31, 1994; or via electronic mail to ecai94-workshops@cs.vu.nl. It should be noted that registration for the main conference will be required in order to attend an ECAI '94 workshop. TUTORIALS A full tutorial programme will take place on August 8 and 9, 1994. Extended tutorial information can be obtained by anonymous FTP from swi.psy.uva.nl, directory/pub/ecai94. ECCAI GRANT The ECCAI Board has established a grant for East European researchers. Persons interested in a grant are invited to contact Prof. J. Cuena, ECCAI Secretary, Departamento de Intelligencia Artificial, Campus de Montegancedo s/n, E-28660 Boadilla del Monte [Madrid], Spain, fax:(+34)-1-352.4819, phone: (+34)-1- 352.4803, e-mail: jcuena@mayor.dia.fi.upm.es for details on the submission procedure. EXHIBITION An industrial and academic exhibition will be held from August 9 - 11, 1994. Detailed information can be obtained at the Conference Office. SPONSORS (preliminary list) PTT Research Bolesian B.V. Municipality of Amsterdam University of Amsterdam University of Limburg Department of Mathematics and Computer Science of the Vrije Universiteit Amsterdam Research Institute Knowledge Systems Hewlett Packard Laboratories, Bristol Centre for Knowledge Technology INFORMATION For more information please contact ORGANIZING CHAIRPERSON: Prof.dr Jaap van den Herik President Foundation ECAI '94 University of Limburg Department of Computer Science P.O. Box 616 6200 MD Maastricht The Netherlands Phone: (+31)-43-88.34.77 Fax: (+31)-43-25.23.92 E-mail: bosch@cs.rulimburg.nl PROGRAMME CHAIRPERSON: Dr Tony Cohn Division of Artificial Intelligence School of Computer Studies University of Leeds Leeds LS2 9JT United Kingdom Phone: (+44)-532-33.54.82 Fax: (+44)-532-33.54.68 E-mail: ecai94@scs.leeds.ac.uk WORKSHOP CHAIRPERSONS: Prof.dr Jan Treur Dr. Frances Brazier Vrije Universiteit Amsterdam Department of Computer Science De Boelelaan 1081 a 1081 HV Amsterdam The Netherlands Phone: (+31)-20-548.55.88 Fax: (+31)-20-642.77.05 E-mail: ecai94-workshops@cs.vu.nl TUTORIAL CHAIRPERSON: Dr Frank van Harmelen SWI University of Amsterdam Roetersstraat 15 1081 WB Amsterdam Tel: (+31)-20-525.67.91, or (+31)-20-525.67.89 Fax: (+31)-20-525.68.96 E-mail: ecai94-tutorials@swi.psy.uva.nl CONFERENCE OFFICE: Erasmus Forum c/o ECAI '94 Marcel van Marrewijk, Project Manager Mirjam de Leeuw, Conference Manager Erasmus University Rotterdam P.O. Box 1738 3000 DR Rotterdam The Netherlands Tel: (+31)-10-408.2302 Fax: (+31)-10-453.0784 E-mail: M.M.deLeeuw@apv.oos.eur.nl Andre' Nijenhuis, Expo Manager Phone: (+31)-1806-18314 Fax: (+31)-1806-17592 -- --------------------------------------------------------------------- Paul van der Vet Phone +31 53 89 36 94 / 36 90 Knowledge-Based Systems Group Fax +31 53 33 96 05 Dept. of Computer Science Email vet@cs.utwente.nl University of Twente P.O. Box 217 7500 AE Enschede The Netherlands --------------------------------------------------------------------- Article 970 of comp.ai.nat-lang: Xref: glinda.oz.cs.cmu.edu comp.ai.fuzzy:1581 comp.ai.genetic:1979 comp.ai.nat-lang:970 Newsgroups: comp.ai.fuzzy,comp.ai.genetic,comp.ai.nat-lang Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!uunet!EU.net!sun4nl!utciva.civ.utwente.nl!infnews.cs.utwente.nl!vet From: vet@cs.utwente.nl (Paul van der Vet) Subject: CfP (final) ECAI-94 Message-ID: Sender: usenet@cs.utwente.nl Nntp-Posting-Host: ethanol.cs.utwente.nl Organization: Twente University, Dept. of Computer Science Date: Mon, 20 Dec 1993 13:00:59 GMT Lines: 218 *** Last call: deadline for papers January 8, 1994 *** 11th EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE 2ND CALL FOR PAPERS, PANELS, AND VIDEO SUBMISSIONS ECAI'94 AUGUST 8 - 12, 1994 AMSTERDAM RAI INTERNATIONAL EXHIBITION AND CONGRESS CENTRE THE NETHERLANDS Organized by the European Coordinating Committee for Artificial Intelligence (ECCAI) Hosted by the Dutch Association for Artificial Intelligence (NVKI) For information please contact: Erasmus Forum, P.O. Box 1738, 3000 DR Rotterdam, the Netherlands. Tel: +31-10-408.2302, Fax: +31-10-453.0784, E-mail: M.M.deLeeuw@apv.oos.eur.nl P A P E R S You are invited to submit an original research paper that represents a significant contribution to any aspect of AI, including the principles underlying cognition, perception, and action in humans and machines; the design, application, and evaluation of AI algorithms and intelligent systems; and the analysis of tasks and domains in which intelligent systems perform. Theoretical and experimental results are equally welcome. Papers describing innovative ideas are especially sought providing such papers include substantial analysis of the ideas, the technology needed to realize them, and their potential impact. Of special interest this year are papers which address applied AI. Two kinds of papers are sought. The first category is case studies of AI applications that address significant real-world problems and which are used outside the AI community itself; these papers must justify the use of the AI technique, explain how the AI technology contributed to the solution and was integrated with other components, and most importantly explain WHY the application was successful (or perhaps why it failed) -- these "lessons learned" will be the most important review criteria. The second category is for papers on novel AI techniques and principles that may enable more ambitious real-world applications. All the usual AI topics are appropriate. These papers must describe the importance of the approach from an application context, in sufficient technical detail and clarity, and clearly and thoroughly differentiate the work from previous efforts. There will be special prizes for the best papers in both these areas. In addition to these prizes, a prize for the best paper as determined by the Programme Committee will be awarded; the Digital Equipment Prize and a prize for the best paper from Eastern Europe will also be awarded. Details of the requirements and format for the submission of papers can be found in the call for papers, obtainable from the Conference Office or by anonymous FTP from agora.leeds.ac.uk, file: ECAI94/cfp.txt. Papers must be received by the Programme Chairperson no later than January 8, 1994. PANELS Proposals for panel discussions (up to 1000 words) should be sent to the Programme Chairperson by February 8, 1994. E-mail is preferred. VIDEO SUBMISSIONS Videos unaccompanied by papers may be submitted for presentation in special video track sessions. The purpose of these videos should be to demonstrate the current levels of usefulness of AI tools, techniques and methods. Videos presenting research arising out of interesting real-world applications are especially sought. Details of how to submit a video tape are given in the full version of the call for papers available from the Conference Office or by anonymous ftp from agora.leeds.ac.uk, file: ECAI94/cfp.txt. The deadline for submission is the same as that for papers. INFORMATION ON OTHER ECAI'94 ACTIVITIES WORKSHOPS A full workshop programme is planned for ECAI '94. This will take place in the two days immediately before the main technical conference, i.e., on August 8 and 9, 1994. They will give participants the opportunity to discuss specific technical topics in a small, informal environment, which encourages interaction and exchange of ideas. Details of all workshops will be available by anonymous FTP from cs.vu.nl, directory /pub/ecai94 by January 31, 1994; or via electronic mail to ecai94-workshops@cs.vu.nl. It should be noted that registration for the main conference will be required in order to attend an ECAI '94 workshop. TUTORIALS A full tutorial programme will take place on August 8 and 9, 1994. Extended tutorial information can be obtained by anonymous FTP from swi.psy.uva.nl, directory/pub/ecai94. ECCAI GRANT The ECCAI Board has established a grant for East European researchers. Persons interested in a grant are invited to contact Prof. J. Cuena, ECCAI Secretary, Departamento de Intelligencia Artificial, Campus de Montegancedo s/n, E-28660 Boadilla del Monte [Madrid], Spain, fax:(+34)-1-352.4819, phone: (+34)-1- 352.4803, e-mail: jcuena@mayor.dia.fi.upm.es for details on the submission procedure. EXHIBITION An industrial and academic exhibition will be held from August 9 - 11, 1994. Detailed information can be obtained at the Conference Office. SPONSORS (preliminary list) PTT Research Bolesian B.V. Municipality of Amsterdam University of Amsterdam University of Limburg Department of Mathematics and Computer Science of the Vrije Universiteit Amsterdam Research Institute Knowledge Systems Hewlett Packard Laboratories, Bristol Centre for Knowledge Technology INFORMATION For more information please contact ORGANIZING CHAIRPERSON: Prof.dr Jaap van den Herik President Foundation ECAI '94 University of Limburg Department of Computer Science P.O. Box 616 6200 MD Maastricht The Netherlands Phone: (+31)-43-88.34.77 Fax: (+31)-43-25.23.92 E-mail: bosch@cs.rulimburg.nl PROGRAMME CHAIRPERSON: Dr Tony Cohn Division of Artificial Intelligence School of Computer Studies University of Leeds Leeds LS2 9JT United Kingdom Phone: (+44)-532-33.54.82 Fax: (+44)-532-33.54.68 E-mail: ecai94@scs.leeds.ac.uk WORKSHOP CHAIRPERSONS: Prof.dr Jan Treur Dr. Frances Brazier Vrije Universiteit Amsterdam Department of Computer Science De Boelelaan 1081 a 1081 HV Amsterdam The Netherlands Phone: (+31)-20-548.55.88 Fax: (+31)-20-642.77.05 E-mail: ecai94-workshops@cs.vu.nl TUTORIAL CHAIRPERSON: Dr Frank van Harmelen SWI University of Amsterdam Roetersstraat 15 1081 WB Amsterdam Tel: (+31)-20-525.67.91, or (+31)-20-525.67.89 Fax: (+31)-20-525.68.96 E-mail: ecai94-tutorials@swi.psy.uva.nl CONFERENCE OFFICE: Erasmus Forum c/o ECAI '94 Marcel van Marrewijk, Project Manager Mirjam de Leeuw, Conference Manager Erasmus University Rotterdam P.O. Box 1738 3000 DR Rotterdam The Netherlands Tel: (+31)-10-408.2302 Fax: (+31)-10-453.0784 E-mail: M.M.deLeeuw@apv.oos.eur.nl Andre' Nijenhuis, Expo Manager Phone: (+31)-1806-18314 Fax: (+31)-1806-17592 -- --------------------------------------------------------------------- Paul van der Vet Phone +31 53 89 36 94 / 36 90 Knowledge-Based Systems Group Fax +31 53 33 96 05 Dept. of Computer Science Email vet@cs.utwente.nl University of Twente P.O. Box 217 7500 AE Enschede The Netherlands --------------------------------------------------------------------- Article 20501 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:20501 Newsgroups: comp.ai Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!uunet!pipex!uknet!EU.net!sun4nl!utciva.civ.utwente.nl!infnews.cs.utwente.nl!wognum From: wognum@cs.utwente.nl (Nel Wognum) Subject: ECAI94 workshop Message-ID: <1994Feb1.142303@cs.utwente.nl> Followup-To: wognum@cs.utwente.nl Sender: usenet@cs.utwente.nl Nntp-Posting-Host: brandy.cs.utwente.nl Organization: Twente University, Dept. of Computer Science Date: Tue, 1 Feb 1994 13:23:03 GMT Lines: 98 ECAI94 Workshop MODELS AND TECHNIQUES FOR REUSE OF DESIGNS Monday 8 August 1994 The design of objects is a very complex process which is hard to formalize due to the lack of an all encompassing theory of design. When observing designers in practice, it has been concluded that a large part of their activities consists of reusing design experiences. Such experiences are related to earlier design situations and existing design products, many of which have been proven useful in practice. Several research groups are currently investigating possibilities for formalizing and codifying this experience for reuse in new design problems. Two major research areas can be distinguished. Firstly, existing designs are adapted to meet new demands. The focus in such situations is to determine parts that need to be adapted to satisfy new requirements. These requirements may be related to the function, physical properties of the design, or life-cycle aspects, such as serviceability and costs. The second research area focuses on finding existing designs that can be reused in new design problems. Difficult issues here include developing suitable index structures and similarity measures. In both research areas, models and techniques have to be developed for structuring and representing existing designs so that they can be reused in new situations. Furthermore, design reuse is a relevant concept for both routine and innovative design. In the workshop we would like to focus on methods and techniques to support the reuse of existing design knowledge, especially methods and techniques that have the potential to be useful in practical design situations. The workshop is intended for researchers working in the field of redesign and case-based reasoning in engineering domains. The questions to be addressed are: . What is needed to find similar designs? . What is needed to find analogous designs? . How can the part of the design that needs to be adapted be found? . How can the complexity of the adaptation needed be determined? . How can the consequences of the changes be determined? . How must past design knowledge be structured and represented to be reusable? . How can adaptation of designs be supported? The outcome of the workshop may be an inventory of promising methods and techniques for supporting case-based reasoning and redesign in different design situations. Workshop format: The workshop will last one day: Monday, August 8, 1994. To facilitate discussion, the number of attendees at the workshop will be limited to 30. The discussion will be centered around challenging statements to be presented by a selected number of participants. Each participant must register for both the workshop and the general conference. Organizing committee: Nel Wognum, University of Twente, Enschede, The Netherlands (Chair) Ian Smith, LIA Federal Institute of Technology (EPFL), Lausanne, Swiss Hans Akkermans, UT/ECN, Petten, The Netherlands Hans Schmekel, Kunliga Tekniska Hogskolan, Stockholm, Sweden Frank van Harmelen, University of Amsterdam, Amsterdam, The Netherlands Bernd Bachmann, DFKI, Kaiserslautern, Germany Mary Lou Maher, Key Centre of Design Quality, University of Sydney, Sydney, Australia Submission details: We invite researchers to submit a position paper (maximum 10 pages) to indicate their research activities and possible results on the topics indicated above. We prefer electronic submissions to be sent to the e-mail address mentioned below (LaTeX or plain ASCII) before May 1. The authors will be notified about acceptance of their paper for inclusion in the workshop notes before May 31. The papers will be bundled in workshop notes and distributed at the workshop. Schedule: Submission deadline: May 1 Notification of acceptance: May 31 Workshop date: August 8 Dr. P.M. (Nel) Wognum Department of Computer Science University of Twente P.O. Box 217 7500 AE Enschede The Netherlands e-mail: wognum@cs.utwente.nl tel.: +31 53 893736/3690 -- ==================================================================== Dr. P.M.(Nel) Wognum University of Twente phone: +31 53 893736/3690 Department of Computer Science fax: +31 53 339605 P.O. Box 217 e-mail: wognum@cs.utwente.nl 7500 AE Enschede The Netherlands ==================================================================== Article 20521 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:20521 comp.ai.shells:1402 Newsgroups: comp.ai,comp.ai.shells Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!uunet!newsflash.concordia.ca!preece From: preece@cenparmi.concordia.ca (Alun D. Preece) Subject: ECAI-94 Workshop on KBS Validation Message-ID: Sender: usenet@newsflash.concordia.ca (USENET News System) Nntp-Posting-Host: bert.cenparmi.concordia.ca Organization: CENPARMI, Concordia University, Montreal, Canada Date: Wed, 2 Feb 1994 13:55:56 GMT Lines: 164 ECAI-94 WORKSHOP CALL FOR PAPERS / CALL FOR PARTICIPATION VALIDATION OF KNOWLEDGE-BASED SYSTEMS Validation has emerged as a critical factor in the acceptance of knowledge- based systems (KBS) software. Users will not have confidence in a system unless they are satisfied that it has been validated thoroughly. Unfortunately, by their very nature, KBS are difficult to validate: a typical KBS is required to solve a complex, ill-structured problem, for which there may be no certain, "acceptable" solution; consequently, it will be hard to decide if the KBS performs acceptably. The validation of KBS has become a significant area of research in recent years, resulting in a number of workshops held at ECAI, IJCAI and AAAI conferences. The chief objectives of the workshops have been: to assess the growing level of maturity in the field, to identify areas of primary concern, to develop specific tools and techniques, and to establish project-management strategies for the successful development and deployment of reliable KBS. These workshops have proven instrumental in advancing the state-of-the-art and (albeit more slowly) the start-of-the-practice in the domain of validation. To foster this trend, at ECAI-94 we propose to focus upon four themes: FORMAL VALIDATION These techniques are concerned with modelling the KBS using some formalism, from which it is possible to prove desirable properties of the system. While much work has been done here in the area of verifying rule-based domain knowledge with respect to generic properties such as inconsistency, redundancy, and incompleteness, there are still many unsolved problems, including: - verification of uncertain knowledge; - verification of control knowledge; - development of adequate theoretical foundations for verification; - development of efficient verification algorithms. EMPIRICAL VALIDATION These techniques are concerned with obtaining, through experimentation, evidence as to the behaviour of the KBS, and deciding whether the system is acceptable on the basis of the evidence. Work done in this area includes the development of testing strategies (random, structural and functional), statistical metrics, and psychological evaluation methods. Notable outstanding problems include the following: - deciding how much testing to do; - providing software support for the onerous testing process; - evaluating the effectiveness of different testing techniques; - comparing the capabilities of formal and empirical validation processes. HYBRID VALIDATION Increasingly, it is becoming unrealistic to consider KBS validation in a vacuum: on one hand, many software systems are now hybrid, blending KBS technology with other AI and conventional technologies (notably neural nets and object-oriented programming). INTEGRATED VALIDATION This theme considers the development of methodologies to support effective validation, including requirements specification, acquisition of knowledge specifically for validation, and life-cycle management. This theme also considers the integration of validation with other difficult development processes, including knowledge acquisition, knowledge representation, knowledge refinement/learning, and system maintenance. Within any of these themes, papers having either a theoretical or practical flavour are equally welcome: we are especially interested in papers that combine theory and practice. FORMAT Sessions will include include a blend of regular-length paper presentations and panel sessions, depending upon the submitted material. Each session will be lead by a selected "discussant", who will provoke and encourage audience participation in a discussion period following the session. ATTENDANCE The workshop is limited to 35 participants to encourage in-depth discussion of topics. Participants will be chosen by the program committee on the basis of: (a) submitted materials; or (b) active interest in the validation domain. SUBMISSION REQUIREMENTS Participants are invited to submit either a technical paper (not to exceed 12 double-spaced pages) or an extended (1-2 page) abstract; the submitted work should not have previously been published. Since workshop attendance will be limited, participants with an active interest in KBS validation who wish to attend the workshop but cannot submit a paper should provide a short "statement of interest". DEADLINES Papers and abstracts, should be mailed so as to arrive no later than FRIDAY APRIL 29. Statements of interest (for those wishing to attend but unable to submit a paper or abstract) should arrive no later than FRIDAY JUNE 17. Materials may be submitted by email, FAX, or regular mail. For email, plain ASCII, self-contained TeX, or PostScript only are acceptable. For regular mail, please send THREE COPIES. In case of acceptance, final camera-ready versions of papers or abstracts must arrive no later than FRIDAY JUNE 17. The workshop proceedings will be produced by ECAI for distribution to workshop attendees, and limited sale to other conference attendees. WORKSHOP CHAIRMAN Alun D. Preece Universite de Savoie / ESIGEC Laboratoire d'Intelligence Artificielle (LIA) 2, route de Chambery F-73376 Le Bourget-du-Lac cedex FRANCE Email: preece@lia.univ-savoie.fr FAX: +33 79 75 87 85 Tel: +33 79 75 85 85 ext 7804 PROGRAMME COMMITTEE Marc Ayel Universite de Savoie, France mayel@lia.univ-savoie.fr Sandro Bologna ENEA, Italy BOLOGNA_S@ECA401.ENEA.IT Susan Craw Robert Gordon University, U.K. smc@computing-science.aberdeen.ac.uk Pedro Meseguer Universitat Politecnica de Catalunya, Spain meseguer@lsi.upc.es Paul Millington LOGICA, U.K. paul@logcam.co.uk Robert O'Keefe Rensselaer Polytechnic Institute, U.S.A. okeefe@rpi.edu Alun Preece Universite de Savoie, France (Chairman) preece@lia.univ-savoie.fr Marie-Christine Rousset Universite Paris-Sud, France Marie-Christine.Rousset@lri.fr Jaak Tepandi Tallinn Technical University, Estonia tepandi@cc.ttu.ee Neli Zlatareva Central Connecticut State University, U.S.A. ZLATAREVA@CSUSYS.CTSTATEU.EDU Article 2230 of comp.ai.genetic: Xref: glinda.oz.cs.cmu.edu comp.ai.genetic:2230 Newsgroups: comp.ai.genetic Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!pipex!sunic!EU.net!sun4nl!star.cs.vu.nl!gusz From: gusz@cs.vu.nl (Gusz Eiben) Subject: ECAI-94 WORKSHOP ON APPLIED GENETIC AND OTHER EVOLUTIONARY ALGORITHMS Message-ID: Sender: news@cs.vu.nl Organization: Fac. Wiskunde & Informatica, VU, Amsterdam Date: Wed, 9 Feb 1994 13:18:26 GMT Lines: 114 CALL FOR PARTICIPATION ECAI-94 WORKSHOP ON APPLIED GENETIC AND OTHER EVOLUTIONARY ALGORITHMS Amsterdam, August 9, 1994 One of the reasons for the growing interest in genetic and other evolutionary algorithms is their good performance on a wide scale of problems. However, practical applications may raise issues beyond the scope of classical models. The goal of this workshop is to cumulate knowledge on the application of EAs and in particular to study changes to and extensions of the standard approaches. Topics of interest include but are not restricted to: o problem elicitation and representation, o non-standard genotypes and recombination operators, o genetic programming, o handling constraints, o boosting performance, o combination with other techniques, e.g. local search, neural nets, knowledge based systems, o advantages and disadvantages of EAs w.r.t. other techniques. About 10-12 of the participants will have the opportunity to introduce his/her work in the form of a short presentation. Other persons interested in the subject may also participate in a limited number. Besides the presentations, substantial time will be allocated for discussion and comparison of the presented results. Our hope is that insights gained at the workshop may facilitate further applications and support new theory. SUBMISSIONS Two kinds of contributions are invited o papers that describe successful practical applications, o papers investigating relevant issues by extensive test sessions on a test bench. In both cases the problem(s) to be solved and the issue(s) to be investigated should be clearly described followed by the system description and experiment setup. Evaluation of the system and analysis of the test results should be given to support the conclusions. Three camera ready copies of a full paper not exceeding 12 pages (12 point font, single space) including figures and references should be sent to A.E Eiben Artificial Intelligence Group Dept. of Maths. and Comp. Sci. Free University Amsterdam De Boelelaan 1081a 1081 HV Amstredam The Netherlands email: ecai-ga@cs.vu.nl Submission of the PostScript format by e-mail is also possible. Accepted papers will be included in the workshop proceedings available at the workshop. In the meantime, the organizers aim at publication in a special journal issue or book containing the revised versions of the best papers. Persons willing to attend the workshop without a presentation should submit a brief description of their research area or field of interest. Deadlines for submission and notification are the same as for papers for presentation. TIME TABLE Deadline for submission: April 25, 1994 Notification of acceptance: May 30, 1994 Workshop: August 9, 1994 ORGANIZERS: A.E Eiben Artificial Intelligence Group Dept. of Maths. and Comp. Sci. Free University Amsterdam De Boelelaan 1081a 1081 HV Amstredam The Netherlands Phone: +31-(0)20-5482997 Fax: +31-(0)20-6427705 email: gusz@cs.vu.nl B. Manderick Computer Science Department Erasmus University Rotterdam Burg. Oudlaan 50 3062 PA Rotterdam The Netherlands Phone: +31-(0)10-4081853 Fax: +31-(0)10-452 61 77 email: manderic@cs.few.eur.nl Zs. Ruttkay Artificial Intelligence Group Deptartment of Mathematics and Computer Science Vrije Universiteit Amsterdam De Boelelaan 1081a 1081 HV Amsterdam The Netherlands Phone: +31-(0)20-5482412 Fax: +31-(0)20-6427705 email: zsofi@cs.vu.nl Article 5544 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5544 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!uunet!sparky!rick From: dfe@aifbbach.aifb.uni-karlsruhe.de (Dieter Fensel) Subject: CFP: ECAI-94 Workshop: Formal Specification Methods for Knowledge-Based Systems Message-ID: <1994Feb4.191727.5892@sparky.sterling.com> Keywords: ECAI-94 Workshop Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: AIFB, Universitaet Karlsruhe, Germany Date: Fri, 4 Feb 1994 19:17:27 GMT Approved: rick@sparky.sterling.com Expires: Tue, 26 Apr 1994 08:00:00 GMT Lines: 80 X-Md4-Signature: 680914af54f85279995bfe21910c2c76 Formal Specification Methods for Knowledge-Based Systems August 8, 1994 -------------------------------------------------------- -------------------------------------------------------- Formal specification languages have become an important research topic in the development of knowledge-based systems. This workshop focuses on the formal semantics of the specification languages. It aims at a better understanding of the various types of semantics for these languages, within the context of their use as a tool for development of knowledge based systems. Specific technical areas include: o denotational and operational semantics and their relationships o integration of compotational semantics and global semantics o semantics of static knowledge and procedural behaviour o tools for development of formal specifications o axiomatization and proof theories o validation and verification of formal specifications o verification of a system with respect to a formal specification o test generation, simulation, prototyping, symbolic execution etc. A specific aim of this workshop is to compare the work done by the knowledge engineering community with results achieved by other communities. We explicitly ask people from knowledge representation, software engineering, information systems and deductive data bases to join this workshop. Format and Kind of Contributions Contributions are invited that present original, unpublished results in the area of formal specification methods for knowledge based systems. Submitted papers must not exceed 15 pages of single spaced, 11 pt. text, including abstract and bibliography. Theoretical and position papers will be judged on their originality and contribution to the field, and applied papers on the importance and originality of the application. The workshop organisers aim for publication of a book containing all accepted papers. Time Table Papers must be received by the workshop organisers no later than April 25, 1994. Acceptance letter will be posted no later than May 23, 1994. Final camera-ready versions of the paper must be received by June 10, 1994. The workshop will take place at August 8, 1994. Contact address of workshop organisers Dieter Fensel Institut AIFB, University of Karlsruhe 76128 Karlsruhe, Germany e-mail: fensel@aifb.uni-karlsruhe.de phone: +49-721-6084754, fax: +49-721-693717 Organisation committee Manfred Aben, The Netherlands Dieter Fensel, Germany Frank van Harmelen, The Netherlands Mark Willems, The Netherlands Programm committee Manfred Aben University of Amsterdam The Netherlands Hans Akkermans University of Twente The Netherlands Ernst-Erich Doberkat University of Dortmund Germany Dieter Fensel University of Karlsruhe Germany Fausto Giunchiglia IRST Trento Italy Frank van Harmelen University of Amsterdam The Netherlands Georg Lausen University of Mannheim Germany Pedro Meseguer Univ. Polit. de Catalunya Spain Andreas Oberweis University of Karlsruhe Germany Nigel Shadbolt University Park Nottingham United Kingdom Rudi Studer University of Karlsruhe Germany Jan Treur Vrije University of Amsterdam The Netherlands Hans Voss GMD Bonn Germany Thomas Wetter IBM Heidelberg Germany Bob Wielinga University of Amsterdam The Netherlands Mark Willems Vrije University of Amsterdam The Netherlands Article 5600 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5600 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!howland.reston.ans.net!europa.eng.gtefsd.com!uunet!sparky!rick From: meyer@dfki.uni-kl.de (Manfred Meyer) Subject: CFP: ECAI'94 Workshop on Constraint Processing Message-ID: <1994Feb4.192628.7268@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: DFKI, University of Kaiserslautern, Germany Date: Fri, 4 Feb 1994 19:26:28 GMT Approved: rick@sparky.sterling.com Expires: Fri, 15 Apr 1994 08:00:00 GMT Lines: 121 X-Md4-Signature: d33cf6a757b46e14973c9db24731e244 CALL FOR PAPERS WORKSHOP ON CONSTRAINT PROCESSING August 8th, 1994 A one-day workshop to be held in conjunction with the 11th European Conference on Artificial Intelligence (ECAI'94) Amsterdam, The Netherlands, August 8-12th, 1994 An increasing number of researchers all over the world are now dealing with different aspects of constraint processing regarded as a general paradigm of computation. However, the constraint processing community appears to be very heterogeneous: Researchers from logic programming, knowledge representation, expert systems, theoretical computer science, operations research and other related fields are investigating the use of constraint processing methods, their theoretical foundations, as well as their applications to real-life problems. Each of these communities has its own subgroup dealing with constraint processing issues, some of them with specialized meetings, workshops, mailing lists etc. But, up to now there has not been much effort to bring together researchers working on or interested in constraint processing from different viewpoints and to work out the common principles, vocabulary, and techniques that are used as well as similarities and differences between various viewpoints. Continuing the efforts that started with the workshop on constraint processing at CSAM'93 in St. Petersburg (Russia) on July 20th-21st, 1993 this workshop aims at bringing together researchers working on different aspects of constraint processing in order to exchange, compare and contrast basic viewpoints, different approaches and recent research results. Thus, the workshop is planned as an interdisciplinary meeting of researchers as well as practitioners with an active interest in the area of constraint processing. It will provide an international forum to discuss and exchange new ideas and approaches, and to present not only full-blown research papers but also partial results, position papers and reports on ongoing research. By that, it is hoped that a fruitful cross- fertilization among the various disciplines will result. Work on all different aspects of constraint processing is of specific interest for the workshop, including * constraint-satisfaction methods and consistency techniques, * constraint logic programming, * concurrent constraint languages, * constraints and knowledge representation, * object-oriented constraint processing, * constraint programming, * constraint maintenance, * constraints identification, specification, management and implementation techniques, * over-specified constraint problems and constraint relaxation, * creation and execution of constraint-satisfaction plans, * constraint refinement, * hierarchical constraint problems, * parallel and distributed computing with constraints, * finite (discrete) as well as continous domain handling, * real-time constraints, * relations to operations research or deductive databases, * constraint processing in computer graphics, * theoretical foundations, * complexity results, and * reports showing the practical relevance of constraint processing and what basic techniques are needed in practice. WORKSHOP FORMAT The workshop is planned as a combination of presentations of submitted papers and a round-table discussion that shall stimulate the exchange of new ideas and approaches among the workshop participants. PAPER SUBMISSION People interested in giving a presentation at the workshop are invited to submit an extended abstract (no more than eight pages, single-spaced, one column, 12pt), preferably by e-mail (LaTeX/PostScript are welcome). Authors not having e-mail access should send 4 copies. Persons wishing to participate without giving a presentation should submit a brief (one page) abstract describing their research and/or interest in constraint processing. However, priority will be given to people submitting papers. Submissions should arrive before April 14th, 1994 at the address given below. Notification of receipt will be mailed to the first author (or designated author). On the first page include the name, address, phone and fax number, and e-mail address of the author designated for contact. Notifications of acceptance will be mailed by May 16th, 1994. Authors of accepted papers will be invited to submit full papers of up to 15 pages by June 8th, 1994 to be included in the workshop notes distributed to all participants. It is also planned to publish a collection of revised versions of the best papers in book format including feedback from the workshop. Please send your submissions and inquiries to: Manfred Meyer German Research Center for Artificial Intelligence (DFKI) Erwin-Schroedinger-Strasse 57 P.O. Box 20 80 D-67608 Kaiserslautern phone: +49 631 205 3468 fax: +49 631 205 3210 e-mail: meyer@dfki.uni-kl.de ORGANIZING COMMITTEE Philippe Codognet (INRIA Rocquencourt, Le Chesnay, France) Hans Werner Guesgen (University of Auckland, New Zealand) Walter Hower (Uni Koblenz-Landau, Koblenz, Germany) Manfred Meyer (DFKI, Kaiserslautern, Germany) ECAI REGISTRATION POLICY Following the ECAI registration policy, all workshop participants will have to register for the main ECAI'94 conference. IMPORTANT DATES Submissions due: April 14th, 1994 Notification: May 16th, 1994 Full papers due: June 8th, 1994 Workshop: August 8th, 1994 Article 5606 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5606 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!howland.reston.ans.net!europa.eng.gtefsd.com!uunet!sparky!rick From: hilario@cui.unige.ch (HILARIO Melanie) Subject: CFP: ECAI-94 Workshop on Combining Symbolic & Connectionist Processing Message-ID: <1994Feb4.193717.9367@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Reply-To: hilario@cui.unige.ch Organization: University of Geneva, Switzerland Date: Fri, 4 Feb 1994 19:37:17 GMT Approved: rick@sparky.sterling.com Expires: Sat, 2 Apr 1994 08:00:00 GMT Lines: 95 X-Md4-Signature: a60b6767b3bfbd691b14598f7ee61585 Call for Papers COMBINING SYMBOLIC AND CONNECTIONIST PROCESSING Workshop held in conjunction with ECAI-94 August 9, 1994 - Amsterdam, The Netherlands Until a few years ago, the history of AI has been marked by two parallel, often antagonistic streams of development -- classical or symbolic AI and connectionist processing. A recent research trend, premissed on the complementarity of these two paradigms, strives to build hybrid systems which combine the advantages of both to overcome the limitations of each. For instance, attempts have been made to accomplish complex tasks by blending neural networks with rule-based or case-based reasoning. This workshop will be the first Europe-wide effort to bring together researchers active in the area in view of laying the groundwork for a theory and methodology of symbolic/connectionist integration (SCI). The workshop will focus on the following topics: o theoretical (cognitive and computational) foundations of SCI o techniques and mechanisms for combining symbolic and neural processing methods (e.g. ways of improving and going beyond state-of-the-art rule compilation and extraction techniques) o outstanding problems encountered and issues involved in SCI (e.g. Which symbolic or connectionist representation schemes are best adapted to SCI? The vector space used in neural nets and the symbolic space have fundamental mathematical differ- ences; how will these differences impact SCI? Do we have the conceptual tools needed to cope with this representation problem?) o profiles of application domains in which SCI has been (or can be) shown to perform better than traditional approaches o description, analysis and comparison of implemented symbolic/ connectionist systems SUBMISSION REQUIREMENTS Prospective participants should submit an extended abstract to the contact person below, either via email in postscript format or via regular mail, in which case three copies are required. Each submission should include a separate information page containing the title of the paper, author names and affiliations, and the complete address (including telephone, fax and email) of the first author. The paper itself should not exceed 12 pages. Submission deadline is April 1, 1994. Each paper will be reviewed by at least two members of the Program Committee. Notification of acceptance or rejection will be sent to first authors by May 1, 1994. Camera-ready copies of accepted papers are due on June 1st and will be reproduced for distribution at the workshop. Those who wish to participate without presenting a paper should send a request describing their research interests and/or previous work in the field of SCI. Since attendance will be limited to ensure effective inter- action, these requests will be considered after screening of submitted papers. All workshop participants are required to register for the main conference. PROGRAM COMMITTEE Bernard Amy (LIFIA-IMAG, Grenoble, France) Patrick Gallinari (LAFORIA, University of Paris 6, France) Franz Kurfess (Dept. Neural Information Processing, University of Ulm, Germany) Christian Pellegrini (CUI, University of Geneva, Switzerland) Noel Sharkey (DCS, University of Sheffield, UK) Alessandro Sperduti (CSD, University of Pisa, Italy) IMPORTANT DATES Submission deadline April 1, 1994 Notification of acceptance/rejection May 1, 1994 Final papers due June 1, 1994 Date of the workshop August 9, 1994 CONTACT PERSON Melanie Hilario CUI - University of Geneva 24 rue General Dufour CH-1211 Geneva 4 Voice: +41 22/705 7791 Fax: +41 22/320 2927 Email: hilario@cui.unige.ch Article 5610 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5610 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!howland.reston.ans.net!europa.eng.gtefsd.com!uunet!sparky!rick From: wognum@cs.utwente.nl (Nel Wognum) Subject: CFP: ECAI-94 Workshop: Models and Techniques For Reuse of Designs Message-ID: <1994Feb4.193726.9474@sparky.sterling.com> Followup-To: wognum@cs.utwente.nl Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Twente University, Dept. of Computer Science Date: Fri, 4 Feb 1994 19:37:26 GMT Approved: rick@sparky.sterling.com Expires: Mon, 2 May 1994 08:00:00 GMT Lines: 100 X-Md4-Signature: 9775cbb0548048927d5cd04854f5fa2f MODELS AND TECHNIQUES FOR REUSE OF DESIGNS Monday 8 August 1994 The design of objects is a very complex process which is hard to formalize due to the lack of an all encompassing theory of design. When observing designers in practice, it has been concluded that a large part of their activities consists of reusing design experiences. Such experiences are related to earlier design situations and existing design products, many of which have been proven useful in practice. Several research groups are currently investigating possibilities for formalizing and codifying this experience for reuse in new design problems. Two major research areas can be distinguished. Firstly, existing designs are adapted to meet new demands. The focus in such situations is to determine parts that need to be adapted to satisfy new requirements. These requirements may be related to the function, physical properties of the design, or life-cycle aspects, such as serviceability and costs. The second research area focuses on finding existing designs that can be reused in new design problems. Difficult issues here include developing suitable index structures and similarity measures. In both research areas, models and techniques have to be developed for structuring and representing existing designs so that they can be reused in new situations. Furthermore, design reuse is a relevant concept for both routine and innovative design. In the workshop we would like to focus on methods and techniques to support the reuse of existing design knowledge, especially methods and techniques that have the potential to be useful in practical design situations. The workshop is intended for researchers working in the field of redesign and case-based reasoning in engineering domains. The questions to be addressed are: . What is needed to find similar designs? . What is needed to find analogous designs? . How can the part of the design that needs to be adapted be found? . How can the complexity of the adaptation needed be determined? . How can the consequences of the changes be determined? . How must past design knowledge be structured and represented to be reusable? . How can adaptation of designs be supported? The outcome of the workshop may be an inventory of promising methods and techniques for supporting case-based reasoning and redesign in different design situations. Workshop format: The workshop will last one day: Monday, August 8, 1994. To facilitate discussion, the number of attendees at the workshop will be limited to 30. The discussion will be centered around challenging statements to be presented by a selected number of participants. Each participant must register for both the workshop and the general conference. Organizing committee: Nel Wognum, University of Twente, Enschede, The Netherlands (Chair) Ian Smith, LIA Federal Institute of Technology (EPFL), Lausanne, Swiss Hans Akkermans, UT/ECN, Petten, The Netherlands Hans Schmekel, Kunliga Tekniska Hogskolan, Stockholm, Sweden Frank van Harmelen, University of Amsterdam, Amsterdam, The Netherlands Bernd Bachmann, DFKI, Kaiserslautern, Germany Mary Lou Maher, Key Centre of Design Quality, University of Sydney, Sydney, Australia Submission details: We invite researchers to submit a position paper (maximum 10 pages) to indicate their research activities and possible results on the topics indicated above. We prefer electronic submissions to be sent to the e-mail address mentioned below (LaTeX or plain ASCII) before May 1. The authors will be notified about acceptance of their paper for inclusion in the workshop notes before May 31. The papers will be bundled in workshop notes and distributed at the workshop. Schedule: Submission deadline: May 1 Notification of acceptance: May 31 Workshop date: August 8 Dr. P.M. (Nel) Wognum Department of Computer Science University of Twente P.O. Box 217 7500 AE Enschede The Netherlands e-mail: wognum@cs.utwente.nl tel.: +31 53 893736/3690 -- ==================================================================== Dr. P.M.(Nel) Wognum University of Twente phone: +31 53 893736/3690 Department of Computer Science fax: +31 53 339605 P.O. Box 217 e-mail: wognum@cs.utwente.nl 7500 AE Enschede The Netherlands ==================================================================== Article 5576 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5576 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!uunet!sparky!rick From: fronhoef@informatik.tu-muenchen.de (Bertram Fronhoefer) Subject: CFP: ECAI-94 Workshop: Logic and Change Message-ID: <1994Feb4.194853.11386@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Technische Universitaet Muenchen, Germany Date: Fri, 4 Feb 1994 19:48:53 GMT Approved: rick@sparky.sterling.com Expires: Sun, 20 Mar 1994 08:00:00 GMT Lines: 223 X-Md4-Signature: bf15050aeec71cb03c06171ada2c1cc5 CALL FOR PARTICIPATION Logic and Change Workshop at ECAI-94 August 8 -- 12, 1994, Amsterdam, The Netherlands The theme of the workshop is the confrontation of different approaches to the declarative representation of change in intelligent systems. Possible topics of contributions might be the following, however, the list is not exhaustive: + Relevance and Change + Causality and Change + Requirements for a formal approach to Action + Foundational approach to revision + Conditional logic and change + Syntactical versus semantical views of change + Abduction and Change + Nonmonotonicity and Change We emphasize especially contributions concerning the relationship between different approaches. Since we want to benefit from the informal character of a workshop, we are less interested in special research papers of this field and we are more interested in papers that focus on fundamental issues which may reach from a critical assessment of current research trends to guidelines and perspectives for future research. We would also like to encourage contributions which shed a light on the specific problems which arise when an approach is confronted with applications. Authors are invited to submit an extended abstract (4-5 pages) or a full paper in English by electronic mail (postscript file or tex-dvifile) or alternatively 4 hard copies. The submitted papers will be refereed by the workshop organisors. Copies of the accepted contributions will be distributed at the workshop. Attendance at the workshop will be limited to around 40 persons. People interested in attending without intention to give a talk have to submit a short "position paper" stating the reasons for their interest in the workshop. On the basis of these position papers, the organisers will decide which of the non-speakers will be admitted. (Rejected submitted abstracts are automatically treated as "position papers".) All submissions (abstracts, full papers and position papers) should include an exact address and an e-mail address. Important Dates: Deadline for submission: March 19 Notification of acceptance: May 1 Final version of abstract: June 1 Since the time for reviewing is rather short the deadline for submissions will be rather strict. Programm comittee: Esprit WG Logic and Change (LAC) : Luigia Aiello, (University of Rome, Italy), Christoph Brzoska (University of Karlsruhe, Germany), Bertram Fronh"ofer (Technical University of Munich, Germany), Alexander Herold (ECRC, Munich, Germany), Alberto Martelli (University of Torino, Italy), Ant\'onio Porto (Uninova, Lisbon, Portugal), Barry Richards (Imperial College London, UK), Erik Sandewall (Link"oping University, Sweden), Camilla Schwind (GIA Marseille, France), Jacqueline Vauzeilles (LIPN, Paris, France) Organization: Bertram Fronh"ofer and Camilla Schwind Abstracts and position papers should be sent to: Camilla Schwind Groupe Intelligence Artificiel, Faculte' des Siences de Luminy Case 901 163 Avenue de Luminy 13288 Marseille, Cedex 9, FRANCE E-MAIL: schwind@gia.univ-mrs.fr TEL.: +33 91 26 91 95, FAX: +33 91 26 92 75 Important Note: Each WORKSHOP attendee MUST HAVE REGISTERED FOR THE MAIN CONFERENCE. S/he will pay an ADDITIONAL fee for the WORKSHOP. NO ATTENDANCE TO A WORKSHOP WILL BE ACCEPTED WITHOUT REGISTRATION TO ECAI-94. \documentstyle[12pt]{article} \nonstopmode \topmargin=0pt \oddsidemargin=0pt \evensidemargin=0pt \textwidth=15cm \textheight=21.4cm \pagestyle{empty} \parindent=0pt\parskip=0pt \topsep=0pt\partopsep=0pt\itemsep=0pt \begin{document} \begin{centering} {\large CALL FOR PARTICIPATION }\\[6mm] {\LARGE\bf Logic and Change }\\[5mm] {\large Workshop at ECAI-94 }\\ August 8 -- 12, 1994, Amsterdam, The Netherlands \\[7mm] \end{centering} The theme of the workshop is the confrontation of different approaches to the declarative representation of change in intelligent systems. Possible topics of contributions might be the following, however, the list is not exhaustive: \begin{itemize} \parskip=0pt\topsep=0pt\partopsep=0pt\itemsep=0pt \item Relevance and Change \item Causality and Change \item Requirements for a formal approach to Action \item Foundational approach to revision \item Conditional logic and change \item Syntactical versus semantical views of change \item Abduction and Change \item Nonmonotonicity and Change \end{itemize} We emphasize especially contributions concerning the relationship between different approaches. Since we want to benefit from the informal character of a workshop, we are less interested in special research papers of this field and we are more interested in papers that focus on fundamental issues which may reach from a critical assessment of current research trends to guidelines and perspectives for future research. We would also like to encourage contributions which shed a light on the specific problems which arise when an approach is confronted with applications. \\[2mm] % Authors are invited to submit an extended abstract (4-5 pages) or a full paper in English by electronic mail (postscript file or tex-dvifile) or alternatively 4 hard copies. The submitted papers will be refereed by the workshop organisors. Copies of the accepted contributions will be distributed at the workshop. Attendance at the workshop will be limited to around 40 persons. People interested in attending without intention to give a talk have to submit a short "position paper" stating the reasons for their interest in the workshop. On the basis of these position papers, the organisers will decide which of the non-speakers will be admitted. (Rejected submitted abstracts are automatically treated as "position papers".) \\[2mm] All submissions (abstracts, full papers and position papers) should include an exact address and an e-mail address. \\[2mm] % \newpage {\bf Important Dates:} \\[2mm] % \begin{tabular}{ll} {\bf\qquad Deadline for submission:} & March 19 \\ % {\bf\qquad Notification of acceptance:} & May 1 \\ % {\bf\qquad Final version of abstract:} & June 1 \\ \end{tabular} \\[2mm] % Since the time for reviewing is rather short the deadline for submissions will be rather strict. \\ {\bf Programm comittee: } \\[2mm] % Esprit WG Logic and Change (LAC) : Luigia Aiello, (University of Rome, Italy), Christoph Brzoska (University of Karlsruhe, Germany), Bertram Fronh\"ofer (Technical University of Munich, Germany), Alexander Herold (ECRC, Munich, Germany), Alberto Martelli (University of Torino, Italy), Ant\'onio Porto (Uninova, Lisbon, Portugal), Barry Richards (Imperial College London, UK), Erik Sandewall (Link\"oping University, Sweden), Camilla Schwind (GIA Marseille, France), Jacqueline Vauzeilles (LIPN, Paris, France) \\ {\bf Organization: } \\[2mm] % Bertram Fronh\"ofer and Camilla Schwind \\ {\bf Abstracts and position papers should be sent to: } \\[2mm] % Camilla Schwind \\ Groupe Intelligence Artificiel, Facult\'e des Siences de Luminy \\ Case 901 \\ 163 Avenue de Luminy \\ 13288 Marseille, Cedex 9, FRANCE \\ {\em e-mail:} schwind@gia.univ-mrs.fr, \\ {\em Tel.:} +33 91 26 91 95, {\em Fax:} +33 91 26 92 75 \\[4mm] % {\bf Important Note: } \\[2mm] % Each WORKSHOP attendee MUST HAVE REGISTERED FOR THE MAIN CONFERENCE. S/he will pay an ADDITIONAL fee for the WORKSHOP. NO ATTENDANCE TO A WORKSHOP WILL BE ACCEPTED WITHOUT REGISTRATION TO ECAI-94. \end{document} Article 20625 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:20625 Newsgroups: comp.ai Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!godot.cc.duq.edu!toads.pgh.pa.us!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!pipex!uknet!EU.net!sun4nl!swi.psy.uva.nl!winkels From: winkels@swi.psy.uva.nl (Radboud Winkels) Subject: ECAI 94 WORKSHOP Call for Papers Message-ID: <1994Feb10.123606.834@swi.psy.uva.nl> Summary: ECAI 94 Workshop on Artificial Normative Reasoning Keywords: legal reasoning, deontic logic, knowledge representation, assessement Organization: Computer Science & Law, University of Amsterdam. Date: Thu, 10 Feb 1994 12:36:06 GMT Lines: 145 Call for Papers ECAI 94 WORKSHOP on: ARTIFICIAL NORMATIVE REASONING Amsterdam, Monday, 8 August 1994 (The workshop will be held as part of the 11th European Conference on Artificial Intelligence, 8 - 12 August) Key-words: (Para)Legal Reasoning, deontic logic/operators, assessment problems, representation of regulations Artificial Normative Reasoning (ANR) is a field of AI research that is concerned with reasoning in normative domains. These domains are governed by implicit or explicit regulations. Typical examples are legal domains (``AI & Law''), but also paralegal and other normative domains such as administrative ones (e.g. loans assessment, insurance claims, certification). ANR research has roots in, and ramifications to theoretical issues in AI, in particular with the epistemological and logical foundations of representing normative and common sense knowledge, case based reasoning and problem solving methods for assessment tasks. ANR is also an important field of application, in particular as part of the intelligent automisation of administrative institutes such as banks, civil services, government, etc. (Para-) Legal knowledge based systems cover a suffiently large market to warrant the (re)use of specialised knowledge acquisition methodologies and tools, and the development of articulate and dedicated system architectures. It is the objective of the Workshop to bring together both theoretical and applied perspectives, focussing on representation formalisms, modelling of normative knowledge, and reasoning methods. Papers are sollicited addressing these issues, and containing theoretical argument and demonstration, and/or empirical generalization. Participation Because the informal exchange of ideas is emphasized participation of the workshop is limited to a maximum of 30 participants. Papers Papers should be sent for refereeing to the coordinator (Joost Breuker) either in hardcopy (4 copies), or in electronic form via email (ascii, preferrably Latex), not exceeding 5000 words (see Schedule below). Electronically submitted papers should expect confirmation of receipt within 24 hours. Papers will be refereed by at least three members of the Committee. All accepted papers will be published as ECAI Workshop Notes and made available to the participants. A subset of these papers will be selected for publication in a book on Normative Reasoning.* Statements Authors of accepted papers are also requested to provide between two to five statements (``theses'') on current research in ANR, preferrably based upon, or as conclusions of their paper contribution. These theses will be grouped around topics which will be discussed at the Workshop. Workshop The Workshop itself will not consist of full paper presentations, but of short invited introductions on actual research topics. These topics will be based upon the Statements which participants of the Workshop should send in at least six weeks before the Workshop. All participants of the Workshop will be able to obtain an electronic version of the Proceedings and Statements at least four weeks before the ECAI via ftp, restricted to participants of the Workshop, or via email. Schedule (1994) 1 May: deadline for paper submission (electronic or hardcopy) 23 May: notification of acceptance 13 June: deadline for camery ready version accepted papers 20 June: deadline for statements 1 August deadline selected papers for book 1 August Proceedings available 8 August Workshop ============= For Information and Submission of papers: Joost Breuker, coordinator ECAI-94 WS on Artificial Normative Reasoning Dep. of AI & Law, University of Amsterdam Kloveniersburgwal 72 1012 CZ Amsterdam The Netherlands email: breuker@lri.jur.uva.nl winkels@lri.jur.uva.nl tel: (+31) 20 5253494 fax: (+31) 20 5253495 Other members of the Organization Committee: Trevor Bench-Capon University of Liverpool Fax: +44 51 7943759 (3715) Tel: +44 51 7946923 (2000) email: tbc@compsci.liverpool.ac.uk Marek Sergot Imperial College tel: +44 - 71 - 589.5111 fax: +44 - 71 - 589.1552 email: mjs@doc.ic.ac.uk Christine Pierret-Golbreich LRI-CNRS URA410 Universitite Paris Sud tel: +33 1 69 41 64 99 pierret@lri.fr Henning Herrestad Norwegian Research Centre for Computers and Law fax: +47 2 44 77 48 Henning.Herrestad@jus.uio.no Thomas F. Gordon German National Research Centre for Computer Science (GMD) email: thomas.gordon@gmd.de Giovanni Sartor University of Bologna tel: +39 - 51 - 261062 fax: +39 - 51 - 260782 email: sartor@cirfid.unibo.it Bob Brouwer University of Amsterdam tel: +31 20 5253417 fax: +31 20 5253495 --------------- *) The book will be published by IOS (Amsterdam, Washington, Tokyo) Article 5659 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5659 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!math.ohio-state.edu!cs.utexas.edu!uunet!sparky!rick From: mikew@sun.com.mmu.ac.uk (Michael Wooldridge) Subject: CFP: Agent Theories, Architectures & Languages Workshop Message-ID: <1994Feb9.231902.13395@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Sterling Software Date: Wed, 9 Feb 1994 23:19:02 GMT Approved: rick@sparky.sterling.com Expires: Tue, 12 Apr 1994 08:00:00 GMT Lines: 126 X-Md4-Signature: 14c40cf38cad960a76150a466a283dec AGENT THEORIES, ARCHITECTURES, AND LANGUAGES Call for Papers - An ECAI '94 Workshop Amsterdam, August 8th, 1994 Introduction Artificial Intelligence is concerned with building, modeling and under- standing systems that exhibit some aspect of intelligent behaviour. Yet it is only comparatively recently -- since about the mid 1980s -- that issues surrounding the synthesis of intelligent autonomous agents have entered the mainstream of AI. Despite the undoubted interest on the part of the international research community, there is currently no recognised forum for presenting work in this area. Results are published in a diverse range of journals, workshops, and conferences, making it difficult for researchers to meet and follow developments. The aim of this workshop, therefore, is to provide an arena in which researchers working in all areas related to the theoretical and practical aspects of both hardware and software agent synthesis can further extend their understanding and exper- tise by meeting and exchanging ideas, techniques and results with research- ers working in related areas. Workshop Themes o Theories of intelligent agents. How do the various components of an agent's cognitive makeup conspire to produce rational behaviour? What is the relationship between these components? What formalisms are appropriate for expressing aspects of agent theory? Do we need logic-based formalisms? If not, is another type of mathematical framework appropriate? o Architectures for intelligent agents. What structure should an artificial intelligent agent have? Is reac- tive behaviour enough? Or do we need deliberation as well? How can we integrate reactive and deliberative components cleanly? What is the relationship between an agent theory and architecture? How are we to reason about reactive systems? o Languages for intelligent agents. What are the right primitives for programming an intelligent agent? How are these primitives related to the theory of an agent, or its architecture? Can we realistically hope to execute agent specifica- tions in complex, perhaps multi-modal languages? Should we aim for simple agents, with limited internal complexity, or for agents with complex reasoning abilities? We are particularly interested in papers that cross theme boundaries, for example, by relating theories to architectures, or architectures to languages. Topics of Interest Topics of interest include, but are not restricted to the following: Agent Theories Agent Architectures intentions deliberative architectures time, desires, beliefs, and goals reactive architectures situated automata hybrid architectures logical models of agents executing logical agent specifications Agent Languages rationality & bounded rationality agent specification languages the agent-oriented paradigm non-logical agent languages agent-based computing Submission Details Those wishing to participate in the workshop should submit an extended abstract of between one thousand and five thousand words (approximately thirteen pages maximum), to reach either member of the organising committee no later than Monday 11th April 1994. The first page should include full name and contact details (including email, full postal address, and tele- phone number if possible) of at least one author. Notification of accep- tance or rejection will be no later than Monday 9th May 1994, and will be sent by email where possible. Successful authors will be asked to submit a full paper by Monday 13th June 1994; pre-proceedings will be distributed at the workshop. A major international publishing house has expressed an interest in publishing the proceedings. Anyone wishing to attend without presenting a paper will be welcome, pro- vided that they contact the organising committee in advance of the workshop (numbers permitting). NOTE: All those attending the workshop will be required to register for the main conference. Organising Committee Michael Wooldridge Nicholas Jennings Dept of Computing Dept of Electronic Engineering Manchester Metropolitan University Queen Mary & Westfield College Chester Street Mile End Road Manchester M1 5GD, U.K. London E1 4NS, U.K. Email mikew@sun.com.mmu.ac.uk Email N.R.Jennings@qmw.ac.uk Tel (+44 61) 247 1531 Tel (+44 71) 975 5349 Fax (+44 61) 247 1483 Fax (+44 81) 981 0259 Program Committee Phil Cohen (USA) Michael Fisher (UK) Piotr Gmytrasiewicz (USA) Hans Haugeneder (Germany) Sarit Kraus (Israel) Anand Rao (Australia) Yoav Shoham (USA) Munindar Singh (USA) Further Details Contact the organising committee via email for further details, or for LaTeX/PostScript versions of this CFP. Article 20851 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:20851 comp.theory:9271 Newsgroups: comp.ai,comp.theory Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!wupost!udel!princeton!allegra!ulysses!research!selman From: kautz@research.att.com Subject: Call for Papers, Wkshp on Alg, Complex, Commonsense Message-ID: Date: Fri, 25 Feb 1994 17:03:20 GMT Distribution: comp Reply-To: kautz@research.att.com Organization: AT&T Bell Laboratories Lines: 164 CALL FOR PAPERS Workshop on ALGORITHMS, COMPLEXITY AND COMMONSENSE REASONING Held in conjunction with ECAI-94 (European Conference on Artificial Intelligence) Amsterdam August 9, 1994 The idea of formalizing commonsense reasoning has always been central to the field of Artificial Intelligence in general and Knowledge Representation and Reasoning in particular. Many different logical formalisms have been proposed and their semantic properties carefully analyzed. Only more recently particular attention has been devoted to the computational complexity analysis and the development of efficient algorithms to implement these formalisms. The aim of the workshop is to bring together researchers and provide a forum for discussion of current research, recent results, and open problems of both a theoretical and practical nature. We encourage the submission of papers describing the design of efficient algorithms and complexity results in the following (non-exhaustive) list of topic areas: - abduction - belief revision - diagnosis - epistemic logics - nonmonotonic logics - planning - taxonomic logics - temporal reasoning. Theoretical studies as well as empirical results are welcome. Attendance will be limited and by invitation only. Authors of accepted papers will be invited. Others wishing to attend should submit a statement of interest consisting in a short description of their past accomplishments and current research interests. Although original papers are preferred, recent results already appeared in the literature are also welcome. The program committee will review EXTENDED ABSTRACTS rather than full papers. The papers should be at most 15 pages including title page and bibliography. Statements of interest should be of approximately 2 pages in length. Electronic submissions (Standard LaTeX, Postscript or ASCII files) are encouraged where possible and must be received by April 15, 1994. No formal proceedings or collection of papers from the workshop will be published. Papers and statements of interest should be sent to the chairperson: Marco Schaerf Dip. di Informatica e Sistemistica, Univ. di Roma "La Sapienza" Via Salaria 113, I-00198 Roma, Italy Tel: (+39)-6-49918332, Fax: (+39)-6-85300849 email: schaerf@assi.dis.uniroma1.it Important dates Deadline for submissions: April 15, 1994. Notification of acceptance: May 13, 1994. Revised version due: June 3, 1994. Organizing Committee Marco Cadoli U. Roma, Italy Georg Gottlob U. Vienna, Austria Bernhard Nebel DFKI & U. Ulm, Germany Marco Schaerf U. Roma, Italy (Chair) Bart Selman AT&T Bell Labs, USA ---------------LaTeX Version -------------- \documentstyle[11pt]{article} \setlength{\parindent}{0pt} \addtolength{\parskip}{0.6\baselineskip} \pagestyle{empty} \addtolength{\textwidth}{1.5in} \addtolength{\oddsidemargin}{-0.9in} \addtolength{\evensidemargin}{-0.9in} \addtolength{\textheight}{2.4in} \addtolength{\headheight}{-1in} % \textwidth 6in % \textheight 9in \begin{document} \begin{center} {\Large\bf CALL FOR PAPERS} \\ {\large\bf Workshop on Algorithms, Complexity and Commonsense Reasoning}\\ {\small \rule{0ex}{2.2ex} Held in conjunction with ECAI-94} \\ {\small \rule{0ex}{2.2ex} Amsterdam August 9, 1994} \end{center} The idea of formalizing commonsense reasoning has always been central to the field of Artificial Intelligence in general and Knowledge Representation and Reasoning in particular. Many different logical formalisms have been proposed and their semantic properties carefully analyzed. Only more recently particular attention has been devoted to the computational complexity analysis and the development of efficient algorithms to implement these formalisms. The aim of the workshop is to bring together researchers and provide a forum for discussion of current research, recent results, and open problems of both a theoretical and practical nature. We encourage the submission of papers describing the design of efficient algorithms and complexity results in the following (non-exhaustive) list of topic areas: \begin{tabular}{llll} abduction & belief revision & diagnosis & epistemic logics\\ nonmonotonic logics & planning & taxonomic logics & temporal reasoning. \end{tabular} Theoretical studies as well as empirical results are welcome. Attendance will be limited and by invitation only. Authors of accepted papers will be invited. Others wishing to attend should submit a statement of interest consisting in a short description of their past accomplishments and current research interests. Although original papers are preferred, recent results already appeared in the literature are also welcome. The program committee will review EXTENDED ABSTRACTS rather than full papers. The abstracts should be at most 15 pages including title page and bibliography. Statements of interest should be of approximately 2 pages in length. Electronic submissions (Standard \LaTeX, Postscript or ASCII files) are encouraged where possible and must be received by April 15, 1994. No formal proceedings or collection of papers >from the workshop will be published. Papers and statements of interest should be sent to the chairperson: \begin{tabular}{l} Marco Schaerf\\ Dip. di Informatica e Sistemistica, Univ. di Roma ``La Sapienza"\\ Via Salaria 113, I-00198 Roma, Italy\\ Tel: (+39)-6-49918332, Fax: (+39)-6-85300849\\ email: {\tt schaerf@assi.dis.uniroma1.it} \end{tabular} \begin{center} {\large\bf Important dates} \end{center} \begin{tabular}{ll} Deadline for submissions: & April 15, 1994.\\ Notification of acceptance: & May 13, 1994.\\ Revised version due: & June 3, 1994. \end{tabular} \begin{center} {\large\bf Organizing Committee} \end{center} \begin{tabular}{ll} Marco Cadoli & U. Roma, Italy\\ Georg Gottlob & U. Vienna, Austria\\ Bernhard Nebel & DFKI \& U. Ulm, Germany\\ Marco Schaerf & U. Roma, Italy (Chair)\\ Bart Selman & AT\&T Bell Labs, USA \end{tabular} \end{document} Article 20841 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:20841 Newsgroups: comp.ai Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!news.mic.ucla.edu!library.ucla.edu!europa.eng.gtefsd.com!howland.reston.ans.net!EU.net!sun4nl!star.cs.vu.nl!gusz From: gusz@cs.vu.nl (Gusz Eiben) Subject: ECAI-94 Workshop on Genetic and Other Evolutionary Algorithms Message-ID: Sender: news@cs.vu.nl Organization: Fac. Wiskunde & Informatica, VU, Amsterdam Date: Fri, 25 Feb 1994 18:01:27 GMT Lines: 114 CALL FOR PARTICIPATION ECAI-94 WORKSHOP ON APPLIED GENETIC AND OTHER EVOLUTIONARY ALGORITHMS Amsterdam, August 9, 1994 One of the reasons for the growing interest in genetic and other evolutionary algorithms is their good performance on a wide scale of problems. However, practical applications may raise issues beyond the scope of classical models. The goal of this workshop is to cumulate knowledge on the application of EAs and in particular to study changes to and extensions of the standard approaches. Topics of interest include but are not restricted to: o problem elicitation and representation, o non-standard genotypes and recombination operators, o genetic programming, o handling constraints, o boosting performance, o combination with other techniques, e.g. local search, neural nets, knowledge based systems, o advantages and disadvantages of EAs w.r.t. other techniques. About 10-12 of the participants will have the opportunity to introduce his/her work in the form of a short presentation. Other persons interested in the subject may also participate in a limited number. Besides the presentations, substantial time will be allocated for discussion and comparison of the presented results. Our hope is that insights gained at the workshop may facilitate further applications and support new theory. SUBMISSIONS Two kinds of contributions are invited o papers that describe successful practical applications, o papers investigating relevant issues by extensive test sessions on a test bench. In both cases the problem(s) to be solved and the issue(s) to be investigated should be clearly described followed by the system description and experiment setup. Evaluation of the system and analysis of the test results should be given to support the conclusions. Three camera ready copies of a full paper not exceeding 12 pages (12 point font, single space) including figures and references should be sent to A.E Eiben Artificial Intelligence Group Dept. of Maths. and Comp. Sci. Free University Amsterdam De Boelelaan 1081a 1081 HV Amstredam The Netherlands email: ecai-ga@cs.vu.nl Submission of the PostScript format by e-mail is also possible. Accepted papers will be included in the workshop proceedings available at the workshop. In the meantime, the organizers aim at publication in a special journal issue or book containing the revised versions of the best papers. Persons willing to attend the workshop without a presentation should submit a brief description of their research area or field of interest. Deadlines for submission and notification are the same as for papers for presentation. TIME TABLE Deadline for submission: April 25, 1994 Notification of acceptance: May 30, 1994 Workshop: August 9, 1994 ORGANIZERS: A.E Eiben Artificial Intelligence Group Dept. of Maths. and Comp. Sci. Free University Amsterdam De Boelelaan 1081a 1081 HV Amstredam The Netherlands Phone: +31-(0)20-5482997 Fax: +31-(0)20-6427705 email: gusz@cs.vu.nl B. Manderick Computer Science Department Erasmus University Rotterdam Burg. Oudlaan 50 3062 PA Rotterdam The Netherlands Phone: +31-(0)10-4081853 Fax: +31-(0)10-452 61 77 email: manderic@cs.few.eur.nl Zs. Ruttkay Artificial Intelligence Group Deptartment of Mathematics and Computer Science Vrije Universiteit Amsterdam De Boelelaan 1081a 1081 HV Amsterdam The Netherlands Phone: +31-(0)20-5482412 Fax: +31-(0)20-6427705 email: zsofi@cs.vu.nl Article 5679 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5679 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!math.ohio-state.edu!cs.utexas.edu!uunet!sparky!rick From: winkels@swi.psy.uva.nl (Radboud Winkels) Subject: CFP: ECAI Workshop on Artificial Normative Reasoning Message-ID: <1994Feb15.225932.14418@sparky.sterling.com> Summary: Announcement/Call for papers of ECAI 94 workshop on Artificial Normative Reasoning Keywords: legal reasoning, deontic logic, assessment, regulations, knowledge representation Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Computer Science & Law, University of Amsterdam. Date: Tue, 15 Feb 1994 22:59:32 GMT Approved: rick@sparky.sterling.com Expires: Mon, 2 May 1994 08:00:00 GMT Lines: 143 X-Md4-Signature: 251b0d82b0970387b38381fadafe2282 Call for Papers ECAI 94 WORKSHOP on: ARTIFICIAL NORMATIVE REASONING Amsterdam, Monday, 8 August 1994 (The workshop will be held as part of the 11th European Conference on Artificial Intelligence, 8 - 12 August) Key-words: (Para)Legal Reasoning, deontic logic/operators, assessment problems, representation of regulations Artificial Normative Reasoning (ANR) is a field of AI research that is concerned with reasoning in normative domains. These domains are governed by implicit or explicit regulations. Typical examples are legal domains (``AI & Law''), but also paralegal and other normative domains such as administrative ones (e.g. loans assessment, insurance claims, certification). ANR research has roots in, and ramifications to theoretical issues in AI, in particular with the epistemological and logical foundations of representing normative and common sense knowledge, case based reasoning and problem solving methods for assessment tasks. ANR is also an important field of application, in particular as part of the intelligent automisation of administrative institutes such as banks, civil services, government, etc. (Para-) Legal knowledge based systems cover a suffiently large market to warrant the (re)use of specialised knowledge acquisition methodologies and tools, and the development of articulate and dedicated system architectures. It is the objective of the Workshop to bring together both theoretical and applied perspectives, focussing on representation formalisms, modelling of normative knowledge, and reasoning methods. Papers are sollicited addressing these issues, and containing theoretical argument and demonstration, and/or empirical generalization. Participation Because the informal exchange of ideas is emphasized participation of the workshop is limited to a maximum of 30 participants. Papers Papers should be sent for refereeing to the coordinator (Joost Breuker) either in hardcopy (4 copies), or in electronic form via email (ascii, preferrably Latex), not exceeding 5000 words (see Schedule below). Electronically submitted papers should expect confirmation of receipt within 24 hours. Papers will be refereed by at least three members of the Committee. All accepted papers will be published as ECAI Workshop Notes and made available to the participants. A subset of these papers will be selected for publication in a book on Normative Reasoning.* Statements Authors of accepted papers are also requested to provide between two to five statements (``theses'') on current research in ANR, preferrably based upon, or as conclusions of their paper contribution. These theses will be grouped around topics which will be discussed at the Workshop. Workshop The Workshop itself will not consist of full paper presentations, but of short invited introductions on actual research topics. These topics will be based upon the Statements which participants of the Workshop should send in at least six weeks before the Workshop. All participants of the Workshop will be able to obtain an electronic version of the Proceedings and Statements at least four weeks before the ECAI via ftp, restricted to participants of the Workshop, or via email. Schedule (1994) 1 May: deadline for paper submission (electronic or hardcopy) 23 May: notification of acceptance 13 June: deadline for camery ready version accepted papers 20 June: deadline for statements 1 August deadline selected papers for book 1 August Proceedings available 8 August Workshop ============= For Information and Submission of papers: Joost Breuker, coordinator ECAI-94 WS on Artificial Normative Reasoning Dep. of AI & Law, University of Amsterdam Kloveniersburgwal 72 1012 CZ Amsterdam The Netherlands email: breuker@lri.jur.uva.nl winkels@lri.jur.uva.nl tel: (+31) 20 5253494 fax: (+31) 20 5253495 Other members of the Organization Committee: Trevor Bench-Capon University of Liverpool Fax: +44 51 7943759 (3715) Tel: +44 51 7946923 (2000) email: tbc@compsci.liverpool.ac.uk Marek Sergot Imperial College tel: +44 - 71 - 589.5111 fax: +44 - 71 - 589.1552 email: mjs@doc.ic.ac.uk Christine Pierret-Golbreich LRI-CNRS URA410 Universitite Paris Sud tel: +33 1 69 41 64 99 pierret@lri.fr Henning Herrestad Norwegian Research Centre for Computers and Law fax: +47 2 44 77 48 Henning.Herrestad@jus.uio.no Thomas F. Gordon German National Research Centre for Computer Science (GMD) email: thomas.gordon@gmd.de Giovanni Sartor University of Bologna tel: +39 - 51 - 261062 fax: +39 - 51 - 260782 email: sartor@cirfid.unibo.it Bob Brouwer University of Amsterdam tel: +31 20 5253417 fax: +31 20 5253495 --------------- *) The book will be published by IOS (Amsterdam, Washington, Tokyo) Article 5710 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5710 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!cs.utexas.edu!uunet!sparky!rick From: aschaerf@scottie.stanford.edu (Andrea Schaerf) Subject: CFP: Workshop on Algorithms, Complexity and Commonsense Reasoning Message-ID: <1994Feb15.231154.16899@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Robotics Lab. Stanford University Date: Tue, 15 Feb 1994 23:11:54 GMT Approved: rick@sparky.sterling.com Expires: Sat, 16 Apr 1994 08:00:00 GMT Lines: 161 X-Md4-Signature: 316b3321aa2102928862c7cd41d484e2 CALL FOR PAPERS Workshop on ALGORITHMS, COMPLEXITY AND COMMONSENSE REASONING Held in conjunction with ECAI-94 Amsterdam August 9, 1994 The idea of formalizing commonsense reasoning has always been central to the field of Artificial Intelligence in general and Knowledge Representation and Reasoning in particular. Many different logical formalisms have been proposed and their semantic properties carefully analyzed. Only more recently particular attention has been devoted to the computational complexity analysis and the development of efficient algorithms to implement these formalisms. The aim of the workshop is to bring together researchers and provide a forum for discussion of current research, recent results, and open problems of both a theoretical and practical nature. We encourage the submission of papers describing the design of efficient algorithms and complexity results in the following (non-exhaustive) list of topic areas: - abduction - belief revision - diagnosis - epistemic logics - nonmonotonic logics - planning - taxonomic logics - temporal reasoning. Theoretical studies as well as empirical results are welcome. Attendance will be limited and by invitation only. Authors of accepted papers will be invited. Others wishing to attend should submit a statement of interest consisting in a short description of their past accomplishments and current research interests. Although original papers are preferred, recent results already appeared in the literature are also welcome. The program committee will review EXTENDED ABSTRACTS rather than full papers. The papers should be at most 15 pages including title page and bibliography. Statements of interest should be of approximately 2 pages in length. Electronic submissions (Standard LaTeX, Postscript or ASCII files) are encouraged where possible and must be received by April 15, 1994. No formal proceedings or collection of papers from the workshop will be published. Papers and statements of interest should be sent to the chairperson: Marco Schaerf Dip. di Informatica e Sistemistica, Univ. di Roma "La Sapienza" Via Salaria 113, I-00198 Roma, Italy Tel: (+39)-6-49918332, Fax: (+39)-6-85300849 email: schaerf@assi.dis.uniroma1.it Important dates Deadline for submissions: April 15, 1994. Notification of acceptance: May 13, 1994. Revised version due: June 3, 1994. Organizing Committee Marco Cadoli U. Roma, Italy Georg Gottlob U. Vienna, Austria Bernhard Nebel DFKI & U. Ulm, Germany Marco Schaerf U. Roma, Italy (Chair) Bart Selman AT&T Bell Labs, USA ---------------LaTeX Version -------------- \documentstyle[11pt]{article} \setlength{\parindent}{0pt} \addtolength{\parskip}{0.6\baselineskip} \pagestyle{empty} \addtolength{\textwidth}{1.5in} \addtolength{\oddsidemargin}{-0.9in} \addtolength{\evensidemargin}{-0.9in} \addtolength{\textheight}{2.4in} \addtolength{\headheight}{-1in} % \textwidth 6in % \textheight 9in \begin{document} \begin{center} {\Large\bf CALL FOR PAPERS} \\ {\large\bf Workshop on Algorithms, Complexity and Commonsense Reasoning}\\ {\small \rule{0ex}{2.2ex} Held in conjunction with ECAI-94} \\ {\small \rule{0ex}{2.2ex} Amsterdam August 9, 1994} \end{center} The idea of formalizing commonsense reasoning has always been central to the field of Artificial Intelligence in general and Knowledge Representation and Reasoning in particular. Many different logical formalisms have been proposed and their semantic properties carefully analyzed. Only more recently particular attention has been devoted to the computational complexity analysis and the development of efficient algorithms to implement these formalisms. The aim of the workshop is to bring together researchers and provide a forum for discussion of current research, recent results, and open problems of both a theoretical and practical nature. We encourage the submission of papers describing the design of efficient algorithms and complexity results in the following (non-exhaustive) list of topic areas: \begin{tabular}{llll} abduction & belief revision & diagnosis & epistemic logics\\ nonmonotonic logics & planning & taxonomic logics & temporal reasoning. \end{tabular} Theoretical studies as well as empirical results are welcome. Attendance will be limited and by invitation only. Authors of accepted papers will be invited. Others wishing to attend should submit a statement of interest consisting in a short description of their past accomplishments and current research interests. Although original papers are preferred, recent results already appeared in the literature are also welcome. The program committee will review EXTENDED ABSTRACTS rather than full papers. The abstracts should be at most 15 pages including title page and bibliography. Statements of interest should be of approximately 2 pages in length. Electronic submissions (Standard \LaTeX, Postscript or ASCII files) are encouraged where possible and must be received by April 15, 1994. No formal proceedings or collection of papers from the workshop will be published. Papers and statements of interest should be sent to the chairperson: \begin{tabular}{l} Marco Schaerf\\ Dip. di Informatica e Sistemistica, Univ. di Roma ``La Sapienza"\\ Via Salaria 113, I-00198 Roma, Italy\\ Tel: (+39)-6-49918332, Fax: (+39)-6-85300849\\ email: {\tt schaerf@assi.dis.uniroma1.it} \end{tabular} \begin{center} {\large\bf Important dates} \end{center} \begin{tabular}{ll} Deadline for submissions: & April 15, 1994.\\ Notification of acceptance: & May 13, 1994.\\ Revised version due: & June 3, 1994. \end{tabular} \begin{center} {\large\bf Organizing Committee} \end{center} \begin{tabular}{ll} Marco Cadoli & U. Roma, Italy\\ Georg Gottlob & U. Vienna, Austria\\ Bernhard Nebel & DFKI \& U. Ulm, Germany\\ Marco Schaerf & U. Roma, Italy (Chair)\\ Bart Selman & AT\&T Bell Labs, USA \end{tabular} \end{document} Article 5745 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5745 Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!pipex!uunet!sparky!sparky!not-for-mail From: zimmerma@rzdspc17.informatik.uni-hamburg.de (Kai Zimmermann) Newsgroups: news.announce.conferences Subject: CFP: ECAI workshop on Parts and Wholes: Conceptual Part-Whole Relations And Formal Mereology Date: 9 Mar 1994 14:41:10 -0600 Organization: University of Hamburg -- Germany Lines: 130 Sender: rick@sparky.sterling.com Approved: rick@sparky.sterling.com Expires: 16 Apr 1994 8:00:00 GMT Message-ID: <2llc96$42o@sparky.sterling.com> NNTP-Posting-Host: sparky.sterling.com CALL FOR WORKSHOP PARTICIPATION PARTS AND WHOLES: CONCEPTUAL PART-WHOLE RELATIONS AND FORMAL MEREOLOGY Monday, August 8, 1994 Amsterdam, The Netherlands Held in conjunction with ECAI-94 (11th European Conference on Artificial Intelligence) Currently, there are two main approaches to the study of "parts" and their relations. The conceptual (cognitive) approach looks at the variety of part-whole relations and their role in language processing, perception, and action planning; the philosophical/logical approach, on the other hand, looks at formal theories of parts, wholes and related concepts in the framework of formal ontology. There are important differences between the two views. Philosophical systems tend to focus on a single "part-*of*" relation used for modeling ontological domains like time, space, or pluralities; conceptual approaches tend to assume a whole family of different "part-*whole*" relations for a variety of entities and tasks. Classical logical theories such as Lesniewski's or Goodman's privileged extensional aspects of the part-wholerelation, while for conceptual approaches and intensional formal mereology the old proverb holds that a whole is more than its parts. While disciplines such as linguistics, philosophy and psychology have contributed significantly to the research in this field, their impact on artificial intelligence is extremely limited, although AI could represent the ideal workbench for a unification of approaches dominant in different fields. Knowledge about parts is of great importance for a wide variety of AI domains, like vision, qualitative and naive physics, robotics, and natural language processing. For example, the structure of an object can be used for visual recognition, for reasoning about the functionality of the whole, or for planning its assembly. The goal of this workshop is to bring together researchers from these various disciplines in order to explore (i) the benefits and limits of formal mereology in modeling commonsense part-whole relations; (ii) the import for knowledge representation formalisms of the two current approaches to the study of "parts" and their relations; (iii) the possibility of a unified theory of parts and wholes. The workshop topics will include the following: - Classical extensional mereology: uses, extensions and adaptations; comparison with alternatives to mereology: set theory and lattices. - Intensional mereology: essence, dependence, and integrity; individual properties as parts. - Conceptual distinctions among wholes: masses, collections, complexes; natural entities and artifacts; sums and scattered individuals. - Parts and structure: physical connection, spatial, temporal, functional and other constraints among parts; Gestalt theories and perceptual parts; granularity issues. - Parts, space and time: relationships between mereology, topology, geometry; boundaries and surfaces; relationships between parts of physical objects (continuants) and parts of events (occurrents). - Parts and natural language: parts, part-names and possessive constructions; plurals and mass terms. - Reasoning about parts: transitivity, upper and downward inheritance of properties. - Dealing with parts within existing KR formalisms: distinguishing parts from other attributes, computational issues of reasoning about parts. Two possible kinds of contributions are solicited from interested participants: (a) regular papers of 10 pages max, presenting on-going research; (b) position papers of 3 pages max, motivating the interest in the field and explaining particular points of view. A limited number of regular papers will be chosen for an oral presentation at the workshop, while suitable space will be devoted to discussions based on contributions from participants (rejected regular papers are automatically treated as position papers). Participation will be limited to around 35 people. Preference will be given in the workshop schedule to contributions underlining the impact of mereological issues on AI practice, especially on: knowledge representation, natural language processing, qualitative and naive physics, spatial and temporal reasoning, vision, and robotics. Submission of papers, regular and position, to any member of the workshop organizing committee is due by April 15 1994. Hard copy (4 copies) and electronic submissions (either PostScript, LaTex or MacWord converted in BinHex format) are equally acceptable, with a strong preference for the latter. All submissions should include an exact address and an e-mail address. TIMETABLE: Paper submission deadline: April 15, 1994 Notification: May 20, 1994 Final version due: June 6, 1994 Workshop: August 8, 1994 IMPORTANT NOTICE: Participants will be requested to register for the main ECAI conference. Organizing committee: Nicola Guarino LADSEB-CNR Corso Stati Uniti 4, I-35020 Padova tel: +39 49 8295751, fax: +39 49 8295778 email: guarino@ladseb.pd.cnr.it Simone Pribbenow University of Hamburg, Computer Science Department, Bodenstedtstr. 16, D-22765 Hamburg tel: +49 40 4123-6111, fax: +49 40 4123-6159 email: pribbeno@informatik.uni-hamburg.de Laure Vieu Institut de Recherche en Informatique de Toulouse, UPS, 118 route de Narbonne, F-31326 Toulouse tel: +33 61556091, fax: +33 61558325 email: vieu@irit.fr Article 21053 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:21053 Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!pipex!zaphod.crihan.fr!jussieu.fr!centre.univ-orleans.fr!univ-lyon1.fr!swidir.switch.ch!scsing.switch.ch!news.dfn.de!news.dfn.de!news.dkrz.de!news.rrz.uni-hamburg.de!rzdspc35.informatik.uni-hamburg.de!zierke From: zierke@rzdspc35.informatik.uni-hamburg.de (Reinhard Zierke) Newsgroups: de.sci.ki.announce,comp.ai Subject: WS: Parts and Wholes: Conceptual Part-Whole Relations and Formal Mereology Date: 11 Mar 1994 08:02:12 GMT Organization: University of Hamburg -- Germany Lines: 129 Message-ID: <2lp8i4$bql@rzsun02.rrz.uni-hamburg.de> NNTP-Posting-Host: rzdspc35.informatik.uni-hamburg.de X-Newsreader: TIN [version 1.2 PL2] CALL FOR WORKSHOP PARTICIPATION PARTS AND WHOLES: CONCEPTUAL PART-WHOLE RELATIONS AND FORMAL MEREOLOGY Monday, August 8, 1994 Amsterdam, The Netherlands Held in conjunction with ECAI-94 (11th European Conference on Artificial Intelligence) Currently, there are two main approaches to the study of "parts" and their relations. The conceptual (cognitive) approach looks at the variety of part-whole relations and their role in language processing, perception, and action planning; the philosophical/logical approach, on the other hand, looks at formal theories of parts, wholes and related concepts in the framework of formal ontology. There are important differences between the two views. Philosophical systems tend to focus on a single "part-*of*" relation used for modeling ontological domains like time, space, or pluralities; conceptual approaches tend to assume a whole family of different "part-*whole*" relations for a variety of entities and tasks. Classical logical theories such as Lesniewski's or Goodman's privileged extensional aspects of the part-wholerelation, while for conceptual approaches and intensional formal mereology the old proverb holds that a whole is more than its parts. While disciplines such as linguistics, philosophy and psychology have contributed significantly to the research in this field, their impact on artificial intelligence is extremely limited, although AI could represent the ideal workbench for a unification of approaches dominant in different fields. Knowledge about parts is of great importance for a wide variety of AI domains, like vision, qualitative and naive physics, robotics, and natural language processing. For example, the structure of an object can be used for visual recognition, for reasoning about the functionality of the whole, or for planning its assembly. The goal of this workshop is to bring together researchers from these various disciplines in order to explore (i) the benefits and limits of formal mereology in modeling commonsense part-whole relations; (ii) the import for knowledge representation formalisms of the two current approaches to the study of "parts" and their relations; (iii) the possibility of a unified theory of parts and wholes. The workshop topics will include the following: - Classical extensional mereology: uses, extensions and adaptations; comparison with alternatives to mereology: set theory and lattices. - Intensional mereology: essence, dependence, and integrity; individual properties as parts. - Conceptual distinctions among wholes: masses, collections, complexes; natural entities and artifacts; sums and scattered individuals. - Parts and structure: physical connection, spatial, temporal, functional and other constraints among parts; Gestalt theories and perceptual parts; granularity issues. - Parts, space and time: relationships between mereology, topology, geometry; boundaries and surfaces; relationships between parts of physical objects (continuants) and parts of events (occurrents). - Parts and natural language: parts, part-names and possessive constructions; plurals and mass terms. - Reasoning about parts: transitivity, upper and downward inheritance of properties. - Dealing with parts within existing KR formalisms: distinguishing parts from other attributes, computational issues of reasoning about parts. Two possible kinds of contributions are solicited from interested participants: (a) regular papers of 10 pages max, presenting on-going research; (b) position papers of 3 pages max, motivating the interest in the field and explaining particular points of view. A limited number of regular papers will be chosen for an oral presentation at the workshop, while suitable space will be devoted to discussions based on contributions from participants (rejected regular papers are automatically treated as position papers). Participation will be limited to around 35 people. Preference will be given in the workshop schedule to contributions underlining the impact of mereological issues on AI practice, especially on: knowledge representation, natural language processing, qualitative and naive physics, spatial and temporal reasoning, vision, and robotics. Submission of papers, regular and position, to any member of the workshop organizing committee is due by April 15 1994. Hard copy (4 copies) and electronic submissions (either PostScript, LaTex or MacWord converted in BinHex format) are equally acceptable, with a strong preference for the latter. All submissions should include an exact address and an e-mail address. TIMETABLE: Paper submission deadline: April 15, 1994 Notification: May 20, 1994 Final version due: June 6, 1994 Workshop: August 8, 1994 IMPORTANT NOTICE: Participants will be requested to register for the main ECAI conference. Organizing committee: Nicola Guarino LADSEB-CNR Corso Stati Uniti 4, I-35020 Padova tel: +39 49 8295751, fax: +39 49 8295778 email: guarino@ladseb.pd.cnr.it Simone Pribbenow University of Hamburg, Computer Science Department, Bodenstedtstr. 16, D-22765 Hamburg tel: +49 40 4123-6111, fax: +49 40 4123-6159 email: pribbeno@informatik.uni-hamburg.de Laure Vieu Institut de Recherche en Informatique de Toulouse, UPS, 118 route de Narbonne, F-31326 Toulouse tel: +33 61556091, fax: +33 61558325 email: vieu@irit.fr Article 12309 of comp.lang.lisp: Xref: glinda.oz.cs.cmu.edu comp.constraints:56 comp.ai:21143 comp.ai.shells:1482 comp.databases:33656 comp.object:15689 comp.lang.lisp:12309 comp.lang.prolog:9989 comp.programming:8781 comp.graphics:52649 sci.op-research:846 Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!toads.pgh.pa.us!birdie-blue.cis.pitt.edu!ctc.com!news.pop.psu.edu!news.cac.psu.edu!howland.reston.ans.net!math.ohio-state.edu!jussieu.fr!univ-lyon1.fr!swidir.switch.ch!scsing.switch.ch!news.dfn.de!news.belwue.de!news.uni-ulm.de!rz.uni-karlsruhe.de!stepsun.uni-kl.de!serv-200.dfki.uni-kl.de!not-for-mail From: meyer@dfki.uni-kl.de (Manfred Meyer) Newsgroups: comp.constraints,comp.ai,comp.ai.shells,comp.databases,comp.object,comp.lang.lisp,comp.lang.prolog,comp.programming,comp.graphics,sci.op-research Subject: 2nd CfP: ECAI'94 Workshop on Constraint Processing Date: 16 Mar 1994 19:44:15 +0100 Organization: DFKI, University of Kaiserslautern, Germany Lines: 314 Distribution: world Message-ID: <2m7k1vINNsmf@serv-301.dfki.uni-kl.de> NNTP-Posting-Host: serv-301.dfki.uni-kl.de Here comes an updated Announcement and Call for Papers for the Workshop on Constraint Processing at ECAI'94. Please note the invited lecture by Eugene Freuder and the publication of selected papers in Springer LNAI. Please distribute this announcement and especially the concise one-page LaTeX version to your colleagues that may be interested to participate. Looking forward to meeting you in Amsterdam! Manfred Meyer ------------------------------------------------------------------------ SECOND ANNOUNCEMENT AND CALL FOR PAPERS ------------------------------------------------------------------------ WORKSHOP ON CONSTRAINT PROCESSING August 8th, 1994 A one-day workshop to be held in conjunction with the 11th European Conference on Artificial Intelligence (ECAI'94) Amsterdam, The Netherlands, August 8-12th, 1994 An increasing number of researchers all over the world are now dealing with different aspects of constraint processing regarded as a general paradigm of computation. However, the constraint processing community appears to be very heterogeneous: Researchers from logic programming, knowledge representation, expert systems, theoretical computer science, operations research and other related fields are investigating the use of constraint processing methods, their theoretical foundations, as well as their applications to real-life problems. Up to now there has not been much effort to bring together researchers working on or interested in constraint processing from different viewpoints and to work out the common principles, vocabulary, and techniques that are used as well as similarities and differences between various viewpoints. This workshop aims at bringing together researchers working on different aspects of constraint processing in order to exchange, compare and contrast basic viewpoints, different approaches and recent research results. Thus, the workshop is planned as an interdisciplinary meeting of researchers as well as practitioners with an active interest in the area of constraint processing. It will provide an international forum to discuss and exchange new ideas and approaches, and to present not only full-blown research papers but also partial results, position papers and reports on ongoing research. By that, it is hoped that a fruitful cross- fertilization among the various disciplines will result. Work on all different aspects of constraint processing is of specific interest for the workshop, including * constraint-satisfaction methods and consistency techniques, * constraint logic programming, * concurrent constraint languages, * constraints and knowledge representation, * object-oriented constraint processing, * constraint programming, * constraint maintenance, * constraints identification, specification, management and implementation techniques, * over-specified constraint problems and constraint relaxation, * creation and execution of constraint-satisfaction plans, * constraint refinement, * hierarchical constraint problems, * parallel and distributed computing with constraints, * finite (discrete) as well as continuous domain handling, * real-time constraints, * relations to operations research or deductive databases, * constraint processing in computer graphics, * theoretical foundations, * complexity results, and * reports showing the practical relevance of constraint processing and what basic techniques are needed in practice. WORKSHOP FORMAT The workshop is planned as a combination of presentations of submitted papers, an invited lecture by a leading researcher in constraint pro- cessing, and a round-table discussion that shall stimulate the exchange of new ideas and approaches among the participants. KEYNOTE SPEECH: "The Many Paths to Satisfaction" Eugene C. Freuder (University of New Hampshire, USA) PROCEEDINGS: Workshop notes including all papers accepted for presentation will be distributed to all participants. Revised versions of the best papers will be published by Springer Verlag within the Lecture Notes in Artificial Intelligence (LNAI) series. PAPER SUBMISSION People interested in giving a presentation at the workshop are invited to submit an extended abstract (no more than eight pages, single-spaced, one column, 12pt), preferably by e-mail (LaTeX/PostScript are welcome). Authors not having e-mail access should send 4 copies. Persons wishing to participate without giving a presentation should submit a brief (one page) abstract describing their research and/or interest in constraint processing. However, priority will be given to people submitting papers. Submissions should arrive before April 14th, 1994 at the address given below. Notification of receipt will be mailed to the first author (or designated author). On the first page include the name, address, phone and fax number, and e-mail address of the author designated for contact. Notifications of acceptance will be mailed by May 16th, 1994. Authors of accepted papers will be invited to submit full papers of up to 15 pages by June 8th, 1994 to be included in the workshop notes distributed to all participants. Revised versions of the best papers will be published in book format by Springer-Verlag (Lecture Notes in AI). Please send your submissions and inquiries to: Manfred Meyer German Research Center for Artificial Intelligence (DFKI) Erwin-Schroedinger-Strasse 57 P.O. Box 20 80 D-67608 Kaiserslautern phone: +49 631 205 3468 fax: +49 631 205 3210 e-mail: meyer@dfki.uni-kl.de ORGANIZING COMMITTEE Philippe Codognet (INRIA Rocquencourt, Le Chesnay, France) Hans Werner Guesgen (University of Auckland, New Zealand) Walter Hower (Uni Koblenz-Landau, Koblenz, Germany) Manfred Meyer (DFKI, Kaiserslautern, Germany) ECAI REGISTRATION POLICY Following the ECAI registration policy, all workshop participants will have to register for the main conference. IMPORTANT DATES Submissions due: April 14th, 1994 Notification: May 16th, 1994 Full papers due: June 8th, 1994 Workshop: August 8th, 1994 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% LaTeX Version %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \documentstyle{article} \setlength{\oddsidemargin}{-1.85cm} \setlength{\evensidemargin}{-1.85cm} \setlength{\topmargin}{-1.7cm} \setlength{\headsep}{0.0in} \setlength{\textwidth}{19.25cm} \setlength{\textheight}{28cm} \pagestyle{empty} \hbadness=10000 \begin{document} \fbox{\fbox{\parbox{18.2cm}{\begin{center} {\large {\em Second Announcement and Call for Papers}} \\[1.5ex] {\large {\bf ECAI'94 Workshop on}} \\[1ex] {\Large {\bf CONSTRAINT PROCESSING}} \\ [1ex] {\large August 8th, 1994} \\ {\large Amsterdam, The Netherlands} \vspace*{1mm} \rule{18.2cm}{0.3mm} \vspace*{-7mm} \end{center} \begin{minipage}[b]{6.0cm} \parindent0em {\bf Organizing Committee:}\vspace*{1mm}\\ \hspace*{3mm} Philippe Codognet\\ \hspace*{3mm} {\small (INRIA Rocquencourt, France)}\\ \hspace*{3mm} Hans Werner Guesgen\\ \hspace*{3mm} {\small (University of Auckland, New Zealand)}\\ \hspace*{3mm} Walter Hower\\ \hspace*{3mm} {\small (Uni Koblenz-Landau, Germany)}\\ \hspace*{3mm} Manfred Meyer\\ \hspace*{3mm} {\small (DFKI Kaiserslautern, Germany)}\vspace*{2.70mm}\\ {\bf Contact:}\vspace*{1mm}\\ \hspace*{3mm} Manfred Meyer \\ \hspace*{3mm} German Research Center for\\ \hspace*{3mm} Artificial Intelligence (DFKI) \\ \hspace*{3mm} Erwin-Schr{\"o}dinger-Stra{\ss}e 57,\\ \hspace*{3mm} P.O.~Box 20 80 \\ \hspace*{3mm} D-67608 Kaiserslautern, Germany \vspace*{-0.11in} \begin{tabbing}{\topsep0mm\parskip0mm\partopsep0mm} \hspace*{3mm}\= Phone: \hspace{1.5mm}\= +49 631 205 3468\\ \hspace*{3mm}\> Fax: \> +49 631 205 3210\\ \hspace*{3mm}\> E-mail: \> meyer@dfki.uni-kl.de \vspace*{2.70mm}\\ \end{tabbing} \vspace*{-0.11in} {\bf Keynote Speech:}\vspace*{1mm}\\ \hspace*{3mm} {\it "The Many Paths to Satisfaction"}\\ \hspace*{3mm} Eugene C.~Freuder \\ \hspace*{3mm} {\small (University of New Hampshire, USA)}\vspace*{2.70mm}\\ {\bf Proceedings:}\vspace*{1mm}\\ \hspace*{3mm} \begin{minipage}[t]{5.5cm} \sloppy Workshop notes including all papers accepted for presentation will be distributed to all participants. \\ Revised versions of the best papers will be published in book format by Springer within Lecture Notes in AI. \end{minipage} \vspace*{2.70mm}\\ {\bf ECAI Registration Policy:}\vspace*{1mm}\\ \hspace*{3mm} \begin{minipage}[t]{5.5cm} \sloppy All workshop participants will have to register for the main conference. \end{minipage} \vspace*{2.70mm}\\ {\bf Important Dates:}\vspace*{1mm}\\ \hspace*{3mm} Submissions\dotfill{\bf April 14th, 1994}\\ \hspace*{3mm} Notification\dotfill{\bf May 16th, 1994}\\ \hspace*{3mm} Final Version\dotfill{\bf June 8th, 1994} \end{minipage} \hspace*{1mm}\rule{.3mm}{17.5cm}\hspace*{1mm} \begin{minipage}[b]{11.8cm} An increasing number of researchers all over the world are now dealing with different aspects of constraint processing regarded as a general paradigm of computation. However, the constraint processing community appears to be very heterogeneous: Researchers from logic programming, knowledge representation, expert systems, theoretical computer science, operations research and other related fields are investigating the use of constraint processing methods, their theoretical foundations, as well as their applications to real-life problems. Up to now there has not been much effort to bring together researchers working on or interested in constraint processing from different viewpoints and to work out the common principles, vocabulary, and techniques that are used as well as similarities and differences between various viewpoints. \setlength{\parindent}{1.5em} \par This workshop aims at bringing together researchers working on different aspects of constraint processing in order to exchange, compare and contrast basic viewpoints, different approaches and recent research results. Thus, the workshop is planned as an interdisciplinary meeting of researchers as well as practitioners with an active interest in the area of constraint processing. It will provide an international forum to discuss and exchange new ideas and approaches, and to present not only full-blown research papers but also partial results, position papers and reports on ongoing research. By that, it is hoped that a fruitful cross-fertilization among the various disciplines will result. \par Work on all different aspects of constraint processing is of specific interest for the workshop, including \par \vspace*{2mm} \setlength{\parindent}{0mm} \begin{minipage}[b]{5.8cm} \parindent0em \raggedright \begin{list}{$\bullet$}{\itemsep1.0mm\parsep0mm\leftmargin5mm} \item constraint-satisfaction methods and consistency techniques, \item constraint logic programming, \item concurrent constraint languages, \item constraints and knowledge representation, \item object-oriented constraint processing, \item constraint programming, \item constraint maintenance, \item constraints identification, specification, management and implementation techniques, \item over-specified constraint prob- lems and constraint relaxation, \end{list}\end{minipage}\hspace*{2mm}\begin{minipage}[b]{5.8cm} \parindent0em \raggedright \begin{list}{$\bullet$}{\itemsep1.0mm\parsep0mm\leftmargin5mm} \item creation and execution of constraint-satisfaction plans, \item constraint refinement, \item hierarchical constraint problems, \item parallel and distributed computing with constraints, \item finite (discrete) as well as continuous domain handling, \item real-time constraints, \item relations to operations research or deductive databases, \item constraint processing in computer graphics, \item theoretical foundations, \item complexity results, and \end{list} \end{minipage} \par \vspace*{-0.13in} \raggedright \begin{list}{$\bullet$}{\itemsep1.0mm\parsep0mm\leftmargin5mm} \item reports showing the practical relevance of constraint processing and what basic techniques are needed in practice. \end{list} \end{minipage} \par \medskip \vspace*{-4mm} \rule{18.2cm}{0.3mm} \noindent {\bf Workshop format:} The workshop is planned as a combination of presentations of submitted papers, an invited lecture by a leading researcher in constraint processing, and a round-table discussion that shall stimulate the exchange of new ideas and approaches among the participants. \par \medskip \noindent {\bf Paper Submission:} People interested in giving a presentation at the workshop are invited to submit an extended abstract (no more than eight pages, single-spaced, one column, 12pt), preferably by e-mail ({\LaTeX}/PostScript are welcome). Authors not having e-mail access should send 4 copies. Persons wishing to participate without giving a presentation should submit a brief (one page) abstract describing their research and/or interest in constraint processing. However, priority will be given to people submitting papers. Submissions should arrive before {\bf April 14th, 1994} at the address given above. Notification of receipt will be mailed to the first author (or designated author). On the first page include the name, address, phone and fax number, and e-mail address of the author designated for contact. Notifications of acceptance will be mailed by {\bf May 16th, 1994}. Authors of accepted papers will be invited to submit full papers of up to 15 pages by {\bf June 8th, 1994} to be included in the workshop notes distributed to all participants. }}}\end{document} Article 21260 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:21260 Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!pipex!uknet!nessie!mucs!m1!michael From: michael@cs.man.ac.uk (Michael Fisher) Newsgroups: comp.ai Subject: 2nd CFP: Agent Theories, Architectures & Languages Workshop (ECAI'94) Message-ID: Date: 22 Mar 94 09:20:48 GMT Sender: news@cs.man.ac.uk Organization: Department of Computer Science, University of Manchester Lines: 139 AGENT THEORIES, ARCHITECTURES, AND LANGUAGES 2nd Call for Papers - An ECAI '94 Workshop Amsterdam, August 8th, 1994 Introduction Artificial Intelligence is concerned with building, modeling and under- standing systems that exhibit some aspect of intelligent behaviour. Yet it is only comparatively recently -- since about the mid 1980s -- that issues surrounding the synthesis of intelligent autonomous agents have entered the mainstream of AI. Despite the undoubted interest on the part of the international research community, there is currently no recognised forum for presenting work in this area. Results are published in a diverse range of journals, workshops, and conferences, making it difficult for researchers to meet and follow developments. The aim of this workshop, therefore, is to provide an arena in which researchers working in all areas related to the theoretical and practical aspects of both hardware and software agent synthesis can further extend their understanding and exper- tise by meeting and exchanging ideas, techniques and results with research- ers working in related areas. Workshop Themes o Theories of intelligent agents. How do the various components of an agent's cognitive makeup conspire to produce rational behaviour? What is the relationship between these components? What formalisms are appropriate for expressing aspects of agent theory? Do we need logic-based formalisms? If not, is another type of mathematical framework appropriate? o Architectures for intelligent agents. What structure should an artificial intelligent agent have? Is reac- tive behaviour enough? Or do we need deliberation as well? How can we integrate reactive and deliberative components cleanly? What is the relationship between an agent theory and architecture? How are we to reason about reactive systems? o Languages for intelligent agents. What are the right primitives for programming an intelligent agent? How are these primitives related to the theory of an agent, or its architecture? Can we realistically hope to execute agent specifica- tions in complex, perhaps multi-modal languages? Should we aim for simple agents, with limited internal complexity, or for agents with complex reasoning abilities? We are particularly interested in papers that cross theme boundaries, for example, by relating theories to architectures, or architectures to languages. Topics of Interest Topics of interest include, but are not restricted to the following: Agent Theories Agent Architectures intentions deliberative architectures time, desires, beliefs, and goals reactive architectures situated automata hybrid architectures logical models of agents executing logical agent specifications Agent Languages rationality & bounded rationality agent specification languages the agent-oriented paradigm non-logical agent languages agent-based computing Submission Details Those wishing to participate in the workshop should submit an extended abstract of between one thousand and five thousand words (approximately thirteen pages maximum), to reach either member of the organising committee no later than Monday 11th April 1994. The first page should include full name and contact details (including email, full postal address, and tele- phone number if possible) of at least one author. Notification of accep- tance or rejection will be no later than Monday 9th May 1994, and will be sent by email where possible. Successful authors will be asked to submit a full paper by Monday 13th June 1994; pre-proceedings will be distributed at the workshop. A major international publishing house has expressed an interest in publishing the proceedings. Anyone wishing to attend without presenting a paper will be welcome, pro- vided that they contact the organising committee in advance of the workshop (numbers permitting). NOTE: All those attending the workshop will be required to register for the main conference. Organising Committee Michael Wooldridge Nicholas Jennings Dept of Computing Dept of Electronic Engineering Manchester Metropolitan University Queen Mary & Westfield College Chester Street Mile End Road Manchester M1 5GD, U.K. London E1 4NS, U.K. Email mikew@sun.com.mmu.ac.uk Email N.R.Jennings@qmw.ac.uk Tel (+44 61) 247 1531 Tel (+44 71) 975 5349 Fax (+44 61) 247 1483 Fax (+44 81) 981 0259 Program Committee Phil Cohen (USA) Michael Fisher (UK) Piotr Gmytrasiewicz (USA) Hans Haugeneder (Germany) Sarit Kraus (Israel) Anand Rao (Australia) Yoav Shoham (USA) Munindar Singh (USA) Further Details Contact the organising committee via email for further details, or for LaTeX/PostScript versions of this CFP. -- --------------------------------------------------------------------------- | Michael Fisher EMAIL: michael@sun.com.mmu.ac.uk | | Department of Computing TEL: (+44) 61 247 1488 | | Manchester Metropolitan University FAX: (+44) 61 247 1483 | | Chester Street | | Manchester M1 5GD, United Kingdom | --------------------------------------------------------------------------- Article 21294 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:21294 Newsgroups: comp.ai Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!EU.net!Germany.EU.net!netmbx.de!zrz.TU-Berlin.DE!zib-berlin.de!news.th-darmstadt.de!terra.wiwi.uni-frankfurt.de!zeus.rbi.informatik.uni-frankfurt.de!news.dfn.de!scsing.switch.ch!swidir.switch.ch!news.unige.ch!cui!hilario From: hilario@cui.unige.ch (HILARIO Melanie) Subject: Final Call: Workshop on Combining Symbolic and Connectionist Processing Message-ID: <1994Mar23.183425.1351@news.unige.ch> Sender: usenet@news.unige.ch Organization: University of Geneva, Switzerland Date: Wed, 23 Mar 1994 18:34:25 GMT Lines: 107 ----------------------REMINDER : DEADLINE IS APRIL 1 ---------------------- Final Call for Papers COMBINING SYMBOLIC AND CONNECTIONIST PROCESSING Workshop held in conjunction with ECAI-94 August 9, 1994 - Amsterdam, The Netherlands ----------------------REMINDER : DEADLINE IS APRIL 1 ---------------------- Until a few years ago, the history of AI has been marked by two parallel, often antagonistic streams of development -- classical or symbolic AI and connectionist processing. A recent research trend, premised on the complementarity of these two paradigms, strives to build hybrid systems which combine the advantages of both to overcome the limitations of each. For instance, attempts have been made to accomplish complex tasks by blending neural networks with rule-based or case-based reasoning. This workshop will be the first Europe-wide effort to bring together researchers active in the area in view of laying the groundwork for a theory and methodology of symbolic/connectionist integration (SCI). The workshop will focus on the following topics: o theoretical (cognitive and computational) foundations of SCI o techniques and mechanisms for combining symbolic and neural processing methods (e.g. ways of improving and going beyond state-of-the-art rule compilation and extraction techniques) o outstanding problems encountered and issues involved in SCI (e.g. Which symbolic or connectionist representation schemes are best adapted to SCI? The vector space used in neural nets and the symbolic space have fundamental mathematical differences; how will these differences impact SCI? Do we have the conceptual tools needed to cope with this representation problem?) o profiles of application domains in which SCI has been (or can be) shown to perform better than traditional approaches o description, analysis and comparison of implemented symbolic/connectionist systems SUBMISSION REQUIREMENTS Prospective participants should submit an extended abstract to the contact person below, either via email in postscript format or via regular mail, in which case 3 copies are required. Each submission should include a separate information page containing the title of the paper, author names and affiliations, and the complete address (including telephone, fax and email) of the first author. The paper itself should not exceed 12 pages. Submission deadline is April 1, 1994. Each paper will be reviewed by at least two members of the Program Committee. Notification of acceptance or rejection will be sent to first authors by May 1, 1994. Camera-ready copies of accepted papers are due on June 1st and will be reproduced for distribution at the workshop. Those who wish to participate without presenting a paper should send a request describing their research interests and/or previous work in the field of SCI. Since attendance will be limited to ensure effective interaction, these requests will be considered after screening of submitted papers. All workshop participants are required to register for the main conference. PROGRAM COMMITTEE Bernard Amy (LIFIA-IMAG, Grenoble, France) Patrick Gallinari (LAFORIA, University of Paris 6, France) Franz Kurfess (Dept. Neural Information Processing, University of Ulm, Germany) Christian Pellegrini (CUI, University of Geneva, Switzerland) Noel Sharkey (DCS, University of Sheffield, UK) Alessandro Sperduti (CSD, University of Pisa, Italy) IMPORTANT DATES Submission deadline April 1, 1994 Notification of acceptance/rejection May 1, 1994 Final papers due June 1, 1994 Date of the workshop August 9, 1994 CONTACT PERSON Melanie Hilario CUI - University of Geneva 24 rue General Dufour CH-1211 Geneva 4 Voice: +41 22/705 7791 Fax: +41 22/320 2927 Email: hilario@cui.unige.ch Article 21405 of comp.ai: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5909 comp.ai:21405 Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!cs.utexas.edu!uunet!ssw.vienna.itd.sterling.com!sparky!sparky!not-for-mail From: fronhoef@informatik.tu-muenchen.de (Bertram Fronhoefer) Newsgroups: news.announce.conferences,comp.ai,de.sci.ki.announce Subject: CFP: ECAI-94 Workshop: Logic and Change [deadline extended] Followup-To: poster Date: 29 Mar 1994 14:54:30 -0600 Organization: Technische Universitaet Muenchen, Germany Lines: 113 Sender: rick@sparky.sterling.com Approved: rick@sparky.sterling.com Distribution: world Expires: 20 Apr 1994 8:00:00 GMT Message-ID: <2na4i6$2tc@sparky.sterling.com> NNTP-Posting-Host: sparky.sterling.com ************************************************************ DEADLINE EXTENSION ************************************************************ CALL FOR PARTICIPATION Logic and Change Workshop at ECAI-94 August 8 -- 12, 1994, Amsterdam, The Netherlands The theme of the workshop is the confrontation of different approaches to the declarative representation of change in intelligent systems. Possible topics of contributions might be the following, however, the list is not exhaustive: + Relevance and Change + Causality and Change + Requirements for a formal approach to Action + Foundational approach to revision + Conditional logic and change + Syntactical versus semantical views of change + Abduction and Change + Nonmonotonicity and Change We emphasize especially contributions concerning the relationship between different approaches. Since we want to benefit from the informal character of a workshop, we are less interested in special research papers of this field and we are more interested in papers that focus on fundamental issues which may reach from a critical assessment of current research trends to guidelines and perspectives for future research. We would also like to encourage contributions which shed a light on the specific problems which arise when an approach is confronted with applications. Authors are invited to submit an extended abstract (4-5 pages) or a full paper in English by electronic mail (postscript file or tex-dvifile) or alternatively 4 hard copies. The submitted papers will be refereed by the workshop organisors. Copies of the accepted contributions will be distributed at the workshop. Attendance at the workshop will be limited to around 40 persons. People interested in attending without intention to give a talk have to submit a short "position paper" stating the reasons for their interest in the workshop. On the basis of these position papers, the organisers will decide which of the non-speakers will be admitted. (Rejected submitted abstracts are automatically treated as "position papers".) A related area of interest, Spatial and Temporal Reasoning, will also be covered at ECAI in another workshop organized by Frank D. Anger (fdang@dcs106.dcsnod.uwf.edu) Hans W. Guesgen (hans@cs.aukuni.ac.nz) Gerard Ligozat (ligozat@limsi.fr). All submissions (abstracts, full papers and position papers) should include an exact address and an e-mail address. Important Dates: Deadline for submission: April 19 Notification of acceptance: May 20 Final version of abstract: June 10 Since the time for reviewing is rather short the deadline for submissions will be rather strict. Programm comittee: Esprit WG Logic and Change (LAC) : Luigia Aiello, (University of Rome, Italy), Christoph Brzoska, (University of Karlsruhe, Germany), Bertram Fronh"ofer (Technical University of Munich, Germany), Alexander Herold (ECRC, Munich, Germany), Alberto Martelli (University of Torino, Italy), Ant\'onio Porto (Uninova, Lisbon, Portugal), Barry Richards (Imperial College London, UK), Erik Sandewall (Link"oping University, Sweden), Camilla Schwind (GIA Marseille, France), Jacqueline Vauzeilles (LIPN, Paris, France) Organization: Bertram Fronh"ofer and Camilla Schwind Abstracts and position papers should be sent to: Camilla Schwind Groupe Intelligence Artificiel, Faculte' des Siences de Luminy Case 901 163 Avenue de Luminy 13288 Marseille, Cedex 9, FRANCE E-MAIL: schwind@gia.univ-mrs.fr TEL.: +33 91 26 91 95, FAX: +33 91 26 92 75 Important Note: Each WORKSHOP attendee MUST HAVE REGISTERED FOR THE MAIN CONFERENCE. S/he will pay an ADDITIONAL fee for the WORKSHOP. NO ATTENDANCE TO A WORKSHOP WILL BE ACCEPTED WITHOUT REGISTRATION TO ECAI-94. Article 21770 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:21770 comp.ai.fuzzy:2140 comp.ai.edu:1770 comp.ai.genetic:2727 Newsgroups: comp.ai,comp.ai.fuzzy,comp.ai.edu,comp.ai.genetic Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!EU.net!sun4nl!news.nic.surfnet.nl!utciva.civ.utwente.nl!infnews.cs.utwente.nl!vet From: vet@cs.utwente.nl (Paul van der Vet) Subject: ECAI'94 Call for Participation Message-ID: Sender: usenet@cs.utwente.nl Nntp-Posting-Host: ethanol.cs.utwente.nl Organization: Twente University, Dept. of Computer Science Date: Thu, 21 Apr 1994 07:42:41 GMT Lines: 1156 ECAI 94 11TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE AUGUST 8 - 12, 1994 SHORT INVITATION PROGRAMME AND REGISTRATION FORM AMSTERDAM RAI, INTERNATIONAL EXHIBITION AND CONGRESS CENTRE AMSTERDAM, THE NETHERLANDS Organized by the European Coordinating Committee for Artificial Intelligence (ECCAI) In cooperation with AAAI and IJCAI Hosted by the Dutch Association for Artificial Intelligence (NVKI) For general information please contact: ECAI'94 Erasmus Forum Erasmus University Rotterdam P.O. Box 1738 3000 DR Rotterdam The Netherlands Tel: +31 10 408 2302 Fax: +31 10 453 0784 E-mail: M.M.deLeeuw@apv.oos.eur.nl %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% This short Invitation Programme gives the following information: [A] Programme structure [B] Summary of tutorial programme [C] Summary of workshop programme [D] Programme committee and local organizing committee [E] Social programme, tours, and excursions [F] General information on venue and accessibility [G] Hotel accommodation [H] Registration and payment [I] Registration form, electronic version %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [A] PROGRAMME STRUCTURE Monday, Morning Tutorials T1, T2, T3 Aug. 8 Workshops W1 - W10 Afternoon Tutorials T4, T5, T6 Workshops W1 - W10 Evening Welcome Reception Tuesday, Morning Tutorials T7, T8, T9, T13a Aug. 9 Workshops W10 - W19 Exhibition Afternoon Tutorials T10, T11, T12, T13b Workshops W10 - W19 Exhibition Evening Candlelight Cruise Wednesday, Morning Official Opening Aug. 10 Invited Lecture, Paper Presentations Exhibition Afternoon Paper Presentations, Survey Lectures, Panel Discussions Exhibition Evening Mayor's Reception Thursday, Morning Invited Lecture, Paper Presentations Aug. 11 Exhibition Afternoon Paper Presentations, Survey Lectures, Panel Discussions Exhibition Evening Conference Dinner Friday, Morning Invited Lecture, Paper Presentations Aug. 12 Afternoon Paper Presentations, Survey Lectures, Panel Discussions INVITED AND SURVEY LECTURES ECAI'94 will present a full programme of distinguished invited international speakers, who will give plenary lectures each morning during the technical conference (August 10 to August 12). There will also be a series of invited survey talks during the parallel sessions each afternoon. Full details of the technical sessions, the invited and the survey speakers are available by emailing ecai94-programme@scs.leeds.ac.uk or by anonymous FTP from agora.leeds.ac.uk, directory: ECAI94. ECAI PRIZES As in previous years, a prize for the best paper will be awarded as determined by the Programme Comittee. The Digital Equipment Prize and a prize (sponsored by Wiley) for the best paper from Eastern Europe will also be awarded. Additionally, this year there will be two new prizes which will be awarded for application papers in the categories "Case Studies of AI Applications" and "Principles of AI Applications". TECHNICAL SESSIONS The technical papers programme will consist of approximately 165 papers. These papers will be given in parallel sessions from August 10 to 12, 1994. The session areas and their chairperson are given below: APP Applications Robert Milne (United Kingdom) AR Automated Reasoning Hans-Juergen Ohlbach (Germany) CM Cognitive Modelling Gerard Kempen (The Netherlands) CDP Connectionism and PDP Francoise Fogelman Soulie (France) DAI Distributed AI Christiano Castelfranchi (Italy) ETS Enabling Technology & Systems Eugenio Oliveira (Portugal) INT Integrated Systems Ramon Lopez de Mantaras (Spain) KR Knowledge Representation Antony Galton (United Kingdom) ML Machine Learning Walter van de Velde (Belgium) NL Natural Language Eva Hajicova (Czech Republic) PF Philosophical Foundations Roberto Casati (Switzerland) PSA Planning, Scheduling and Actions Malik Ghallab (France) RPS Reasoning about Physical Systems Peter Struss (Germany) ROB Robotics Eugenio Oliveira (Portugal) SOC Social, Economic and other Implications Robert Trappl (Austria) STD Standardisation Nicolaas Mars (The Netherlands) UI User Interfaces Alfred Kobsa (Germany) VI Vision and Signal Understanding David Hogg (United Kingdom) VVT Verification, Validation and Testing Pedro Meseguer (Spain) EXHIBITION The exhibition will form an integral part of the ECAI'94 conference programme. It will feature a display of latest hardware, software and publications in the field of Artificial Intelligence. The exhibition, located in the centre of the conference area, will be open from Tuesday August 9 to Thursday August 11, 1994. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [B] SUMMARY OF TUTORIAL PROGRAMME A full tutorial programme will take place on August 8 and 9, 1994. Thirteen lectures will be given by experienced instructors. Extended tutorial information can be obtained by anonymous FTP from swi.psy.uva.nl, directory pub/ecai94. Summaries of all tutorials will also be distributed electronically in a separate posting. Please use the registration form to register for your (combination of) tutorial(s). Tutorial Chairperson: Dr. Frank van Harmelen SWI University of Amsterdam Roetersstraat 15 1081 WB Amsterdam The Netherlands Phone: +31 20 525 6791 or +31 20 525 6789 Fax: +31 20 525 6896 E-mail: ecai94-tutorials@swi.psy.uva.nl SCHEDULE Monday August 8, 09.00 - 13.00 hrs T1 Models of uncertainty and graduality in AI Didier Dubois and Philippe Smets T2 The knowledge medium: the use of formal knowledge representation for institutional memory and communication Thomas Gruber and Luc Steels T3 Intelligent multimedia interfaces Mark Maybury and Yigal Arens Monday August 8, 14.00 - 18.00 hrs T4 Reasoning with cases: theory and practice Klaus-Dieter Althoff, Michel Manago and Stefan Wess T5 The art and the science of modelling: crucial issues in building second generation knowledge-based systems Peter Struss and Bert Bredeweg T6 Validation of knowledge-based systems Pedro Meseguer and Alun Preece Tuesday August 9, 09.00 - 13.00 hrs T7 Managing machine-learning application development and organizational implementation Yves Kodratoff and Vassilis Moustakis T8 Knowledge-based production management Norman M. Sadeh and Stephen F. Smith T9 Multi-agent systems and distributed AI Les Gasser and Jeffrey Rosenschein T13a Artificial life and autonomous robots (theory) Luc Steels and David McFarland Tuesday August 9, 14.00 - 18.00 hrs T10 Temporal reasoning in AI Han Reichgelt and Lluis Vila T11 Rules in databases and knowledge bases Ulrike Griefahn and Rainer Manthey T12 Principles and practice of knowledge aquisition Angel R. Puerta and Henrik Eriksson T13b Artificial life and autonomous robots (practise) Luc Steels and David McFarland %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [C] SUMMARY OF WORKSHOP PROGRAMME Workshops are part of the ECAI'94 scientific programme. They give participants the opportunity to discuss specific technical topics in an informal environment, encouraging interaction and the exchange of ideas. Workshop participation is restricted to persons who have registered for ECAI'94 and have been accepted by the worksop organizer. Nineteen workshops are planned. Extended workshop information can be obtained by anonymous ftp from ftp.cs.vu.nl, directory /ecai94 or via E-mail to ecai94-workshops@cs.vu.nl. Summaries of the workshops will also be distributed electronically in a separate posting. Persons interested in attending a workshop should contact the main workshop organizers for details about participation, submission of papers and deadlines. E-mail addresses of the organisers will be given in the separate posting and can also be obtained by anonymous ftp or via E-mail in the manner indicated above. For registration please use the registration form. Workshop Chairpersons: Dr Frances Brazier Prof.dr Jan Treur Vrije Universiteit Amsterdam Department of Computer Science De Boelelaan 1081a 1081 HV Amsterdam The Netherlands Phone: +31 20 548 5588 Fax: +31 20 642 7705 E-mail: ecai94-workshops@cs.vu.nl SCHEDULE Monday August 8, 09.00 - 18.00 hrs W1 Formal specification methods for knowledge-based systems Dieter Fensel W2 Parts and wholes: conceptual part-whole relations and formal mereology Nicola Guarino W3 Integration of machine learning and knowledge acquisition Claire Nedellec W4 Integrating object-orientation and knowledge representation Roman Cunis W5 Logic and change Camilla Schwind W6 Constraint processing Manfred Meyer W7 Agent theories, architectures and languages Michael Wooldridge W8 Models and techniques for reuse of designs Nel Wognum W9 Artificial normative reasoning Joost Breuker W10 AI in finance and business Stefan Kirn Tuesday August 9, 09.00 - 18.00 hrs W11 Algorithms, complexity and commonsense reasoning Marco Schaerf W12 Spatial and temporal reasoning Frank Anger W13 Comparison of implemented ontologies Nicolaas Mars W14 Combining symbolic and connectionist processing Melanie Hilario W15 Decision theory for DAI applications Klaus Fischer W16 From theorem provers to mathematical assistants: issues and possible solutions Manfred Kerber W17 Applied genetic and other evolutionary algorithms Agoston Eiben W18 Validation of knowledge-based systems Alun Preece W19 Constraint satisfaction issues raised by practical applications Thomas Schiex W10 AI in finance and business (continued from Monday) Stefan Kirn %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [D] PROGRAMME COMMITTEE AND LOCAL ORGANIZING COMMITTEE PROGRAMME COMMITTEE Programme Chairperson: Dr Tony Cohn Division of Artificial Intelligence School of Computer Studies University of Leeds Leeds LS2 9JT United Kingdom Phone: +44 532 33 5482 Fax: +44 532 33 5468 E-mail: ecai94@scs.leeds.ac.uk Programme committee: C. Baeckstroem, Sweden G. Kelleher, United Kingdom J.P. Barthes, France G. Kempen, The Netherlands I. Bratko, Slovenia M. King, Switzerland P. Brazdil, Portugal A. Kobsa, Germany J. Breuker, The Netherlands M. Lenzerini, Italy F. Bry, Germany R. Lopez de Mantaras, Spain R. Casati, Switzerland N. Mars, The Netherlands C. Castelfranchi, Italy J. Martins, Portugal J. Cuena, Spain P. Meseguer, Spain Y. Davidor, Israel R. Milne, United Kingdom L. Farinas del Cerro, France B. Nebel, Germany F. Fogelman Soulie, France R. Nossum, Norway J. Fox, United Kingdom H.J. Ohlbach, Germany G. Friedrich, Austria E. Oja, Finland A. Frisch, United Kingdom E. Oliveira, Portugal C. Froidevaux, France E. Plaza, Spain A. Fuhrmann, Germany J. Rosenschein, Israel A. Galton, United Kingdom Ph. Smets, Belgium J. Ganascia, France L. Spanpinato, Italy M. Ghallab, France O. Stock, Italy J. Goncalves, Italy P. Struss, Germany G. Gottlob, Austria P. Torasso, Italy F. Giunchiglia, Italy R. Trappl, Austria E. Hajicova, Czech Republic L. Trave-Massuyes, France P. Hill, United Kingdom W. van de Velde, Belgium S. Hoelldobler, Germany W. Wahlster, Germany D. Hogg, United Kingdom T. Wittig, Germany LOCAL ORGANIZING COMMITTEE Organizing Chairperson: Prof.dr Jaap van den Herik President Foundation ECAI'94 University of Limburg Department of Computer Science P.O. Box 616 6200 MD Maastricht The Netherlands Phone: +31 43 88 3477 Fax: +31 43 25 2392 E-mail: bosch@cs.rulimburg.nl Organizing committee: Lando Baaten Frank van Harmelen Aernout Schmidt Johan den Biggelaar Michel Hoevenaars Jan Treur Tons van den Bosch Nicolaas Mars Paul van der Vet Frances Brazier Peter Otten %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [E] SOCIAL PROGRAMME, TOURS, AND EXCURSIONS EVENING EVENTS Welcome Reception, Monday August 8, 18.15 hrs Free for tutorial, workshop and conference delegates and registered accompanying persons. Candlelight cruise, Tuesday August 9, 21.30-23.30 hrs Cost: Dfl. 40.-- p.p. A cruise through the canals of Amsterdam, where the old merchant's houses with their richly decorated step-, clock- or neck-gables are lit. While listening to a detailed commentary on the sights, you will be served wine and cheese on board. Mayor's Reception, Wednesday August 10, 19.30 hrs (subject to modification). Free for conference delegates and registered accompanying persons. A reception given by the Mayor of Amsterdam. Conference Dinner, Thursday August 11, 19.30 (subject to modification). Cost: Dfl. 125,-- p.p. (including aperitifs, dinner and wine) The Conference Dinner will take place in the famous Grand Hotel Krasnapolsky, in the centre of Amsterdam. TOURS To ensure participation, it is necessary that these tours are booked and paid in advance. We regret that no refunds for cancellations on day tours are possible. The meeting point and departure of all tours will be at the conference venue. Please note that the minimum number of participants for a tour is 20; if less the tour will be cancelled. The tour programmes may be subject to modification. Tour 1 THE HAGUE AND DELFT Dfl. 85,-- p.p. Monday August 8 - Full day In The Hague, the city where the Dutch Parliament is situated, we will visit the 'Mauritshuis', a Royal Picture Gallery with one of the finest collections of 17th century Dutch paintings. We will also visit 'Panorama Mesdag', a gigantic circular canvas, which gives a fascinating view of the old fishing village of Scheveningen in 1880, with its wide sea, its windswept skies and sandy dunes. The canvas was created by the famous marine painter H.W. Mesdag, assisted by his wife and some other painters. We will have lunch in Delft, a 17th century town with its narrow canals and stately homes. During a walk through the historic part of Delft, we will visit the Delft Blue factory 'De Porceleyne Fles'. Tour 2 SAILING ON THE IJSSELMEER Dfl. 190.-- p.p. Tuesday August 9 - Full day By bus we will go to Hoorn, where we will sail on an historic clipper. After lunch on board we will arrive in Marken, where at one time the fashion of ages ago came to a standstill. The traditional costume, unique in the world of folklore is still worn by the inhabitants of Marken. We will walk through the village and see the houses built on poles and painted in traditional green and white. After our walk we will go back on board and sail to Hoorn again. Tour 3 EDAM, VOLENDAM, ENKHUIZEN Dfl. 85,-- p.p. Wednesday August 10 - Full day In Edam we will visit the cheese market, where we will see how the cheese is transported to the market by boat or by a horse drawn cart. Here the farmer unloads his cheese with the cheese bearers, who wear traditional white costumes and straw hats. After our visit to Edam we will travel to Volendam where we will visit the 'Alida Hoeve'. Here we will get a demonstration of how Edam and Gouda farmers' cheese is made according to an old recipe. After we have tasted the typical Dutch cheeses we will go to Enkhuizen. There we will visit the 'Zuiderzeemuseum', where we will have lunch. In the Zuiderzeemuseum you can see how people used to live and work one hundred years ago. In the open air museum there are more than 130 homes, work places and shops from the past. In the indoor museum you can experience the Zuiderzee history. Tour 4 KROELLER-MUELLER MUSEUM Dfl. 75,-- p.p. Thursday August 11 - Short day The Kroeller-Mueller museum is world-famous for its Van Gogh art collection and for works by Seurat, Redon, Braque, Picasso, Juan Gris and Mondriaan. It is situated in National Park 'De Hoge Veluwe', Holland's largest nature reserve with over 13,000 acres of woodland, heath, sand, dunes and fens. We will have lunch at the museum. EXCURSIONS IN AMSTERDAM Excursions 1 & 2 STEDELIJK MUSEUM Dfl. 7.50 p.p. * Ex 1 Tuesday August 9, 10.30-12.00 hrs * Ex 2 Tuesday August 9, 13.30-15.00 hrs Meeting point: Stedelijk Museum Paulus Potterstraat 13, Amsterdam The collection of the Modern Art Museum contains paintings and sculptures, videos, drawings, graphic work, photography as well as applied art, industrial design and posters. The permanent exhibition includes works by Monet, Van Gogh, Cezanne, Picasso, Matisse, Kirchner, Chagal and Beckmann. Excursion 3 ANNE FRANK HOUSE and DIAMOND CUTTER Dfl. 10.-- p.p. * Ex 3 Wednesday August 10, 10.30-13.00 hrs Meeting point: Anne Frank House Prinsengracht 263, Amsterdam The world-famous Diary of Anne Frank was written in the Anne Frank House in the years 1942-1944. During the German occupation Anne Frank was in hiding in the "Achterhuis" with her family and four others. The museum is more than just the "Achterhuis". Several exhibitions serve to give a picture of recent history. After our visit to the Anne Frank House we will visit a diamond cutter where a guide will explain in detail how diamonds are polished. After the tour we will see an extensive collection of loose and set diamonds. Excursions 4 & 5 RIJKSMUSEUM Dfl. 12.50 p.p. * Ex 4 Thursday August 11, 10.30-12.00 hrs * Ex 5 Thursday August 11, 13.30-15.00 hrs Meeting point: Rijksmuseum Stadhouderskade 42, Amsterdam The Rijksmuseum contains the largest art collection in the Netherlands. The Painting Section represents the most important collection of Dutch paintings from the 15th up to and including the 19th century, i.e. works by Rembrandt, Vermeer, Frans Hals, Albert Cuyp and Jan Steen. Excursion 6 MADAME TUSSAUD SCENERAMA Dfl. 15.-- p.p. * Ex 6 Friday August 12, 10.30-12.00 hrs Meeting point: Madame Tussaud Dam, Amsterdam The Madame Tussaud Scenerama provides a new spectacular exhibition. One floor is completely devoted to the "daily life in the Golden Age". Then you walk straight into 17th century Amsterdam. One floor higher and you are suddenly in the middle of the 20th century, where you can witness the first moon walk. There is also the Dome of Fame with political world leaders, kings and queens. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [F] GENERAL INFORMATION ON VENUE AND ACCESSIBILITY GENERAL INFORMATION Conference venue Amsterdam RAI International Exhibition and Congress Center Europaplein 1078 GZ Amsterdam Phone: +31 20 549 1212 Fax: +31 20 646 4469 Registration desk The registration desk will be open at the conference venue at the following hours: Sunday, August 7 16.00 - 20.00 hrs Monday, August 8 08.00 - 20.00 hrs Tuesday, August 9 08.00 - 20.00 hrs Wednesday, August 10 08.00 - 18.00 hrs Thursday, August 11 08.30 - 18.00 hrs Friday, August 12 08.30 - 13.00 hrs Parking Parking lot Amsterdam RAI (Parking fee: Dfl. 12.50) Language The offical language of the conference will be English. Bank office A bank office will be open during the conference in the registration area from Monday to Thursday, 8.30 hrs -12.30 hrs and 13.30-15.00 hrs. Banking hours in Amsterdam are Monday to Friday: 09.00 hrs - 16.00 hrs. Insurance The conference organizers cannot accept any liability for personal injuries or for the loss of and/or damage to personal belongings of the participants, either during or as a result of the conference. Please check the validity of your personal insurance. Visa Participants are requested to check with the nearest Dutch Embassy or Consulate whether they require a Visa to enter the Netherlands. Climate The Netherlands has a temperate climate. The normal day-time temperature for Amsterdam in August is 20-25 C. Delegates are advised to bring a light raincoat as well as an umbrella. ACCESSIBILITY By air: Schiphol, Amsterdam International Airport. An underground railway station is connected with the airport and there are frequent direct train services to Amsterdam RAI (every 15 minutes). The train journey to RAI takes about 10 minutes and costs approx. Dfl 3.50. By train: There is a direct train connection between Paris/Brussels/Amsterdam Central station. Those travelling by train from or through Germany may have to change trains at Eindhoven. How to travel to the conference venue? By public transport: There will be no special transport to and from the conference venue and hotels. From Amsterdam Central Station the conference venue can easily be reached by tramline 51 (direction "Middenhoven"; exit RAI; approx. 12 minutes), tramline 4 (direction "Station RAI",;exit Europeplein; approx. 30 minutes) or by underground (direction "Amstelstation"). Please note that when travelling by underground you have to change at Amstelstation to tramline 51; exit RAI. All of these lines stop at Amsterdam Central Station and/or cross the city centre. In your conference bag will be a map of Amsterdam as well as a Visitor Travel Card for public transport. This card is valid for five days, starting on Monday August 8. By car: Amsterdam RAI International Exhibition and Congress Centre is located directly next to the ring road of Amsterdam, exit S 109. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [G] HOTEL ACCOMMODATION HOTEL RESERVATION Hotels of different price categories, ranging from DeLuxe to cheap student hostels have been reserved for the conference period. RAI Hotel Service will make your hotel reservation at no extra charge. Registrants are requested to use the registration form included in this posting or the printed version for all hotel reservations. The form is to be sent to the conference office. Please be sure to indicate the precise dates of arrival and departure as well as the hotel category desired. The conference office Erasmus Forum will forward your room request to RAI Hotelservice, which will handle all room requests. A deposit of Dfl. 250.-- (for student hostel Dfl. 75.--) per person is necessary. No reservation will be confirmed until your hotel deposit has been received. The reservation order and the hotel deposit has to reach Erasmus Forum before July 1, 1994. Upon receipt of your order and the deposit you will receive a voucher indicating the hotel at which your reservation has been made. The deposit will be deducted from your hotel bill upon presentation of this voucher at the reception-desk of the hotel. Reservation orders received after July 1, 1994 will be accepted but hotel accommodation cannot be guaranteed. Notification of cancellation should be sent in writing to RAI Hotel Service (address below). If the cancellation is received before July 15, 1994, administration costs of Dfl. 50.-- per room will be charged. If the cancellation is received after July 15, 1994 the first night can be charged. RAI Hotel Service reserves the right to book you into a similar hotel, in case the requested hotel is fully booked. Please use prices given below for your selection of hotel category. Rates quoted, except for E-category, are per room (with bath/shower and toilet), per night and include breakfast, VAT and service. The price for the E-category is per bed; there are 6 beds in a dormitory. Shower and toilet have to be shared. HOTEL SCHEME Category Single room Double room A Dfl. 230.-- / 250.-- Dfl. 260.-- / 280.-- B Dfl. 180.-- / 220.-- Dfl. 220.-- / 280.-- C Dfl. 140.-- / 160.-- Dfl. 190.-- / 220.-- D Dfl. 110.-- / 140.-- Dfl. 125.-- / 190.-- E (limited availability) from Dfl. 40,-- per bed A category Location B category Location Holiday Inn 1 Novotel 1 Hilton Hotel 3 Mercure a.d. Amstel 3 Mercure Art. Frommer 2 C category Location D category Location Museum Hotel 2 Hotel Bastion Z.W. 2 Hotel Terdam 2 Campanile Hotel 4 Owl Hotel 2 Hotel Casa 400 3 Eden Hotel 2 Hotel Holland 2 Hotel Trianon 2 Hotel Piet Hein 2 Westropa Hotel 2 E category Location Hans Brinker 2 Location information: 1 = hotels located within walking distance of the RAI 2 = hotels located in the city centre of Amsterdam 3 = hotels located near the RAI 4 = hotels located in the outskirts of Amsterdam with good public transport connections to the RAI For accommodation enquiries, please contact: RAI Hotel Service P.O. Box 77777 1070 MS Amsterdam The Netherlands Phone: +31 20 549 1927 Fax: +31 20 646 2840 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [H] REGISTRATION AND PAYMENT To register for the conference, tutorials, workshops and social programme, please return one copy of the Registration Form per participant together with full payment to the Conference Office. Please keep an additional copy for your own records. For workshop registrations please note: - Workshop participants must also register for the conference. - Participation in any specific workshop must have been approved by the workshop organizer(s). ENTITLEMENTS Registrants for the Conference are entitled to: * Attend all invited lectures, technical sessions, video presentations and panel discussions on August, 10-12, 1994 * Receive all conference documentation including the Conference Proceedings * Attend the Welcome Reception * Attend the Mayor's Reception * Morning and afternoon coffee * Admission to the exhibition Registrants for a Tutorial are entitled to: * Attend the corresponding tutorial(s) on August, 8-9, 1994 * Receive the Tutorial Syllabus * Attend the Welcome Reception * Morning or afternoon coffee * Admission to the exhibition Registrants (accepted by the workshop organizer) for a Workshop are entitled to: * Attend the corresponding workshop(s) on August, 8-9, 1994 * Receive the Workshop Proceedings * Attend the Welcome Reception * Morning and afternoon coffee Accompanying persons are entitled to: * Attend the Welcome Reception * Attend the Mayor's Reception * Admission to the exhibition * Attend the official opening METHOD OF PAYMENT All payments must be made in Dutch currency (Dfl.). Please make sure that your name is clearly legible in order to ensure that your payment will be registered correctly. A letter of confirmation will be sent to you as soon as your registration form and payment have been received. If your payment has not been received before the conference and no proof of transfer can be provided, on-site payment will be requested. The on-site payment will be refunded as soon as the transferred amount has been received. We accept: 1. credit cards (American Express, Visa, Eurocard/Mastercard) 2. international bankers drafts 3. eurocheques Personal or company cheques are not accepted. CANCELLATIONS AND REFUNDS A written confirmation of cancellation must be sent to the conference office Erasmus Forum. Refunds on registration are as follows: Before July 1, 1994: 75 % refund After July 1, 1994 no refund ECCAI GRANT The ECCAI Board has established a grant for East European researchers. Persons interested in a grant are invited to contact Prof. J. Cuena, ECCAI Secretary, Departamento de Intelligencia Artificial, Campus de Montegancedo s/n, E-28660 Boadilla del Monte [Madrid], Spain, fax: +34 1 352 4819, phone +34 1 352 4803, e-mail: jcuena@mayor.dia.fi.upm.es. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [I] REGISTRATION FORM, ELECTRONIC VERSION INSTRUCTIONS FOR USE OF REGISTRATION FORM, ELECTRONIC VERSION IMPORTANT: The registration is only valid if it is sent in hard-copy form and carries your signature. Legibility is greatly improved if you manually introduce page breaks at points appropriate to your system setup. Send the completed form to: ECAI'94 Erasmus Forum Erasmus University Rotterdam P.O. Box 1738 3000 DR Rotterdam The Netherlands Fax +31 10 453 0784 The form is comprised of the following parts: [1] Participant data [2] Conference registration [3] Accompanying person(s) [4] Tutorials registration [5] Workshop registration [6] Hotel accommodation [7] Evening events [8] Tours and excursions [9] Special requirements [10] Total price and method of payment [11] Signature Price information is included wherever appropriate. Information about the programme and the tours and excursions is given elsewhere. Please note for all prices quoted: - All prices quoted are in Dutch guilders (Dfl). - The members fee is applicable to all members of ECCAI member societies, i.e. members of European AI societies affiliated to ECCAI. - Student registration is applicable to full-time students only. They have to include a student certification with the registration form, which gives proof of the full-time student status. Student registrations without that proof will be returned. - Whether a registration is "early", "late" or "on-site" depends on when both the registration form and full payment have been received. "Early": before June 1, 1994. "Late": before July 1, 1994. "On-site": on or after July 1, 1994. --[cut here]---------------------------------------------------- REGISTRATION FORM ECAI'94 ** [1] PARTICIPANT DATA ** Family name ______________________________________________ First name ___________________________________________ M/F Title ____________________________________________________ Organization _____________________________________________ Correspondence address ___________________________________ ___________________________________ ___________________________________ Postal code ______________________________________________ City _____________________________________________________ Country __________________________________________________ Telephone ___________________ Telefax ____________________ Email ____________________________________________________ ** [2] CONFERENCE REGISTRATION ** Conference fee: On site Early Late Member of ECCAI member society 1050,-- 850,-- 950,-- Non-member 1200,-- 950,-- 1150,-- Student 500,-- 400,-- 450,-- Select one of the following: O Member of ECCAI member society O Non-member O Student (include certificate) Conference fee (see table above) ____________________ **[3] ACCOMPANYING PERSON(S) ** Family name First name 1. _________________________ __________________________ 2. _________________________ __________________________ 3. _________________________ __________________________ Total accompanying persons' fee (Dfl. 100,-- per person): __________________________ ** [4] TUTORIALS REGISTRATION ** Circle the tutorials of your choice, with a maximum of one per line: Monday August 8, morning T1 or T2 or T3 Monday August 8, afternoon T4 or T5 or T6 Tuesday August 9, morning T7 or T8 or T9 or T13a Tuesday August 9, afternoon T10 or T11 or T12 or T13b (T13a obligatory) Tutorial fee* On site Early Late Member of ECCAI member society - one tutorial 650 575 600 - two tutorials** 1150 950 1050 - T13a and T13b 1300 1150 1200 Non-member - one tutorial 700 625 650 - two tutorials** 1250 1050 1150 - T13a and T13b 1400 1250 1300 Notes: * Students can participate at the member's fee. ** This discount does not apply to the combination of the tutorials T13a and T13b. People wishing to attend only tutorials do not have to register for the conference as well. Total tutorial fee (see table above) ____________________ ** [5] WORKSHOPS REGISTRATION ** Select workshop W10 (two full days, Monday and Tuesday August 8-9) by ticking here: O OR circle the workshops of your choice, with a maximum of one per day: Monday August 8 W1 W2 W3 W4 W5 W6 W7 W8 W9 Tuesday August 9 W11 W12 W13 W14 W15 W16 W17 W18 W19 Workshop fee: Workshop W10: 175,--. All other workshops, for every workshop: 100,--. No distinction is made between "early", "late" and "on-site" registrations as far as workshop fees are concerned. Please note: - You must also register for the conference. - Your participation in any specific workshop must have been approved by the workshop organizer(s). Total workshop fee (see table above) ____________________ ** [6] HOTEL ACCOMMODATION ** Arrival date: August ____ 1994 Arrival after 20.00 hrs: O Yes O No Departure date: August ____ 1994 Please make the following reservation: ____ single room(s) ____ double room(s) O Yes, I would like to share a room with another delegate Name of person sharing: ___________________________ Preferred price/category hotel (see table above): _________________ Remarks: __________________________________________________________ Hotel deposit Dfl. 250,-- ________________ ** [7] EVENING EVENTS ** Event Date Price per Number of person in Dfl. persons Welcome reception Monday 8 (free) _________ Candlelight cruise Tuesday 9 40,-- _________ Mayor's reception Wednesday 10 (free) _________ Conference dinner Thursday 11 125,-- _________ Total price evening events ____________________ ** [8] TOURS AND EXCURSIONS ** Ref. Short description Price per Number of person in Dfl. persons Tour 1 The Hague and Delft 85,-- _________ Tour 2 Sailing on the IJsselmeer 190,-- _________ Tour 3 Edam, Volendam, Enkhuizen 85,-- _________ Tour 4 National Park "De Hoge Veluwe" 75,-- _________ Ex 1 Stedelijk Museum 7,50 _________ Ex 2 Stedelijk Museum 7,50 _________ Ex 3 Anne Frank House and Diamond cutter 10,-- _________ Ex 4 Rijksmuseum 12,50 _________ Ex 5 Rijksmuseum 12,50 _________ Ex 6 Madame Tussaud 15,-- _________ Total price tours and excursions ____________________ ** [9] SPECIAL REQUIREMENTS ** Please state any special requirements (e.g., dietary): ______________________________________________________ ______________________________________________________ ______________________________________________________ ** [10] TOTAL PRICE AND METHOD OF PAYMENT ** Total for conference . . . . . . . . . . . . Dfl. ____________________ Total for accompanying persons . . . . . . . Dfl. ____________________ Total for tutorials . . . . . . . . . . . . Dfl. ____________________ Total for workshops . . . . . . . . . . . . Dfl. ____________________ Total for evening events . . . . . . . . . . Dfl. ____________________ Total for tours and excursions . . . . . . . Dfl. ____________________ Hotel deposit . . . . . . . . . . . . . . . Dfl. ____________________ ---------------------------- + -> Total amount to be paid to Erasmus Forum Dfl. ____________________ All payments must be made in Dutch currency (Dfl.) and free of bank charges. No reservations will be confirmed until payment is received. O International bankers draft O Eurocheque (personal or company cheques are not accepted) O Credit card: O Visa O Eurocard O American Express Card number: ___________________ Expiration Date ___________ Cardholder's name __________________________________________ Make sure to have all methods of payment accompanied by your name and "ECAI'94". ** [11] SIGNATURE ** I have read the conditions regarding registration, cancellation and payment for ECAI'94. Date ___________________________ Delegate's signature ________________________________ ---[end of registration form]-------------------------------------------- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [end of posting] -- --------------------------------------------------------------------- Paul van der Vet Phone +31 53 89 36 94 / 36 90 Knowledge-Based Systems Group Fax +31 53 33 96 05 Dept. of Computer Science Email vet@cs.utwente.nl University of Twente P.O. Box 217 7500 AE Enschede The Netherlands --------------------------------------------------------------------- Article 21771 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:21771 comp.ai.edu:1771 comp.ai.fuzzy:2141 comp.ai.genetic:2728 Newsgroups: comp.ai,comp.ai.edu,comp.ai.fuzzy,comp.ai.genetic Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!EU.net!sun4nl!news.nic.surfnet.nl!utciva.civ.utwente.nl!infnews.cs.utwente.nl!vet From: vet@cs.utwente.nl (Paul van der Vet) Subject: ECAI'94 Tutorial Programme Message-ID: Sender: usenet@cs.utwente.nl Nntp-Posting-Host: ethanol.cs.utwente.nl Organization: Twente University, Dept. of Computer Science Date: Thu, 21 Apr 1994 07:54:07 GMT Lines: 606 ECAI 94 11TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE AUGUST 8 - 12, 1994 TUTORIAL PROGRAMME AMSTERDAM RAI, INTERNATIONAL EXHIBITION AND CONGRESS CENTRE AMSTERDAM, THE NETHERLANDS Organized by the European Coordinating Committee for Artificial Intelligence (ECCAI) In cooperation with AAAI and IJCAI Hosted by the Dutch Association for Artificial Intelligence (NVKI) For information please contact: Erasmus Forum P.O. Box 1738 3000 DR Rotterdam The Netherlands Tel: +31 10 4082302 Fax: +31 10 4530784 E-mail: M.M.deLeeuw@apv.oos.eur.nl TUTORIAL PROGRAMME A full tutorial programme will take place on August 8 and 9, 1994. Thirteen lectures will be given by experienced instructors. Extended tutorial information can be obtained by anonymous FTP from swi.psy.uva.nl, directory pub/ecai94. Tutorial Chairperson: Dr. Frank van Harmelen SWI University of Amsterdam Roetersstraat 15 1081 WB Amsterdam The Netherlands Phone: +31 20 525 6791 or +31 20 525 6789 Fax: +31 20 525 6896 E-mail: ecai94-tutorials@swi.psy.uva.nl SCHEDULE Monday August 8, 09.00 - 13.00 hrs T1 Models of uncertainty and graduality in AI Didier Dubois and Philippe Smets T2 The knowledge medium: the use of formal knowledge representation for institutional memory and communication Thomas Gruber and Luc Steels T3 Intelligent multimedia interfaces Mark Maybury and Yigal Arens Monday August 8, 14.00 - 18.00 hrs T4 Reasoning with cases: theory and practice Klaus-Dieter Althoff, Michel Manago and Stefan Wess T5 The art and the science of modelling: crucial issues in building second generation knowledge-based systems Peter Struss and Bert Bredeweg T6 Validation of knowledge-based systems Pedro Meseguer and Alun Preece Tuesday August 9, 09.00 - 13.00 hrs T7 Managing machine-learning application development and organisational implementation Yves Kodratoff and Vassilis Moustakis T8 Knowledge-based production management Norman M. Sadeh and Stephen F. Smith T9 Multi-agent systems and distributed AI Les Gasser and Jeffrey Rosenschein T13a Artificial life and autonomous robots (theory) Luc Steels and David McFarland Tuesday August 9, 14.00 - 18.00 hrs T10 Temporal reasoning in AI Han Reichgelt and Lluis Vila T11 Rules in databases and knowledge bases Ulrike Griefahn and Rainer Manthey T12 Principles and practice of knowledge aquisition Angel R. Puerta and Henrik Eriksson T13b Artificial life and autonomous robots (practise) Luc Steels and David McFarland T1 Models of uncertainty and graduality in AI Didier Dubois (National Center for Scientific Research, France) and Philippe Smets (Institut de Recherches Interdisciplinaires et de Developpements en Intelligence Artificielle, France) Researchers in automated reasoning, in database management systems and in knowledge-based systems have felt the need for techniques that cope with imperfect information. This is especially true when issues such as inconsistency handling, numerical/symbolic interface, and belief revision are addressed. Classical logic and the Bayesian view of probability are not always enough to deal with those issues even if they suggest useful guidelines. This tutorial will provide an introduction to non classical models of uncertainty and vagueness that have been developed in the last 20 years, very often in connection with Artificial Intelligence. These models include numerical approaches such as fuzzy sets and possibility theory, belief functions, and more logical-oriented developments such as nonmonotonic reasoning. The tutorial is made of four lectures respectively devoted to a survey of various forms of imperfect information, an introduction to fuzzy sets, fuzzy logic and possibility theory, a comparative introduction to several belief functions theories, and the connection between uncertainty models and nonmonotonic inference. The tutorial will survey the various approaches in a knowledge-based systems perspective, hoping that it might lead potential users to a better understanding of why these models differ, how they can be related and when to use what. Prerequisite Knowledge: The tutorial will assume that the audience has some knowledge of probability theory and propositional calculus. T2 The knowledge medium (The use of formal knowledge representation for institutional memory and communication) Thomas Gruber (Stanford University) and Luc Steels (Free University Brussels) Computer technology has begun to redefine how human knowledge is communicated and used in organisations. Networked multimedia systems, which can store and display information in a variety of modalities, are used to support the communication of virtual teams across space and time barriers. Knowledge systems, which do limited reasoning on symbolic representations of knowledge, are used to deliver specialised or complex knowledge in an operational form where it is needed. The knowledge medium is the convergence of these two trends, in which machine-interpretable representations are part of the medium by which we communicate and transmit our knowledge. This tutorial will explore the role of knowledge representation in a medium for communication and institutional memory. Applications will be described in which knowledge is communicated and shared in forms understood by both humans and software agents. Examples include interactive, model-generated documentation of designed artifacts; content-based routing of information among collaborating agents; and the synthesis of knowledge-based software from libraries of reusable components. Fundamental research issues to be discussed include the design and use of shared representations, and knowledge level specifications of tasks, agent capabilities, and information needs. Prerequisite Knowledge: This tutorial is intended for researchers and practitioners interested in new applications of AI to problems of enterprise integration, computer-supported communication, software reuse, and software interoperability. Only a basic familiarity with knowledge representation and software engineering will be assumed. T3 Intelligent multimedia interfaces Mark Maybury (MITRE Corporation, Badford, MA, USA) and Yigal Arens (University of Southern California) The purpose of this tutorial is to introduce the emerging literature and set of techniques for building multimedia and multimodal interfaces, i.e., those interfaces that interpret and generate multiple media, e.g., spoken and written natural language, graphics, non-speech audio, maps, animation). This tutorial will last a half day and will be primarily a lecture, with time allotted to clarify issues and respond to questions from the audience. This tutorial will begin by motivating the value of a system that is able to communicate using multiple media and modalities using examples found in human-human communication. We define terms and note terminological problems found in the literature, then describe an architecture for integrated multimedia parsing and generation, which will serve as a reference model for the remainder of the tutorial. We next distinguish the specific kinds of knowledge utilised by these systems and then describe the theory, illustrated with implemented application examples, of multimedia parsing and generation. Finally, we discuss systems that have integrated both parsing and generation. The tutorial concludes by outlining key areas for further research and expected future directions in the field. Throughout the tutorial, specific descriptions of prototype systems (e.g., from the MIT Media Lab, USC/ISI, Columbia University, the German Center for Research in AI, IRST) will be used to illustrate the components of a more general model of multimodal and multimedia communication. Prerequisite Knowledge: This tutorial is relevant to those researchers and practitioners interested in investigating, designing, and implementing intelligent interfaces that exploit multiple media and modalities to facilitate human- computer interaction. There is no prerequisite knowledge required, although general knowledge of user interfaces and artificial intelligence will enhance the value of this course for participants. T4 Reasoning with cases: theory and practice Klaus-Dieter Althoff (University of Kaiserslautern), Michel Manago (AcknoSoft, France), Stefan Wess (University of Kaiserslautern) The objective of the tutorial is to present two technologies for reasoning with cases: induction and case-based reasoning. Induction is a form of machine learning that is used to automatically extract general knowledge (for instance in the form of a decision tree or a set of rules) from a database of cases. Case-based reasoning is a problem solving method that makes direct use of past experiences (cases) rather than a corpus of general knowledge such as rules. In this tutorial, we will show how reasoning with cases helps solve a new category of applications and how it also offers an alternative to classical rule-based reasoning. We will introduce, compare and contrast the two technologies, expose the history and areas of current research, present the architecture of a case-based reasoning system and describe some basic algorithms. We will show how cases can be indexed for efficient retrieval, how the similarity between new and past cases is assessed, how cases are represented (feature-value vectors, object representations), how to use additional background domain knowledge, and we will compare the technologies with other forms of automated reasoning. Induction and case-based reasoning are now mature technologies that have reached the market. Strategic custom applications in various domains have been delivered (and are being used) and "off the shelf" products are available. We will review tools developed by commercial and non-commercial organisations, identify the market for these and show some real applications in technical maintenance and diagnosis. Prerequisite Knowledge: This tutorial aims at presenting a survey of the technologies and delineating their areas of application. The intended audience is composed of the managing and technical staff of computer divisions interested in technologies for reasoning with cases. Knowledge engineers interested in up-to-date methodologies for developing applications and users with a specific potential application in mind will also appreciate the tutorial. There are no prerequisites. T5 The art and the science of modelling: (crucial issues in building second generation knowledge-based systems) Peter Struss (Technical University of Munich) and Bert Bredeweg (University of Amsterdam) Reasoning about the physical world has always been a key problem in AI. It is in the core of common sense reasoning, and it is central to many automated problems solvers that are intended to deal with industrial applications. Recently, model-based systems have become a focal point of both theoretical work and efforts to build powerful systems, and the field is now mature for significant applications. Designing an adequate model for the domain and task at hand is the key problem and step. The quality of the model crucially effects the competence and robustness of the problem solving system, the generality and reusability of the knowledge base (and, hence, development costs) the interaction with the system and its performance (e.g. real-time behaviour). The research efforts of the last fifteen years or so result in a vast set of powerful theories, useful techniques, and sophisticated systems which is hard to overlook for the practioner and the newcomer to the field, and, still, much of successful modeling appears to be more like an art rather than an engineering task. The tutorial provides a critical overview of the field. It discusses requirements and objectives in modeling for knowledge-based systems, the existing formal theories and tools as well as their limitations and open problems. We will organise it along a number of key problems, questions, and requirements raised by real domains and applications, and analyze how different theories and techniques address these issues. Examples deal with design and configuration, failure mode analysis, simulation, analysis, testing, sensor placement, diagnosis and repair, supervision, explanation and tutoring and treat physical systems, biological and ecological systems, and enterprises. Prerequisite knowledge: The tutorial is intended for developers of industrial applications as well as novices in the field and researchers from other AI areas. The former should receive help for finding solutions to their problems, while the latter may find what is worth while working on. No extensive knowledge in AI is required for attending. Some basic knowledge in mathematics, logic, knowledge representation, and reasoning is helpful, but not mandatory. T6 Validation of knowledge-based systems Pedro Meseguer (Technical University of Catalonia, Barcelona) and Alun Preece (University of Savoie, France) This tutorial will provide participants with a firm understanding of the current state-of-the-art in techniques and tools for validating knowledge-based systems (KBS). Highlights of the presentation will include a detailed examination of methods for performing rigorous verification, testing and evaluation of these systems. Our intention is to give attendees a solid introduction to the theoretical foundation of KBS validation methods, together with a clear understanding of how the methods can be applied in practice. Our analysis of KBS verification tools and techniques will cover not only classical rule-based systems, but also systems with uncertainty, explicit control knowledge, frames, and procedural components. We will describe the underlying algorithms, and will draw upon practical experience to consider issues arising in the use of verification tools---for example, how to interpret their output. A thorough survey of testing techniques for KBS will include both an assessment of the applicability of testing approaches from software engineering, and an examination of special problems in testing KBS. We will also consider broader issues in KBS evaluation, concerned with ensuring that a delivered system will be used productively. All of these techniques will be illustrated using case studies from KBS practice. Finally, we place the validation activities in context by relating them to other activities in the KBS life-cycle, and also by relating them to other important topics in artificial intelligence. Participants will leave this tutorial with a set of recommendations for carrying out rigorous and effective validation to ensure the quality of their KBS. Prerequisite Knowledge: Participants in this tutorial should be familiar with knowledge-based systems, at least to the level of an introductory textbook. The tutorial is aimed at participants with an interest in quality assurance of KBS, especially systems builders or managers currently involved--or anticipating involvement--in developing KBS. T7 Managing machine-learning application development and organisational implementation Yves Kodratoff (University of Paris-Sud) and Vassilis Moustakis (Technical University of Crete, Greece) Applying machine learning (ML) techniques to Industry is made at once difficult by the large amount of available techniques and programs that are able to perform induction or support learning of some kind. It also represents a challenge both in terms of the application and of ML itself in that a great proportion of the user community is torn between the hopes and promises brought about by innovations in ML science and technology on the one hand and their need to understand, and, ultimately use these innovations to support knowledge based system (KBS) tasks on the other. The tutorial will cover all phases underlying (ML) application development. Special emphasis will be placed upon lessons learned from existing industrial `real world' ML applications. From a technical point of view the tutorial will address the issue of coupling application specifics with ML systems. It will suggest a systematic framework, sufficient for supporting ML application management and ML system selection according to application requirements. It will also emphasise the numerous problems met when Knowledge Acquisition has to be coupled with ML: most existing industrialised ML applications had to perform the acquisition of the knowledge necessary to have the ML system running. The tutorial will adopt an application bias in reviewing the conditions under which a given ML technique should be applied. Results are demonstrated by way of a series of real world ML application case studies. The tutorial should be useful to both ML researchers and ML practitioners. ML practitioners will get an overview of ML system capabilities and potential in addition to having a chance to learn about real world applications. ML researchers may find this tutorial useful in understanding reality of applications and identify gaps pointing to the need for further system development or enhancement. Prerequisite Knowledge: Participants who want to attend this tutorial should possess a minimum of AI skills. Acquaintance with machine learning is desirable although not necessary. T8 Knowledge-based production management Norman M. Sadeh and Stephen F. Smith (Carnegie Mellon's Robotics Institute, Pittsburgh) This tutorial will introduce participants to the concepts, techniques, and methodologies that have emerged from work in knowledge-based production management. We will first consider the shortcomings of traditional approaches to production management (e.g., MRP/MRP II) and identify opportunities provided by knowledge-based technologies both in overcoming these limitations, and in contributing to effective implementation of modern manufacturing philosophies (e.g. Just in Time). We will then review in more detail the essential concepts and techniques underlying dominant approaches to knowledge-based production management. We will cover object-centered modeling frameworks, simulation and rule-based techniques, temporal constraint management, blackboard and multi-perspective techniques, constrained heuristic search, uncertainty management, iterative improvement techniques, distributed production management, and intelligent interactive scheduling frameworks. In each case, we will characterise strengths and weaknesses from the standpoint of different production management requirements, and indicate the results that work under each approach has produced to date. Finally, we will examine a few successful applications, and assess the current state of theory and practice. Over the past decade, a large (and continually increasing) number of efforts (both research and development) have sought to investigate and exploit the use of Artificial Intelligence (AI) concepts and techniques in production management applications. In some cases, AI-based concepts have provided frameworks for making traditional Operations Research (OR) techniques more accessible and usable in practical production management settings. In other cases, novel concepts and techniques have been developed that offer new opportunities for more cost-effective factory performance. Knowledge-based scheduling and planning techniques are having an increasing operational impact in complex production management applications. Prerequisite Knowledge: This tutorial is aimed at both practitioners and researchers who are interested in applying knowledge-based techniques to practical production management problems. It will also be useful to technology managers who want to keep abreast of the current state of the art in knowledge-based production management. The tutorial assumes knowledge of AI at the level of an introductory course as well as some familiarity with basic production management concepts. T9 Multi-agent systems and distributed AI Les Gasser (University of Southern California) and Jeffrey S. Rosenschein (Hebrew University Jerusalem) Multi-Agent Systems and Distributed AI (MAS/DAI) are concerned with how to coordinate behaviour among a collection of semi-autonomous problem-solving agents, so that they can act together to solve joint problems, or make individually or globally reasonable decisions despite uncertainty and conflict. MAS/DAI systems are a research reality, and are rapidly becoming practical partners in critical tasks such as telecommunications control and management, power distribution, product development, manufacturing, robotics, enterprise integration/coordination, and organization design. This tutorial will provide a thorough survey of problems, theory, techniques and applications in contemporary Multi-Agent Systems and Distributed AI. We will develop a comprehensive picture of current knowledge and contemporary currents in MAS/DAI, in preparation for building MAS/DAI systems or as background for doing advanced research on outstanding MAS/DAI problems. The tutorial is designed for people who are professionally interested in building MAS/DAI systems, for AI researchers interested in learning about a range of MAS/DAI approaches, and for technology planners and managers who need to know about leading-edge technologies. Prerequisite Knowledge: The tutorial presumes knowledge of AI at the level of an introductory AI course. T10 Temporal reasoning in AI Han Reichgelt (University of the West Indies in Mona, Jamaica) and Lluis Vila (Institute for Research in AI of Blanes, Spain) The notion of time is ubiquitous in any activity that requires intelligence. A whole range of intelligent tasks require reasoning about time like Diagnosis, Explanation, Planning, Process supervision, Natural language understanding. It follows that the representation of time and reasoning about time is of crucial importance for Artificial Intelligence systems. This tutorial is intended to demonstrate it, to give a clear picture of the different issues involved in a temporal reasoning system, and to provide a progressively detailed analysis of each of these different issues discussing the advantages and shortcomings of the different approaches in the literature. The tutorial will be comprised of the following sessions: Introduction, What is temporal reasoning?, Why it is so important?, How it can be used in practice?, Ontologies of time, How should time be conceptualised, e.g. as points or as intervals?, What are the advantages of each conceptualisation?, Temporal logics, Method of temporal arguments, Modal temporal logic, Reified temporal logic, Critical comparison of the three Algorithms for temporal reasoning, Change, causality and non-monotonicity. Prerequisite Knowledge: The tutorial will assume some basic understanding of first-order predicate calculus. However, it will assume no in-depth knowledge of the field of temporal reasoning. It is our intention to present both introductory and in-depth material. The tutorial will therefore be suitable both to complete novices in the field and those with some background in the area. T11 Rules in databases and knowledge bases Ulrike Griefahn and Rainer Manthey (University of Bonn) Rules have been a well-known concept in artificial intelligence since long, investigated in connection with expert systems, knowledge bases, or logic programming. Various instances of the rule concept were later adopted by the database community in view of extending AI techniques towards the handling of large amounts of data. Today there are two major directions of activity in database research which are concerned with the introduction of rules into database systems: active and deductive databases. Meanwhile, a significant amount of database-specific techniques have been developed. These approaches are relevant for research in AI, too, as many of today's expert system applications are related to large quantities of data. But even in case of comparatively small amounts of data, not necessarily requiring database technology, some of the techniques developed in the DB community seem to be interesting alternatives to "classical" AI solutions. The tutorial aims at providing a compact, up-to-date overview of the state-of-the-art in active and deductive databases. In addition, first results towards an integration of both kinds of rules within a common framework are presented, focusing on the implementation of deductive inference by means of active rules. Prerequisite Knowledge: The presenters try to keep the tutorial largely self-contained. However, basic knowledge about databases (primarily relational databases), logic programming, and expert systems are helpful. T12 Principles and practice of knowledge acquisition Angel R. Puerta (Stanford University) and Henrik Eriksson (Linkoeping University) Knowledge acquisition draws from many research areas. Due to the complexity of the fields involved, it is often more productive to examine knowledge acquisition from an empirical point of view, than to do so from a purely theoretical one. This tutorial will develop a comprehensive view of the most important principles and practical issues in knowledge acquisition. We will present the theoretical foundations of knowledge acquisition to establish a framework in which the attendee can understand and analyze how the theories are put to practice. We will concentrate on illustrating problems in using computer-based knowledge- acquisition tools, covering examples from early expert systems to the new generation of knowledge- based systems based on reusable knowledge components. Throughout the tutorial, we will emphasise the particular issues that affect the design and development of knowledge-acquisition tools. The attendee will learn what principles and design tradeoffs are involved in the construction of knowledge-acquisition tools, and what are the research issues in knowledge acquisition. Prerequisite Knowledge: This tutorial is suited for anyone who has an introductory background in artificial intelligence. The course will be especially helpful to knowledge engineers involved in the development of knowledge-based systems, to research scientists who work with knowledge bases, and to anyone desiring an overview of the advances in knowledge acquisition. T13a and T13b Artificial life and autonomous robots Luc Steels and assistants (Free University Brussels) and David McFarland (University of Oxford) This tutorial is a unique opportunity for AI researchers to get an overview of the newly developing paradigm of behaviour-oriented AI and to understand the approach in sufficient technical detail. This tutorial consists of two parts: the first part is given in the morning and is particularly important for the necessary background and motivation (Steels and McFarland). The second part is given in the afternoon and will give hands-on experience, and potentially will give researchers the chance to continue working in this area (Steels and assistants). Artificial Life studies the phenomenon of life the same way AI studies intelligence: by building artificial systems that show the same capabilities as living systems. This tutorial gives an overview of research in Alife, the behaviour-oriented approach to AI, and the biological significance of this research. The first tutorial is theoretical. An overview of the literature will be given and important general trends discussed. The second tutorial focuses on technical issues. An autonomous robot lab will be set up in which participants have the opportunity to build their own robots out of components made available in the lab. The secon tutorial will be restricted to a smaller audience. Prerequisite Knowledge: The tutorial is intended for researchers or developers in any area of AI that want to learn about the new exciting developments in behaviour-oriented AI research and its interaction with Artificial Life. There are no prerequisites beyond general knowledge about AI. The second tutorial requires general programming experience but no prior experience in robot building. -- --------------------------------------------------------------------- Paul van der Vet Phone +31 53 89 36 94 / 36 90 Knowledge-Based Systems Group Fax +31 53 33 96 05 Dept. of Computer Science Email vet@cs.utwente.nl University of Twente P.O. Box 217 7500 AE Enschede The Netherlands --------------------------------------------------------------------- Article 21772 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:21772 comp.ai.edu:1772 comp.ai.fuzzy:2142 comp.ai.genetic:2729 Newsgroups: comp.ai,comp.ai.edu,comp.ai.fuzzy,comp.ai.genetic Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!EU.net!sun4nl!news.nic.surfnet.nl!utciva.civ.utwente.nl!infnews.cs.utwente.nl!vet From: vet@cs.utwente.nl (Paul van der Vet) Subject: ECAI'94 Workshop Programme Message-ID: Sender: usenet@cs.utwente.nl Nntp-Posting-Host: ethanol.cs.utwente.nl Organization: Twente University, Dept. of Computer Science Date: Thu, 21 Apr 1994 07:55:08 GMT Lines: 601 ECAI 94 11TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE AUGUST 8 - 12, 1994 WORKSHOP PROGRAMME AMSTERDAM RAI, INTERNATIONAL EXHIBITION AND CONGRESS CENTRE AMSTERDAM, THE NETHERLANDS Organized by the European Coordinating Committee for Artificial Intelligence (ECCAI) In cooperation with AAAI and IJCAI Hosted by the Dutch Association for Artificial Intelligence (NVKI) For information please contact: Erasmus Forum P.O. Box 1738 3000 DR Rotterdam The Netherlands Tel: +31 10 4082302 Fax: +31 10 4530784 E-mail: M.M.deLeeuw@apv.oos.eur.nl WORKSHOP PROGRAMME Workshops are part of the ECAI'94 scientific programme. They give participants the opportunity to discuss specific technical topics in an informal environment, encouraging interaction and the exchange of ideas. Workshop participation is restricted to persons who have registered for ECAI'94 and have been accepted by the worksop organizer. Nineteen workshops are planned. Extended workshop information can be obtained by anonymous ftp from ftp.cs.vu.nl, directory/ecai94 or via E-mail to ecai94-workshops@cs.vu.nl. Persons interested in attending a workshop should contact the main workshop organizers (addresses are given below the workshop descriptions) for details about participation, submission of papers and deadlines. For workshop registrations please note: - Workshop participants must also register for the conference. - Participation in any specific workshop must have been approved by the workshop organizer(s). Workshop Chairpersons: Dr Frances Brazier Prof.dr Jan Treur Vrije Universiteit Amsterdam Department of Computer Science De Boelelaan 1081a 1081 HV Amsterdam The Netherlands Phone: +31 20 548 5588 Fax: +31 20 642 7705 E-mail: ecai94-workshops@cs.vu.nl SCHEDULE Monday August 8, 09.00 - 18.00 hrs W1 Formal specification methods for knowledge-based systems Dieter Fensel W2 Parts and wholes: conceptual part-whole relations and formal mereology Nicola Guarino W3 Integration of machine learning and knowledge acquisition Claire Nedellec W4 Integrating object-orientation and knowledge representation Roman Cunis W5 Logic and change Camilla Schwind W6 Constraint processing Manfred Meyer W7 Agent theories, architectures and languages Michael Wooldridge W8 Models and techniques for reuse of designs Nel Wognum W9 Artificial normative reasoning Joost Breuker W10 AI in finance and business Stefan Kirn Tuesday August 9, 09.00 - 18.00 hrs W11 Algorithms, complexity and commonsense reasoning Marco Schaerf W12 Spatial and temporal reasoning Frank Anger W13 Comparison of implemented ontologies Nicolaas Mars W14 Combining symbolic and connectionist processing Melanie Hilario W15 Decision theory for DAI applications Klaus Fischer W16 From theorem provers to mathematical assistants: issues and possible solutions Manfred Kerber W17 Applied genetic and other evolutionary algorithms Agoston Eiben W18 Validation of knowledge-based systems Alun Preece W19 Constraint satisfaction issues raised by practical applications Thomas Schiex W10 AI in finance and business (continued) Stefan Kirn W1 Formal specification methods for knowledge-based systems Formal specification languages have become an important research topic in the development of knowledge-based systems. This workshop focuses on the formal semantics of the specification languages. It aims at a better understanding of the various types of semantics for these languages, within the context of their use as a tool for development of knowledge based systems. Specific technical areas include: - denotational and operational semantics - semantics of static knowledge and procedural behaviour - tools for development of formal specifications - Validation and verification of a formal specification - verification of a system with respect to a formal specification A specific aim of this workshop is to compare the work done by the knowledge engineering community with results achieved by other communities. We explicitly ask people from knowledge representation, software engineering, information systems and deductive data bases to join this workshop. Main Organizer: Dieter Fensel, Instituet AIFB, University of Karlsruhe, P.O. Box 6980, 76128 Karlsruhe, Germany, phone: +49-721-6084754, fax: +49-721-693717, E-mail: fensel@aifb.uni-karlsruhe.de W2 Parts and wholes: conceptual part-whole relations and formal mereology Currently, there are two main approaches to the study of "parts" and their relations. The conceptual (cognitive) approach looks at the variety of part-whole relations and their role in language processing, perception, and action planning; the philosophical/logical approach looks at theories of parts, wholes and related concepts in the framework of formal mereology. The goal of this workshop is to bring together researchers form different disciplines (AI, linguistics, philosophy and psychology) in order to explore: - the import for knowledge representation formalisms of the two current approaches to the study of "parts" and their relations - the possibility of a unified theory of parts and wholes for modelling commonsense part-whole relations. Main Organizer: Nicola Guarino, LADSEB-CNR, Corso Stati Uniti 4, I-35020 Padova, Italy, phone: +39-49-8295751, fax: +39-49-8295763, E-mail: GUARINO@ladseb.pd.cnr.it W3 Integration of machine learning and knowledge acquisition Contrary to the naive thinking that the integration of ML and KA should be obvious "since ML provides KA reusability" and "KA provides ML knowledge of the domain", it seems that their integration actually demands for progress in both fields, as many papers of a previous IJCAI workshop have shown. We want to study in more details under which conditions these two can be integrated in a common system. A non-exhaustive list can be: - ML input - Specification of the required input of ML systems. - Characterisation of the output of ML systems in user's goal terms (What is the ML task). - Elicitation of "hidden" control knowledge of ML systems (for example, what is a "good" example set). - KA input - Modelling ML systems at the knowledge level. - How can ML systems help to implement general knowledge acquisition methodologies. - Reusability of KA tools in ML framework. A strict selection criterion for acceptation to the workshop will be that the interactions between the two techniques are really studied. Authors are strongly encouraged to report on their practical experience on development of industrial applications. Main Organizer: Claire Nedellec, LRI Bat 490, Universite Paris-Sud, F-91405 Orsay, France, phone: +33-1-69416462, fax: +33-1-69416586, E-mail: cn@lri.fr W4 Integrating object-orientation and knowledge representation Object-oriented, conceptual, and frame-based modelling of domains have much in common: all rely heavily on object-centered domain representations employing the benefits of class hierarchies and inheritance. However, whereas object-orientation puts much emphasis on practical programming issues and behavioral aspects of the model, knowledge representation focuses on well-defined semantics in order to achieve consistent, descriptive models. Frame-based techniques somehow cover the middle ground. Meanwhile, each of these are individually well understood. However, developers and researchers who are trying to use object-oriented programming techniques in the realization of knowledge-based AI systems are more and more interested in means for integrating the techniques. Moreover, clarification of differences with respect to integration is still far from complete. This workshop is intended to close the gap. It is thus going to focus strongly on aspects of integration of object-orientation and knowledge representation. Main Organizer: Roman Cunis, MAZ GmbH, AI Department, Karnapp 20, D-21079 Hamburg, Germany, phone: +49-40-766292641, fax: +49-40-76629199, E-mail: rc@maz-hh.de W5 Logic and change The theme of the workshop is the confrontation of different approaches to the declarative representation of change in intelligent systems. Possible topics of contributions might be the following, however, the list is not exhaustive: o Relevance and Change o Causality and Change o Requirements for a formal approach to Action o Foundational approach to revision o Conditional logic and change o Syntactical versus semantical views of change o Abduction and Change o Nonmonotonicity and Change We emphasize especially contributions concerning the relationship between different approaches. Since we want to benefit from the informal character of a workshop, we are less interested in special research papers of this field and we are more interested in papers that focus on fundamental issues which may reach from a critical assessment of current research trends to guidelines and perspectives for future research. We would also like to encourage contributions which shed a light on the specific problems which arise when an approach is confronted with applications. Main Organizer: Camilla Schwind, Laboratoire d'informatique de Marseille, Faculte des Sciences de Luminy, Case 901, 163 Avenue de Luminy, 13288 Marseille, Cedex 9, France, phone: +33-91-269195, fax: +33-91- 269275, E-mail: schwind@gia.univ-mrs.fr W6 Constraint processing Constraint processing regarded as a general paradigm of computation is an emerging field in both research and applications. This workshop aims at bringing together researchers as well as practitioners with an active interest in the field of constraint processing in order to exchange, compare and contrast basic viewpoints, different approaches and recent research. This should result in identifying the basic principles and contributing to a fruitful cross-fertilization between the seemingly desperate disciplines. Thus, work on all different aspects of constraint processing is of specific interest, including o constraint-satisfaction and consistency techniques, o constraint logic programming, o constraints and knowledge-representation, o hierarchical constraint problems, o relations to other fields like operations research, o theoretical foundations, and complexity results. The workshop is planned as a combination of paper presentations and a round-table discussion that shall stimulate the exchange of new ideas and approaches among the participants. Main Organizer: Manfred Meyer, German Research Center for Artificial Intelligence (DFKI), Erwin-Schroedinger-Strasse 57, P.O. Box 2080, D-67608 Kaiserslautern, Germany, phone: +49-631-2053468, fax: +49-631-2053210, E-mail: meyer@dfki.uni-kl.de W7 Agent theories, architectures and languages Artificial Intelligence is ultimately about constructing intelligent agents, and yet it is only comparatively recently that the issues surrounding agent synthesis have entered the mainstream of AI. Despite the undoubted interest in these issues, there is no recognised forum for presenting work in this area: results currently appear in a diverse range of journals and conferences, making it difficult for researchers to meet and follow developments. The aim of this workshop is therefore to provide a forum in which those working in the theory or practice of software or hardware agents can meet and exchange ideas. Topics of interest include, but are not restricted to the following. o Theories: Modelling beliefs, desires, goals, intentions, and actions; agent logics; situated automata theory. o Architectures: Deliberative, reactive and hybrid architectures; rationality & bounded rationality. o Languages: Agent specification languages, and their execution; the agent-oriented paradigm and agent-based computing; non-logical agent languages. Main Organizer: Michael Wooldridge, Department of Computing, Manchester Metropolitan University, Chester Street, Manchester M1 5GD, United Kingdom, phone: +44-61-2471531, fax: +44-61-2471483, E-mail: mikew@sun.com.mmu.ac.uk W8 Models and techniques for reuse of designs Reusing already solved problem cases for new problems is common practice in many application areas. This is especially true in the area of design. In many research institutes research is being performed to develop models and techniques to support the reuse of old cases. The workshop will focus on two important aspects of reusing cases. The first aspect concerns the models and techniques needed to find cases that are suitable to be used in the new problem. Research issues in this area include finding suitable index structures as well as determination of measures to assess the similarity of old cases with respect to new problems. Secondly, the case found to be most suitable needs to be adapted to meet new problem specifications. Interesting issues in this respect are methods to determine the parts that need to be changed as well as the changes that must be made to satisfy new requirements. Main Organizer: Nel Wognum, University of Twente, Department of Computer Science, P.O. Box 217, 7500 AE Enschede, The Netherlands, phone +31-53-893736 or 893690, fax: +31-53-339605, E-mail: wognum@cs.utwente.nl) W9 Artificial normative reasoning Artificial Normative Reasoning (ANR) is a field of AI research that is not only concerned with "AI & Law", but also with reasoning in paralegal and other normative domains that are governed by implicit or explicit regulations. Examples of the latter are: loans assessment, insurance claims, certification, etc. ANR research has roots in and ramifications to theoretical issues in AI, in particular with the epistemological and logical foundations of representing normative and common sense knowledge, case based reasoning and problem solving methods for assessment tasks. ANR is also an important field of application, in particular as part of the intelligent automisation of administrative institutes as banks, civil services, government, etc. (Para-) Legal knowledge based systems (LKBSs) cover a suffiently large market to warrant the (re)use of specialised knowledge acquisition methodologies and tools, and the development of articulate and dedicated system architectures. It is the objective of the workshop to bring together both theoretical and applied perspectives, focussing on representation formalisms, modelling of legal knowledge, and reasoning methods. Main Organizer: Joost Breuker, University of Amsterdam, Department of Computer Science and Law, Kloveniersburgwal 72, 1012 CZ Amsterdam, The Netherlands, phone: +31-20-5253494, fax: +31-20-5253495, E-mail: breuker@swi.psy.uva.nl or breuker@lri.jur.uva.nl W10 AI in finance and business Software applications in financial domains (such as capital investment, credit decisions, leasing, accounting, mergers & acquisitions, etc.) extensively involve information and knowledge processing. However, AI techniques have not succeeded yet in contributing to this real world challenge, because we still lack an indepth (AI -related) methodological evaluation of the capabilities of AI technology in this domain. The workshop will bring together AI practioners working on financial AI applications & business researchers and practioners who have experience in applying AI techniques to approach their domain-related problems. Thus, the major aims of the workshop are: - To initiate a methodological discussion of how AI methods and techniques may apply to the different types of financial and business applications and - To describe the knowledge elements that are fundamental to the financial reasoning and begin to model these elements. Main Organizer: Stefan Kirn, Westfaelische Wilhelms-Universitaet Muenster, Instituet fuer Wirtschaftsinformatik, D-48159 Muenster, Germany, phone: +49-251-839753, fax: +49-251-839754, E-mail: Kirn@uni-muenster.de W11 Algorithms, complexity and commonsense reasoning The idea of formalizing commonsense reasoning has always been central to the field of Artificial Intelligence in general and Knowledge Representation and Reasoning in particular. Many different logical formalisms have been proposed and their semantics properties carefully analyzed. Only more recently particular attention has been devoted to the computational complexity analysis and the development of efficient algorithms to implement these formalisms. The aim of the workshop is to bring together researchers and provide a forum for discussion of current research, results, and problems of both a theoretical and practical nature. Main Organizer: Marco Schaerf, Dip. di Informatica e Sistemistica, Univ. di Roma "La Sapienza", Via Salaria 113, 00198 Italy, phone: +39-6-49918332, fax: +39-6-85300849, E-mail: schaerf@assi.dis.uniroma1.it W12 Spatial and temporal reasoning The workshop focuses on major problems facing the developers and users of temporal and spatial models for application in all areas. The workshop will contribute to forging a solid space/time-bridge among the researchers in disciplines where spatio-temporal issues are a key concern, including Distributed and Real-Time Systems, AI, and Logic. Emphasis will be given to three particular interfaces: o Between spatial and temporal reasoning. o Between temporal methods in AI and those used to reason about concurrency and distributed systems. o Between spatio-temporal models, including those based on modal logics versus those using traditional logic and explicit time and space parameters. Main Organizer: Frank Anger, Computer Science Department, University of West Florida, Pensacola, FL 32514, USA, phone: +1-904-4743022, fax: +1-904-4743129, E-mail: fdang@dcs106.dcsnod.uwf.edu W13 Comparison of implemented ontologies The aim of the workshop is to gather those researchers who have actually designed and implemented ontologies (limitative sets of concepts and relations) for improved reuse and sharability of knowledge bases. Participants will be required to submit their ontologies for discussion. During the workshop, attendants will be expected to have studied these ontologies and supporting material, and thus be in a position to discuss the merits and problems of each of them. The outcome of the workshop may be twofold: on the one hand, an inventory of currently usable ontologies, on the other hand a first cut at a method for evaluating ontologies. Main Organizer: Nicolaas Mars, University of Twente, Department of Computer Science, P.O. Box 217, 7500 AE Enschede, The Netherlands, phone: +31-53-893690, fax: +31-53-339605, E-mail: mars@cs.utwente.nl) W14 Combining symbolic and connectionist processing Until a few years ago, the history of AI has been marked by two parallel, often antagonistic, streams of development: classical or symbolic AI and connectionist processing. A recent research trend, premissed on the complementarity of these two paradigms, strives to build hybrid systems which combine the advantages of both to overcome the limitations of each. For instance, attempts have been made to accomplish complex tasks by blending neural networks with rule-based or case-based reasoning. This workshop will be the first Europe-wide effort to bring together researchers active in the area in view of laying the groundwork for a theory and methodology of symbolic/ connectionist integration (SCI). The workshop will focus on the following topics: o Theoretical (cognitive and computational) foundations of SCI. o Techniques and mechanisms for combining symbolic and connectionist processing. o Outstanding problems encountered and issues involved in SCI. o Profiles of application domains in which SCI has been (or can be) shown to perform better than traditional approaches. o Description, analysis and comparison of implemented symbolic/connectionist systems. Main Organizer: Melanie Hilario, CUI - University of Geneva, 24 rue General Dufour, CH-1211 Geneva 4, Switzerland, phone: +41-22-3202927, fax: +41-22-7057791, E-mail: hilario@cui.unige.ch W15 Decision theory for DAI applications Describing and formalizing the decision-making of individual problem-solving agents has turned out to be crucial for the design of and the interaction among these agents in virtually any DAI application. Current DAI research has targeted two basic approaches for decision-making: the utilitarian and the symbolic approach. The objective of the workshop is to bring together scientists working on either approach; furthermore, the presentation of alternative reasoning methodologies for decision- making is encouraged. Special emphasis will be placed on the role of decision theory in the development of practical DAI applications. In particular insight will be provided as to how such pragmatic decision models can be introduced into DAI systems. Main Organizer: Klaus Fischer, Projekt AKA-MOD, DFKI, Stuhlsatzenhausweg 3 (Bau 43), D-66123 Saarbruecken, Germany, phone: +49-681-3025328, fax: +49-681-3025341, E-mail: kuf@dfki.uni-sb.de W16 From theorem provers to mathematical assistants: issues and possible solutions There is a substantial difference in spirit between automated theorem provers and mathematical proof assistants. While the first are built to prove theorems automatically, the latter are built to provide a comfortable interactive environment for supporting human beings in formal reasoning. Nowadays automated theorem provers are powerful enough to be used in many different areas, e.g. in verifying the software correctness. The successes in solving mathematical problems are also very impressing. However, almost no mathematician uses such systems as an everyday tool. Indeed, most systems have severe drawbacks, which make them hard to use. In the workshop we want to discuss problems that occur in the application of traditional automated theorem provers in mathematical standard applications as well as possible solutions to these problems. Main Organizer: Manfred Kerber, Fachbereich Informatik, Univerisitaet des Saarlandes, D-66041 Saarbruecken, Germany, phone: +49-681-3024628, fax: +49-681-3024421, E-mail: kerber@cs.uni-sb.de W17 Applied genetic and other evolutionary algorithms The growing interest for genetic and other evolutionary algorithms is partly due to their good performance on a wide scale of problems without being too sensitive to problem specific aspects. Practical applications, however, sometimes raise issues outside the scope of classical GA/EA models. The workshop is aiming at cumulating knowledge on the application of GAs/EAs, in particular at studying issues not (extensively) treated by standard GA/EA literature, e.g. handling of constraints, or using new selection schemes. Topics of interest include but are not restricted to: - problem elicitation and representation - non-standard genotypes and recombination operators - genetic programming - handling constraints - boosting performance - combination with other techniques, e.g. local search, neural nets, knowledge based systems - (dis)advantages of EAs w.r.t. other techniques We hope that insights gained at the workshop can facilitate further applications and support new theory. Main Organizer: Agoston Eiben, Artificial Intelligence Group, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands, phone: +31-20-5482997, fax: +31-20-6427705, E-mail: gusz@cs.vu.nl W18 Validation of knowledge-based systems Validation has emerged as a critical factor influencing the acceptance of knowledge-based systems (KBS) software, and has become a significant area of research in recent years. For this workshop, we are interested in contributions on any of the following themes: formal verification, empirical validation and evaluation, testing techniques, techniques for validating hybrid software systems (integrating KBS technology with other software technologies, AI and non-AI), and approaches for integrating validation with other KBS life-cycle processes (especially knowledge acquisition, refinement, and maintenance). Within any of these themes, papers having either a theoretical or practical flavour are equally welcome; we are especially interested in papers that combine theory and practice. Main Organizer: Alun Preece, Universite de Savoie/ESIGEC, Laboratoire d'Intelligence Artificielle (LIA), 2 route de Chambery, F-73376 Le Bourget-du-Lac Cedex, France, phone: +33-79-758585 ext. 7804, fax: +33- 79-758785, E-mail: preece@lia.univ-savoie.fr W19 Constraint satisfaction issues raised by practical applications The standard CSP representation and resolution techniques present some limitations when they are confronted with practical applications. In particular, encountered problems include: o Existence of explicitly-known preferences on the satisfaction of some constraints; o Incompleteness of the specification of the problem due to imprecision and/or uncertainty; o Dynamically evolving nature of the CSP due to changes caused by the user or by the external world; o Hierarchical nature of the problem, due to conditional, or higher order constraints; o Combinatorial complexity of the problem that precludes its complete resolution. The aims of this workshop are to present and discuss developments along this line, especially by describing real-life applications and problems encountered due to CSP limitations. The technical issues addressed will concern finite domain CSPs. Main Organizer: Thomas Schiex, C.E.R.T./DERA, 2Av. Edouard Belin, BP 4025, 31055 Toulouse Cedex, France, phone: +33-61-557065, fax: +33-61-557194, E-mail: schiex@cert.fr -- --------------------------------------------------------------------- Paul van der Vet Phone +31 53 89 36 94 / 36 90 Knowledge-Based Systems Group Fax +31 53 33 96 05 Dept. of Computer Science Email vet@cs.utwente.nl University of Twente P.O. Box 217 7500 AE Enschede The Netherlands --------------------------------------------------------------------- Article 21784 of comp.ai: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:6074 comp.ai:21784 Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!pipex!uunet!sparky!not-for-mail From: wognum@cs.utwente.nl (Nel Wognum) Newsgroups: news.announce.conferences,comp.ai Subject: CFP: ECAI94 workshop on Models and Techniques For Reuse of Designs Followup-To: poster Date: 21 Apr 1994 12:35:32 -0500 Organization: Twente University, Dept. of Computer Science Lines: 99 Sender: rick@sparky.sterling.com Approved: rick@sparky.sterling.com Expires: 2 May 1994 8:00:00 GMT Message-ID: <2p6dh4$mtc@sparky.sterling.com> NNTP-Posting-Host: sparky.sterling.com Keywords: case-based reasoning, redesign ECAI94 Workshop MODELS AND TECHNIQUES FOR REUSE OF DESIGNS Monday 8 August 1994 The design of objects is a very complex process which is hard to formalize due to the lack of an all encompassing theory of design. When observing designers in practice, it has been concluded that a large part of their activities consists of reusing design experiences. Such experiences are related to earlier design situations and existing design products, many of which have been proven useful in practice. Several research groups are currently investigating possibilities for formalizing and codifying this experience for reuse in new design problems. Two major research areas can be distinguished. Firstly, existing designs are adapted to meet new demands. The focus in such situations is to determine parts that need to be adapted to satisfy new requirements. These requirements may be related to the function, physical properties of the design, or life-cycle aspects, such as serviceability and costs. The second research area focuses on finding existing designs that can be reused in new design problems. Difficult issues here include developing suitable index structures and similarity measures. In both research areas, models and techniques have to be developed for structuring and representing existing designs so that they can be reused in new situations. Furthermore, design reuse is a relevant concept for both routine and innovative design. In the workshop we would like to focus on methods and techniques to support the reuse of existing design knowledge, especially methods and techniques that have the potential to be useful in practical design situations. The workshop is intended for researchers working in the field of redesign and case-based reasoning in engineering domains. The questions to be addressed are: . What is needed to find similar designs? . What is needed to find analogous designs? . How can the part of the design that needs to be adapted be found? . How can the complexity of the adaptation needed be determined? . How can the consequences of the changes be determined? . How must past design knowledge be structured and represented to be reusable? . How can adaptation of designs be supported? The outcome of the workshop may be an inventory of promising methods and techniques for supporting case-based reasoning and redesign in different design situations. Workshop format: The workshop will last one day: Monday, August 8, 1994. To facilitate discussion, the number of attendees at the workshop will be limited to 30. The discussion will be centered around challenging statements to be presented by a selected number of participants. Each participant must register for both the workshop and the general conference. Organizing committee: Nel Wognum, University of Twente, Enschede, The Netherlands (Chair) Ian Smith, LIA Federal Institute of Technology (EPFL), Lausanne, Swiss Hans Akkermans, UT/ECN, Petten, The Netherlands Hans Schmekel, Kunliga Tekniska Hogskolan, Stockholm, Sweden Frank van Harmelen, University of Amsterdam, Amsterdam, The Netherlands Bernd Bachmann, DFKI, Kaiserslautern, Germany Mary Lou Maher, Key Centre of Design Quality, University of Sydney, Sydney, Australia Submission details: We invite researchers to submit a position paper (maximum 10 pages) to indicate their research activities and possible results on the topics indicated above. We prefer electronic submissions to be sent to the e-mail address mentioned below (LaTeX or plain ASCII) before May 1. The authors will be notified about acceptance of their paper for inclusion in the workshop notes before May 31. The papers will be bundled in workshop notes and distributed at the workshop. Schedule: Submission deadline: May 1 Notification of acceptance: May 31 Workshop date: August 8 Dr. P.M. (Nel) Wognum Department of Computer Science University of Twente P.O. Box 217 7500 AE Enschede The Netherlands e-mail: wognum@cs.utwente.nl tel.: +31 53 893736/3690 -- ==================================================================== Dr. P.M.(Nel) Wognum University of Twente phone: +31 53 893736/3690 Department of Computer Science fax: +31 53 339605 P.O. Box 217 e-mail: wognum@cs.utwente.nl 7500 AE Enschede The Netherlands ==================================================================== Article 22844 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:22844 sci.cognitive:3995 Newsgroups: comp.ai,sci.cognitive Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!newsfeed.pitt.edu!gatech!howland.reston.ans.net!EU.net!sun4nl!news.nic.surfnet.nl!utciva.civ.utwente.nl!infnews.cs.utwente.nl!vet From: vet@cs.utwente.nl (Paul van der Vet) Subject: ECAI'94 Invitation Programme Message-ID: Sender: usenet@cs.utwente.nl Nntp-Posting-Host: ethanol.cs.utwente.nl Organization: Twente University, Dept. of Computer Science Date: Tue, 28 Jun 1994 06:46:43 GMT Lines: 1165 ECAI 94 11TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE AUGUST 8 - 12, 1994 SHORT INVITATION PROGRAMME AND REGISTRATION FORM AMSTERDAM RAI, INTERNATIONAL EXHIBITION AND CONGRESS CENTRE AMSTERDAM, THE NETHERLANDS Organized by the European Coordinating Committee for Artificial Intelligence (ECCAI) In cooperation with AAAI and IJCAI Hosted by the Dutch Association for Artificial Intelligence (NVKI) For general information please contact: ECAI'94 Erasmus Forum Erasmus University Rotterdam P.O. Box 1738 3000 DR Rotterdam The Netherlands Tel: +31 10 408 2302 Fax: +31 10 453 0784 E-mail: M.M.deLeeuw@apv.oos.eur.nl %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% This short Invitation Programme gives the following information: [A] Programme structure [B] Summary of tutorial programme [C] Summary of workshop programme [D] Programme committee and local organizing committee [E] Social programme, tours, and excursions [F] General information on venue and accessibility [G] Hotel accommodation [H] Registration and payment [I] Registration form, electronic version %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [A] PROGRAMME STRUCTURE Monday, Morning Tutorials T1, T2, T3 Aug. 8 Workshops W1 - W10 Afternoon Tutorials T4, T5, T6 Workshops W1 - W10 Evening Welcome Reception Tuesday, Morning Tutorials T7, T8, T9, T13a Aug. 9 Workshops W10 - W19 Exhibition Afternoon Tutorials T10, T11, T12, T13b Workshops W10 - W19 Exhibition Evening Candlelight Cruise Wednesday, Morning Official Opening Aug. 10 Invited Lecture, Paper Presentations Exhibition Afternoon Paper Presentations, Survey Lectures, Panel Discussions Exhibition Evening Mayor's Reception Thursday, Morning Invited Lecture, Paper Presentations Aug. 11 Exhibition Afternoon Paper Presentations, Survey Lectures, Panel Discussions Exhibition Evening Conference Dinner Friday, Morning Invited Lecture, Paper Presentations Aug. 12 Afternoon Paper Presentations, Survey Lectures, Panel Discussions INVITED AND SURVEY LECTURES ECAI'94 will present a full programme of distinguished invited international speakers, who will give plenary lectures each morning during the technical conference (August 10 to August 12). There will also be a series of invited survey talks during the parallel sessions each afternoon. Full details of the technical sessions, the invited and the survey speakers are available by emailing ecai94-programme@scs.leeds.ac.uk or by anonymous FTP from agora.leeds.ac.uk, directory: ECAI94. ECAI PRIZES As in previous years, a prize for the best paper will be awarded as determined by the Programme Comittee. The Digital Equipment Prize and a prize (sponsored by Wiley) for the best paper from Eastern Europe will also be awarded. Additionally, this year there will be two new prizes which will be awarded for application papers in the categories "Case Studies of AI Applications" and "Principles of AI Applications". TECHNICAL SESSIONS The technical papers programme will consist of approximately 165 papers. These papers will be given in parallel sessions from August 10 to 12, 1994. The session areas and their chairperson are given below: APP Applications Robert Milne (United Kingdom) AR Automated Reasoning Hans-Juergen Ohlbach (Germany) CM Cognitive Modelling Gerard Kempen (The Netherlands) CDP Connectionism and PDP Francoise Fogelman Soulie (France) DAI Distributed AI Christiano Castelfranchi (Italy) ETS Enabling Technology & Systems Eugenio Oliveira (Portugal) INT Integrated Systems Ramon Lopez de Mantaras (Spain) KR Knowledge Representation Antony Galton (United Kingdom) ML Machine Learning Walter van de Velde (Belgium) NL Natural Language Eva Hajicova (Czech Republic) PF Philosophical Foundations Roberto Casati (Switzerland) PSA Planning, Scheduling and Actions Malik Ghallab (France) RPS Reasoning about Physical Systems Peter Struss (Germany) ROB Robotics Eugenio Oliveira (Portugal) SOC Social, Economic and other Implications Robert Trappl (Austria) STD Standardisation Nicolaas Mars (The Netherlands) UI User Interfaces Alfred Kobsa (Germany) VI Vision and Signal Understanding David Hogg (United Kingdom) VVT Verification, Validation and Testing Pedro Meseguer (Spain) EXHIBITION The exhibition will form an integral part of the ECAI'94 conference programme. It will feature a display of latest hardware, software and publications in the field of Artificial Intelligence. The exhibition, located in the centre of the conference area, will be open from Tuesday August 9 to Thursday August 11, 1994. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [B] SUMMARY OF TUTORIAL PROGRAMME A full tutorial programme will take place on August 8 and 9, 1994. Thirteen lectures will be given by experienced instructors. Extended tutorial information can be obtained by anonymous FTP from swi.psy.uva.nl, directory pub/ecai94. Summaries of all tutorials will also be distributed electronically in a separate posting. Please use the registration form to register for your (combination of) tutorial(s). Tutorial Chairperson: Dr. Frank van Harmelen SWI University of Amsterdam Roetersstraat 15 1081 WB Amsterdam The Netherlands Phone: +31 20 525 6791 or +31 20 525 6789 Fax: +31 20 525 6896 E-mail: ecai94-tutorials@swi.psy.uva.nl SCHEDULE Monday August 8, 09.00 - 13.00 hrs T1 Models of uncertainty and graduality in AI Didier Dubois and Philippe Smets T2 The knowledge medium: the use of formal knowledge representation for institutional memory and communication Thomas Gruber and Luc Steels T3 Intelligent multimedia interfaces Mark Maybury and Yigal Arens Monday August 8, 14.00 - 18.00 hrs T4 Reasoning with cases: theory and practice Klaus-Dieter Althoff, Michel Manago and Stefan Wess T5 The art and the science of modelling: crucial issues in building second generation knowledge-based systems Peter Struss and Bert Bredeweg T6 Validation of knowledge-based systems Pedro Meseguer and Alun Preece Tuesday August 9, 09.00 - 13.00 hrs T7 Managing machine-learning application development and organizational implementation Yves Kodratoff and Vassilis Moustakis T8 Knowledge-based production management Norman M. Sadeh and Stephen F. Smith T9 Multi-agent systems and distributed AI Les Gasser and Jeffrey Rosenschein T13a Artificial life and autonomous robots (theory) Luc Steels and David McFarland Tuesday August 9, 14.00 - 18.00 hrs T10 Temporal reasoning in AI Han Reichgelt and Lluis Vila T11 Rules in databases and knowledge bases Ulrike Griefahn and Rainer Manthey T12 Principles and practice of knowledge aquisition Angel R. Puerta and Henrik Eriksson T13b Artificial life and autonomous robots (practise) Luc Steels and David McFarland %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [C] SUMMARY OF WORKSHOP PROGRAMME Workshops are part of the ECAI'94 scientific programme. They give participants the opportunity to discuss specific technical topics in an informal environment, encouraging interaction and the exchange of ideas. Workshop participation is restricted to persons who have registered for ECAI'94 and have been accepted by the worksop organizer. Nineteen workshops are planned. Extended workshop information can be obtained by anonymous ftp from ftp.cs.vu.nl, directory /ecai94 or via E-mail to ecai94-workshops@cs.vu.nl. Summaries of the workshops will also be distributed electronically in a separate posting. Persons interested in attending a workshop should contact the main workshop organizers for details about participation, submission of papers and deadlines. E-mail addresses of the organisers will be given in the separate posting and can also be obtained by anonymous ftp or via E-mail in the manner indicated above. For registration please use the registration form. Workshop Chairpersons: Dr Frances Brazier Prof.dr Jan Treur Vrije Universiteit Amsterdam Department of Computer Science De Boelelaan 1081a 1081 HV Amsterdam The Netherlands Phone: +31 20 548 5588 Fax: +31 20 642 7705 E-mail: ecai94-workshops@cs.vu.nl SCHEDULE Monday August 8, 09.00 - 18.00 hrs W1 Formal specification methods for knowledge-based systems Dieter Fensel W2 Parts and wholes: conceptual part-whole relations and formal mereology Nicola Guarino W3 Integration of machine learning and knowledge acquisition Claire Nedellec W4 Integrating object-orientation and knowledge representation Roman Cunis W5 Logic and change Camilla Schwind W6 Constraint processing Manfred Meyer W7 Agent theories, architectures and languages Michael Wooldridge W8 Models and techniques for reuse of designs Nel Wognum W9 Artificial normative reasoning Joost Breuker W10 AI in finance and business Stefan Kirn Tuesday August 9, 09.00 - 18.00 hrs W11 Algorithms, complexity and commonsense reasoning Marco Schaerf W12 Spatial and temporal reasoning Frank Anger W13 Comparison of implemented ontologies Nicolaas Mars W14 Combining symbolic and connectionist processing Melanie Hilario W15 Decision theory for DAI applications Klaus Fischer W16 From theorem provers to mathematical assistants: issues and possible solutions Manfred Kerber W17 Applied genetic and other evolutionary algorithms Agoston Eiben W18 Validation of knowledge-based systems Alun Preece W19 Constraint satisfaction issues raised by practical applications Thomas Schiex W7 Agent theories, architectures and languages (continued from Monday) Michael Wooldridge W10 AI in finance and business (continued from Monday) Stefan Kirn %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [D] PROGRAMME COMMITTEE AND LOCAL ORGANIZING COMMITTEE PROGRAMME COMMITTEE Programme Chairperson: Dr Tony Cohn Division of Artificial Intelligence School of Computer Studies University of Leeds Leeds LS2 9JT United Kingdom Phone: +44 532 33 5482 Fax: +44 532 33 5468 E-mail: ecai94@scs.leeds.ac.uk Programme committee: C. Baeckstroem, Sweden G. Kelleher, United Kingdom J.P. Barthes, France G. Kempen, The Netherlands I. Bratko, Slovenia M. King, Switzerland P. Brazdil, Portugal A. Kobsa, Germany J. Breuker, The Netherlands M. Lenzerini, Italy F. Bry, Germany R. Lopez de Mantaras, Spain R. Casati, Switzerland N. Mars, The Netherlands C. Castelfranchi, Italy J. Martins, Portugal J. Cuena, Spain P. Meseguer, Spain Y. Davidor, Israel R. Milne, United Kingdom L. Farinas del Cerro, France B. Nebel, Germany F. Fogelman Soulie, France R. Nossum, Norway J. Fox, United Kingdom H.J. Ohlbach, Germany G. Friedrich, Austria E. Oja, Finland A. Frisch, United Kingdom E. Oliveira, Portugal C. Froidevaux, France E. Plaza, Spain A. Fuhrmann, Germany J. Rosenschein, Israel A. Galton, United Kingdom Ph. Smets, Belgium J. Ganascia, France L. Spanpinato, Italy M. Ghallab, France O. Stock, Italy J. Goncalves, Italy P. Struss, Germany G. Gottlob, Austria P. Torasso, Italy F. Giunchiglia, Italy R. Trappl, Austria E. Hajicova, Czech Republic L. Trave-Massuyes, France P. Hill, United Kingdom W. van de Velde, Belgium S. Hoelldobler, Germany W. Wahlster, Germany D. Hogg, United Kingdom T. Wittig, Germany LOCAL ORGANIZING COMMITTEE Organizing Chairperson: Prof.dr Jaap van den Herik President Foundation ECAI'94 University of Limburg Department of Computer Science P.O. Box 616 6200 MD Maastricht The Netherlands Phone: +31 43 88 3477 Fax: +31 43 25 2392 E-mail: bosch@cs.rulimburg.nl Organizing committee: Lando Baaten Frank van Harmelen Aernout Schmidt Johan den Biggelaar Michel Hoevenaars Jan Treur Tons van den Bosch Nicolaas Mars Paul van der Vet Frances Brazier Peter Otten %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [E] SOCIAL PROGRAMME, TOURS, AND EXCURSIONS EVENING EVENTS Welcome Reception, Monday August 8, 18.15 hrs Free for tutorial, workshop and conference delegates and registered accompanying persons. Candlelight cruise, Tuesday August 9, 21.30-23.30 hrs Cost: Dfl. 40.-- p.p. A cruise through the canals of Amsterdam, where the old merchant's houses with their richly decorated step-, clock- or neck-gables are lit. While listening to a detailed commentary on the sights, you will be served wine and cheese on board. Mayor's Reception, Wednesday August 10, 19.30 hrs (subject to modification). Free for conference delegates and registered accompanying persons. A reception given by the Mayor of Amsterdam. Conference Dinner, Thursday August 11, 19.30 (subject to modification). Cost: Dfl. 125,-- p.p. (including aperitifs, dinner and wine) The Conference Dinner will take place in the famous Grand Hotel Krasnapolsky, in the centre of Amsterdam. TOURS To ensure participation, it is necessary that these tours are booked and paid in advance. We regret that no refunds for cancellations on day tours are possible. The meeting point and departure of all tours will be at the conference venue. Please note that the minimum number of participants for a tour is 20; if less the tour will be cancelled. The tour programmes may be subject to modification. Tour 1 THE HAGUE AND DELFT Dfl. 85,-- p.p. Monday August 8 - Full day In The Hague, the city where the Dutch Parliament is situated, we will visit the 'Mauritshuis', a Royal Picture Gallery with one of the finest collections of 17th century Dutch paintings. We will also visit 'Panorama Mesdag', a gigantic circular canvas, which gives a fascinating view of the old fishing village of Scheveningen in 1880, with its wide sea, its windswept skies and sandy dunes. The canvas was created by the famous marine painter H.W. Mesdag, assisted by his wife and some other painters. We will have lunch in Delft, a 17th century town with its narrow canals and stately homes. During a walk through the historic part of Delft, we will visit the Delft Blue factory 'De Porceleyne Fles'. Tour 2 SAILING ON THE IJSSELMEER Dfl. 190.-- p.p. Tuesday August 9 - Full day By bus we will go to Hoorn, where we will sail on an historic clipper. After lunch on board we will arrive in Marken, where at one time the fashion of ages ago came to a standstill. The traditional costume, unique in the world of folklore is still worn by the inhabitants of Marken. We will walk through the village and see the houses built on poles and painted in traditional green and white. After our walk we will go back on board and sail to Hoorn again. Tour 3 EDAM, VOLENDAM, ENKHUIZEN Dfl. 85,-- p.p. Wednesday August 10 - Full day In Edam we will visit the cheese market, where we will see how the cheese is transported to the market by boat or by a horse drawn cart. Here the farmer unloads his cheese with the cheese bearers, who wear traditional white costumes and straw hats. After our visit to Edam we will travel to Volendam where we will visit the 'Alida Hoeve'. Here we will get a demonstration of how Edam and Gouda farmers' cheese is made according to an old recipe. After we have tasted the typical Dutch cheeses we will go to Enkhuizen. There we will visit the 'Zuiderzeemuseum', where we will have lunch. In the Zuiderzeemuseum you can see how people used to live and work one hundred years ago. In the open air museum there are more than 130 homes, work places and shops from the past. In the indoor museum you can experience the Zuiderzee history. Tour 4 KROELLER-MUELLER MUSEUM Dfl. 75,-- p.p. Thursday August 11 - Short day The Kroeller-Mueller museum is world-famous for its Van Gogh art collection and for works by Seurat, Redon, Braque, Picasso, Juan Gris and Mondriaan. It is situated in National Park 'De Hoge Veluwe', Holland's largest nature reserve with over 13,000 acres of woodland, heath, sand, dunes and fens. We will have lunch at the museum. EXCURSIONS IN AMSTERDAM Excursions 1 & 2 STEDELIJK MUSEUM Dfl. 7.50 p.p. * Ex 1 Tuesday August 9, 10.30-12.00 hrs * Ex 2 Tuesday August 9, 13.30-15.00 hrs Meeting point: Stedelijk Museum Paulus Potterstraat 13, Amsterdam The collection of the Modern Art Museum contains paintings and sculptures, videos, drawings, graphic work, photography as well as applied art, industrial design and posters. The permanent exhibition includes works by Monet, Van Gogh, Cezanne, Picasso, Matisse, Kirchner, Chagal and Beckmann. Excursion 3 ANNE FRANK HOUSE and DIAMOND CUTTER Dfl. 10.-- p.p. * Ex 3 Wednesday August 10, 10.30-13.00 hrs Meeting point: Anne Frank House Prinsengracht 263, Amsterdam The world-famous Diary of Anne Frank was written in the Anne Frank House in the years 1942-1944. During the German occupation Anne Frank was in hiding in the "Achterhuis" with her family and four others. The museum is more than just the "Achterhuis". Several exhibitions serve to give a picture of recent history. After our visit to the Anne Frank House we will visit a diamond cutter where a guide will explain in detail how diamonds are polished. After the tour we will see an extensive collection of loose and set diamonds. Excursions 4 & 5 RIJKSMUSEUM Dfl. 12.50 p.p. * Ex 4 Thursday August 11, 10.30-12.00 hrs * Ex 5 Thursday August 11, 13.30-15.00 hrs Meeting point: Rijksmuseum Stadhouderskade 42, Amsterdam The Rijksmuseum contains the largest art collection in the Netherlands. The Painting Section represents the most important collection of Dutch paintings from the 15th up to and including the 19th century, i.e. works by Rembrandt, Vermeer, Frans Hals, Albert Cuyp and Jan Steen. Excursion 6 MADAME TUSSAUD SCENERAMA Dfl. 15.-- p.p. * Ex 6 Friday August 12, 10.30-12.00 hrs Meeting point: Madame Tussaud Dam, Amsterdam The Madame Tussaud Scenerama provides a new spectacular exhibition. One floor is completely devoted to the "daily life in the Golden Age". Then you walk straight into 17th century Amsterdam. One floor higher and you are suddenly in the middle of the 20th century, where you can witness the first moon walk. There is also the Dome of Fame with political world leaders, kings and queens. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [F] GENERAL INFORMATION ON VENUE AND ACCESSIBILITY GENERAL INFORMATION Conference venue Amsterdam RAI International Exhibition and Congress Center Europaplein 1078 GZ Amsterdam Phone: +31 20 549 1212 Fax: +31 20 646 4469 Registration desk The registration desk will be open at the conference venue at the following hours: Sunday, August 7 16.00 - 20.00 hrs Monday, August 8 08.00 - 20.00 hrs Tuesday, August 9 08.00 - 20.00 hrs Wednesday, August 10 08.00 - 18.00 hrs Thursday, August 11 08.30 - 18.00 hrs Friday, August 12 08.30 - 13.00 hrs Parking Parking lot Amsterdam RAI (Parking fee: Dfl. 12.50) Language The offical language of the conference will be English. Bank office A bank office will be open during the conference in the registration area from Monday to Thursday, 8.30 hrs -12.30 hrs and 13.30-15.00 hrs. Banking hours in Amsterdam are Monday to Friday: 09.00 hrs - 16.00 hrs. Insurance The conference organizers cannot accept any liability for personal injuries or for the loss of and/or damage to personal belongings of the participants, either during or as a result of the conference. Please check the validity of your personal insurance. Visa Participants are requested to check with the nearest Dutch Embassy or Consulate whether they require a Visa to enter the Netherlands. Climate The Netherlands has a temperate climate. The normal day-time temperature for Amsterdam in August is 20-25 C. Delegates are advised to bring a light raincoat as well as an umbrella. ACCESSIBILITY By air: Schiphol, Amsterdam International Airport. An underground railway station is connected with the airport and there are frequent direct train services to Amsterdam RAI (every 15 minutes). The train journey to RAI takes about 10 minutes and costs approx. Dfl 3.50. By train: There is a direct train connection between Paris/Brussels/Amsterdam Central station. Those travelling by train from or through Germany may have to change trains at Eindhoven. How to travel to the conference venue? By public transport: There will be no special transport to and from the conference venue and hotels. From Amsterdam Central Station the conference venue can easily be reached by tramline 51 (direction "Middenhoven"; exit RAI; approx. 12 minutes), tramline 4 (direction "Station RAI",;exit Europeplein; approx. 30 minutes) or by underground (direction "Amstelstation"). Please note that when travelling by underground you have to change at Amstelstation to tramline 51; exit RAI. All of these lines stop at Amsterdam Central Station and/or cross the city centre. In your conference bag will be a map of Amsterdam as well as a Visitor Travel Card for public transport. This card is valid for five days, starting on Monday August 8. By car: Amsterdam RAI International Exhibition and Congress Centre is located directly next to the ring road of Amsterdam, exit S 109. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [G] HOTEL ACCOMMODATION HOTEL RESERVATION Hotels of different price categories, ranging from DeLuxe to cheap student hostels have been reserved for the conference period. RAI Hotel Service will make your hotel reservation at no extra charge. Registrants are requested to use the registration form included in this posting or the printed version for all hotel reservations. The form is to be sent to the conference office. Please be sure to indicate the precise dates of arrival and departure as well as the hotel category desired. The conference office Erasmus Forum will forward your room request to RAI Hotelservice, which will handle all room requests. A deposit of Dfl. 250.-- (for student hostel Dfl. 75.--) per person is necessary. No reservation will be confirmed until your hotel deposit has been received. The reservation order and the hotel deposit has to reach Erasmus Forum before July 1, 1994. Upon receipt of your order and the deposit you will receive a voucher indicating the hotel at which your reservation has been made. The deposit will be deducted from your hotel bill upon presentation of this voucher at the reception-desk of the hotel. Reservation orders received after July 1, 1994 will be accepted but hotel accommodation cannot be guaranteed. Notification of cancellation should be sent in writing to RAI Hotel Service (address below). If the cancellation is received before July 15, 1994, administration costs of Dfl. 50.-- per room will be charged. If the cancellation is received after July 15, 1994 the first night can be charged. RAI Hotel Service reserves the right to book you into a similar hotel, in case the requested hotel is fully booked. Please use prices given below for your selection of hotel category. Rates quoted, except for E-category, are per room (with bath/shower and toilet), per night and include breakfast, VAT and service. The price for the E-category is per bed; there are 6 beds in a dormitory. Shower and toilet have to be shared. HOTEL SCHEME Category Single room Double room A Dfl. 230.-- / 250.-- Dfl. 260.-- / 280.-- B Dfl. 180.-- / 220.-- Dfl. 220.-- / 280.-- C Dfl. 140.-- / 160.-- Dfl. 190.-- / 220.-- D Dfl. 110.-- / 140.-- Dfl. 125.-- / 190.-- E (limited availability) from Dfl. 40,-- per bed A category Location B category Location Holiday Inn 1 Novotel 1 Hilton Hotel 3 Mercure a.d. Amstel 3 Mercure Art. Frommer 2 C category Location D category Location Museum Hotel 2 Hotel Bastion Z.W. 2 Hotel Terdam 2 Campanile Hotel 4 Owl Hotel 2 Hotel Casa 400 3 Eden Hotel 2 Hotel Holland 2 Hotel Trianon 2 Hotel Piet Hein 2 Westropa Hotel 2 E category Location Hans Brinker 2 Location information: 1 = hotels located within walking distance of the RAI 2 = hotels located in the city centre of Amsterdam 3 = hotels located near the RAI 4 = hotels located in the outskirts of Amsterdam with good public transport connections to the RAI For accommodation enquiries, please contact: RAI Hotel Service P.O. Box 77777 1070 MS Amsterdam The Netherlands Phone: +31 20 549 1927 Fax: +31 20 646 2840 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [H] REGISTRATION AND PAYMENT To register for the conference, tutorials, workshops and social programme, please return one copy of the Registration Form per participant together with full payment to the Conference Office. Please keep an additional copy for your own records. For workshop registrations please note: - Workshop participants must also register for the conference. - Participation in any specific workshop must have been approved by the workshop organizer(s). ENTITLEMENTS Registrants for the Conference are entitled to: * Attend all invited lectures, technical sessions, video presentations and panel discussions on August, 10-12, 1994 * Receive all conference documentation including the Conference Proceedings * Attend the Welcome Reception * Attend the Mayor's Reception * Morning and afternoon coffee * Admission to the exhibition Registrants for a Tutorial are entitled to: * Attend the corresponding tutorial(s) on August, 8-9, 1994 * Receive the Tutorial Syllabus * Attend the Welcome Reception * Morning or afternoon coffee * Admission to the exhibition Registrants (accepted by the workshop organizer) for a Workshop are entitled to: * Attend the corresponding workshop(s) on August, 8-9, 1994 * Receive the Workshop Proceedings * Attend the Welcome Reception * Morning and afternoon coffee Accompanying persons are entitled to: * Attend the Welcome Reception * Attend the Mayor's Reception * Admission to the exhibition * Attend the official opening METHOD OF PAYMENT All payments must be made in Dutch currency (Dfl.). Please make sure that your name is clearly legible in order to ensure that your payment will be registered correctly. A letter of confirmation will be sent to you as soon as your registration form and payment have been received. If your payment has not been received before the conference and no proof of transfer can be provided, on-site payment will be requested. The on-site payment will be refunded as soon as the transferred amount has been received. We accept: 1. credit cards (American Express, Visa, Eurocard/Mastercard) 2. international bankers drafts 3. eurocheques Personal or company cheques are not accepted. CANCELLATIONS AND REFUNDS A written confirmation of cancellation must be sent to the conference office Erasmus Forum. Refunds on registration are as follows: Before July 1, 1994: 75 % refund After July 1, 1994 no refund ECCAI GRANT The ECCAI Board has established a grant for East European researchers. Persons interested in a grant are invited to contact Prof. J. Cuena, ECCAI Secretary, Departamento de Intelligencia Artificial, Campus de Montegancedo s/n, E-28660 Boadilla del Monte [Madrid], Spain, fax: +34 1 352 4819, phone +34 1 352 4803, e-mail: jcuena@mayor.dia.fi.upm.es. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [I] REGISTRATION FORM, ELECTRONIC VERSION INSTRUCTIONS FOR USE OF REGISTRATION FORM, ELECTRONIC VERSION IMPORTANT: The registration is only valid if it is sent in hard-copy form and carries your signature. Legibility is greatly improved if you manually introduce page breaks at points appropriate to your system setup. Send the completed form to: ECAI'94 Erasmus Forum Erasmus University Rotterdam P.O. Box 1738 3000 DR Rotterdam The Netherlands Fax +31 10 453 0784 The form is comprised of the following parts: [1] Participant data [2] Conference registration [3] Accompanying person(s) [4] Tutorials registration [5] Workshop registration [6] Hotel accommodation [7] Evening events [8] Tours and excursions [9] Special requirements [10] Total price and method of payment [11] Signature Price information is included wherever appropriate. Information about the programme and the tours and excursions is given elsewhere. Please note for all prices quoted: - All prices quoted are in Dutch guilders (Dfl). - The members fee is applicable to all members of ECCAI member societies, i.e. members of European AI societies affiliated to ECCAI. - Student registration is applicable to full-time students only. They have to include a student certification with the registration form, which gives proof of the full-time student status. Student registrations without that proof will be returned. - Whether a registration is "early", "late" or "on-site" depends on when both the registration form and full payment have been received. "Early": before June 1, 1994. "Late": before July 1, 1994. "On-site": on or after July 1, 1994. --[cut here]---------------------------------------------------- REGISTRATION FORM ECAI'94 ** [1] PARTICIPANT DATA ** Family name ______________________________________________ First name ___________________________________________ M/F Title ____________________________________________________ Organization _____________________________________________ Correspondence address ___________________________________ ___________________________________ ___________________________________ Postal code ______________________________________________ City _____________________________________________________ Country __________________________________________________ Telephone ___________________ Telefax ____________________ Email ____________________________________________________ ** [2] CONFERENCE REGISTRATION ** Conference fee: On site Early Late Member of ECCAI member society 1050,-- 850,-- 950,-- Non-member 1200,-- 950,-- 1150,-- Student 500,-- 400,-- 450,-- Select one of the following: O Member of ECCAI member society O Non-member O Student (include certificate) Conference fee (see table above) ____________________ **[3] ACCOMPANYING PERSON(S) ** Family name First name 1. _________________________ __________________________ 2. _________________________ __________________________ 3. _________________________ __________________________ Total accompanying persons' fee (Dfl. 100,-- per person): __________________________ ** [4] TUTORIALS REGISTRATION ** Circle the tutorials of your choice, with a maximum of one per line: Monday August 8, morning T1 or T2 or T3 Monday August 8, afternoon T4 or T5 or T6 Tuesday August 9, morning T7 or T8 or T9 or T13a Tuesday August 9, afternoon T10 or T11 or T12 or T13b (T13a obligatory) Tutorial fee* On site Early Late Member of ECCAI member society - one tutorial 650 575 600 - two tutorials** 1150 950 1050 - T13a and T13b 1300 1150 1200 Non-member - one tutorial 700 625 650 - two tutorials** 1250 1050 1150 - T13a and T13b 1400 1250 1300 Notes: * Students can participate at the member's fee. ** This discount does not apply to the combination of the tutorials T13a and T13b. People wishing to attend only tutorials do not have to register for the conference as well. Total tutorial fee (see table above) ____________________ ** [5] WORKSHOPS REGISTRATION ** Select workshop W7 (two full days, Monday and Tuesday August 8-9) by ticking here: O OR Select workshop W10 (two full days, Monday and Tuesday August 8-9) by ticking here: O OR circle the workshops of your choice, with a maximum of one per day: Monday August 8 W1 W2 W3 W4 W5 W6 W8 W9 Tuesday August 9 W11 W12 W13 W14 W15 W16 W17 W18 W19 Workshop fee: Workshop W7: 175,--. Workshop W10: 175,--. All other workshops, for every workshop: 100,--. No distinction is made between "early", "late" and "on-site" registrations as far as workshop fees are concerned. Please note: - You must also register for the conference. - Your participation in any specific workshop must have been approved by the workshop organizer(s). Total workshop fee (see table above) ____________________ ** [6] HOTEL ACCOMMODATION ** Arrival date: August ____ 1994 Arrival after 20.00 hrs: O Yes O No Departure date: August ____ 1994 Please make the following reservation: ____ single room(s) ____ double room(s) O Yes, I would like to share a room with another delegate Name of person sharing: ___________________________ Preferred price/category hotel (see table above): _________________ Remarks: __________________________________________________________ Hotel deposit Dfl. 250,-- ________________ ** [7] EVENING EVENTS ** Event Date Price per Number of person in Dfl. persons Welcome reception Monday 8 (free) _________ Candlelight cruise Tuesday 9 40,-- _________ Mayor's reception Wednesday 10 (free) _________ Conference dinner Thursday 11 125,-- _________ Total price evening events ____________________ ** [8] TOURS AND EXCURSIONS ** Ref. Short description Price per Number of person in Dfl. persons Tour 1 The Hague and Delft 85,-- _________ Tour 2 Sailing on the IJsselmeer 190,-- _________ Tour 3 Edam, Volendam, Enkhuizen 85,-- _________ Tour 4 National Park "De Hoge Veluwe" 75,-- _________ Ex 1 Stedelijk Museum 7,50 _________ Ex 2 Stedelijk Museum 7,50 _________ Ex 3 Anne Frank House and Diamond cutter 10,-- _________ Ex 4 Rijksmuseum 12,50 _________ Ex 5 Rijksmuseum 12,50 _________ Ex 6 Madame Tussaud 15,-- _________ Total price tours and excursions ____________________ ** [9] SPECIAL REQUIREMENTS ** Please state any special requirements (e.g., dietary): ______________________________________________________ ______________________________________________________ ______________________________________________________ ** [10] TOTAL PRICE AND METHOD OF PAYMENT ** Total for conference . . . . . . . . . . . . Dfl. ____________________ Total for accompanying persons . . . . . . . Dfl. ____________________ Total for tutorials . . . . . . . . . . . . Dfl. ____________________ Total for workshops . . . . . . . . . . . . Dfl. ____________________ Total for evening events . . . . . . . . . . Dfl. ____________________ Total for tours and excursions . . . . . . . Dfl. ____________________ Hotel deposit . . . . . . . . . . . . . . . Dfl. ____________________ ---------------------------- + -> Total amount to be paid to Erasmus Forum Dfl. ____________________ All payments must be made in Dutch currency (Dfl.) and free of bank charges. No reservations will be confirmed until payment is received. O International bankers draft O Eurocheque (personal or company cheques are not accepted) O Credit card: O Visa O Eurocard O American Express Card number: ___________________ Expiration Date ___________ Cardholder's name __________________________________________ Make sure to have all methods of payment accompanied by your name and "ECAI'94". ** [11] SIGNATURE ** I have read the conditions regarding registration, cancellation and payment for ECAI'94. Date ___________________________ Delegate's signature ________________________________ ---[end of registration form]-------------------------------------------- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [end of posting] -- --------------------------------------------------------------------- Paul van der Vet Phone +31 53 89 36 94 / 36 90 Knowledge-Based Systems Group Fax +31 53 33 96 05 Dept. of Computer Science Email vet@cs.utwente.nl University of Twente P.O. Box 217 7500 AE Enschede The Netherlands --------------------------------------------------------------------- Article 22845 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:22845 sci.cognitive:3996 Newsgroups: comp.ai,sci.cognitive Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!newsfeed.pitt.edu!gatech!howland.reston.ans.net!EU.net!sun4nl!news.nic.surfnet.nl!utciva.civ.utwente.nl!infnews.cs.utwente.nl!vet From: vet@cs.utwente.nl (Paul van der Vet) Subject: ECAI'94 Tutorial Programme Message-ID: Sender: usenet@cs.utwente.nl Nntp-Posting-Host: ethanol.cs.utwente.nl Organization: Twente University, Dept. of Computer Science Date: Tue, 28 Jun 1994 06:51:10 GMT Lines: 606 ECAI 94 11TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE AUGUST 8 - 12, 1994 TUTORIAL PROGRAMME AMSTERDAM RAI, INTERNATIONAL EXHIBITION AND CONGRESS CENTRE AMSTERDAM, THE NETHERLANDS Organized by the European Coordinating Committee for Artificial Intelligence (ECCAI) In cooperation with AAAI and IJCAI Hosted by the Dutch Association for Artificial Intelligence (NVKI) For information please contact: Erasmus Forum P.O. Box 1738 3000 DR Rotterdam The Netherlands Tel: +31 10 4082302 Fax: +31 10 4530784 E-mail: M.M.deLeeuw@apv.oos.eur.nl TUTORIAL PROGRAMME A full tutorial programme will take place on August 8 and 9, 1994. Thirteen lectures will be given by experienced instructors. Extended tutorial information can be obtained by anonymous FTP from swi.psy.uva.nl, directory pub/ecai94. Tutorial Chairperson: Dr. Frank van Harmelen SWI University of Amsterdam Roetersstraat 15 1081 WB Amsterdam The Netherlands Phone: +31 20 525 6791 or +31 20 525 6789 Fax: +31 20 525 6896 E-mail: ecai94-tutorials@swi.psy.uva.nl SCHEDULE Monday August 8, 09.00 - 13.00 hrs T1 Models of uncertainty and graduality in AI Didier Dubois and Philippe Smets T2 The knowledge medium: the use of formal knowledge representation for institutional memory and communication Thomas Gruber and Luc Steels T3 Intelligent multimedia interfaces Mark Maybury and Yigal Arens Monday August 8, 14.00 - 18.00 hrs T4 Reasoning with cases: theory and practice Klaus-Dieter Althoff, Michel Manago and Stefan Wess T5 The art and the science of modelling: crucial issues in building second generation knowledge-based systems Peter Struss and Bert Bredeweg T6 Validation of knowledge-based systems Pedro Meseguer and Alun Preece Tuesday August 9, 09.00 - 13.00 hrs T7 Managing machine-learning application development and organisational implementation Yves Kodratoff and Vassilis Moustakis T8 Knowledge-based production management Norman M. Sadeh and Stephen F. Smith T9 Multi-agent systems and distributed AI Les Gasser and Jeffrey Rosenschein T13a Artificial life and autonomous robots (theory) Luc Steels and David McFarland Tuesday August 9, 14.00 - 18.00 hrs T10 Temporal reasoning in AI Han Reichgelt and Lluis Vila T11 Rules in databases and knowledge bases Ulrike Griefahn and Rainer Manthey T12 Principles and practice of knowledge aquisition Angel R. Puerta and Henrik Eriksson T13b Artificial life and autonomous robots (practise) Luc Steels and David McFarland T1 Models of uncertainty and graduality in AI Didier Dubois (National Center for Scientific Research, France) and Philippe Smets (Institut de Recherches Interdisciplinaires et de Developpements en Intelligence Artificielle, France) Researchers in automated reasoning, in database management systems and in knowledge-based systems have felt the need for techniques that cope with imperfect information. This is especially true when issues such as inconsistency handling, numerical/symbolic interface, and belief revision are addressed. Classical logic and the Bayesian view of probability are not always enough to deal with those issues even if they suggest useful guidelines. This tutorial will provide an introduction to non classical models of uncertainty and vagueness that have been developed in the last 20 years, very often in connection with Artificial Intelligence. These models include numerical approaches such as fuzzy sets and possibility theory, belief functions, and more logical-oriented developments such as nonmonotonic reasoning. The tutorial is made of four lectures respectively devoted to a survey of various forms of imperfect information, an introduction to fuzzy sets, fuzzy logic and possibility theory, a comparative introduction to several belief functions theories, and the connection between uncertainty models and nonmonotonic inference. The tutorial will survey the various approaches in a knowledge-based systems perspective, hoping that it might lead potential users to a better understanding of why these models differ, how they can be related and when to use what. Prerequisite Knowledge: The tutorial will assume that the audience has some knowledge of probability theory and propositional calculus. T2 The knowledge medium (The use of formal knowledge representation for institutional memory and communication) Thomas Gruber (Stanford University) and Luc Steels (Free University Brussels) Computer technology has begun to redefine how human knowledge is communicated and used in organisations. Networked multimedia systems, which can store and display information in a variety of modalities, are used to support the communication of virtual teams across space and time barriers. Knowledge systems, which do limited reasoning on symbolic representations of knowledge, are used to deliver specialised or complex knowledge in an operational form where it is needed. The knowledge medium is the convergence of these two trends, in which machine-interpretable representations are part of the medium by which we communicate and transmit our knowledge. This tutorial will explore the role of knowledge representation in a medium for communication and institutional memory. Applications will be described in which knowledge is communicated and shared in forms understood by both humans and software agents. Examples include interactive, model-generated documentation of designed artifacts; content-based routing of information among collaborating agents; and the synthesis of knowledge-based software from libraries of reusable components. Fundamental research issues to be discussed include the design and use of shared representations, and knowledge level specifications of tasks, agent capabilities, and information needs. Prerequisite Knowledge: This tutorial is intended for researchers and practitioners interested in new applications of AI to problems of enterprise integration, computer-supported communication, software reuse, and software interoperability. Only a basic familiarity with knowledge representation and software engineering will be assumed. T3 Intelligent multimedia interfaces Mark Maybury (MITRE Corporation, Badford, MA, USA) and Yigal Arens (University of Southern California) The purpose of this tutorial is to introduce the emerging literature and set of techniques for building multimedia and multimodal interfaces, i.e., those interfaces that interpret and generate multiple media, e.g., spoken and written natural language, graphics, non-speech audio, maps, animation). This tutorial will last a half day and will be primarily a lecture, with time allotted to clarify issues and respond to questions from the audience. This tutorial will begin by motivating the value of a system that is able to communicate using multiple media and modalities using examples found in human-human communication. We define terms and note terminological problems found in the literature, then describe an architecture for integrated multimedia parsing and generation, which will serve as a reference model for the remainder of the tutorial. We next distinguish the specific kinds of knowledge utilised by these systems and then describe the theory, illustrated with implemented application examples, of multimedia parsing and generation. Finally, we discuss systems that have integrated both parsing and generation. The tutorial concludes by outlining key areas for further research and expected future directions in the field. Throughout the tutorial, specific descriptions of prototype systems (e.g., from the MIT Media Lab, USC/ISI, Columbia University, the German Center for Research in AI, IRST) will be used to illustrate the components of a more general model of multimodal and multimedia communication. Prerequisite Knowledge: This tutorial is relevant to those researchers and practitioners interested in investigating, designing, and implementing intelligent interfaces that exploit multiple media and modalities to facilitate human- computer interaction. There is no prerequisite knowledge required, although general knowledge of user interfaces and artificial intelligence will enhance the value of this course for participants. T4 Reasoning with cases: theory and practice Klaus-Dieter Althoff (University of Kaiserslautern), Michel Manago (AcknoSoft, France), Stefan Wess (University of Kaiserslautern) The objective of the tutorial is to present two technologies for reasoning with cases: induction and case-based reasoning. Induction is a form of machine learning that is used to automatically extract general knowledge (for instance in the form of a decision tree or a set of rules) from a database of cases. Case-based reasoning is a problem solving method that makes direct use of past experiences (cases) rather than a corpus of general knowledge such as rules. In this tutorial, we will show how reasoning with cases helps solve a new category of applications and how it also offers an alternative to classical rule-based reasoning. We will introduce, compare and contrast the two technologies, expose the history and areas of current research, present the architecture of a case-based reasoning system and describe some basic algorithms. We will show how cases can be indexed for efficient retrieval, how the similarity between new and past cases is assessed, how cases are represented (feature-value vectors, object representations), how to use additional background domain knowledge, and we will compare the technologies with other forms of automated reasoning. Induction and case-based reasoning are now mature technologies that have reached the market. Strategic custom applications in various domains have been delivered (and are being used) and "off the shelf" products are available. We will review tools developed by commercial and non-commercial organisations, identify the market for these and show some real applications in technical maintenance and diagnosis. Prerequisite Knowledge: This tutorial aims at presenting a survey of the technologies and delineating their areas of application. The intended audience is composed of the managing and technical staff of computer divisions interested in technologies for reasoning with cases. Knowledge engineers interested in up-to-date methodologies for developing applications and users with a specific potential application in mind will also appreciate the tutorial. There are no prerequisites. T5 The art and the science of modelling: (crucial issues in building second generation knowledge-based systems) Peter Struss (Technical University of Munich) and Bert Bredeweg (University of Amsterdam) Reasoning about the physical world has always been a key problem in AI. It is in the core of common sense reasoning, and it is central to many automated problems solvers that are intended to deal with industrial applications. Recently, model-based systems have become a focal point of both theoretical work and efforts to build powerful systems, and the field is now mature for significant applications. Designing an adequate model for the domain and task at hand is the key problem and step. The quality of the model crucially effects the competence and robustness of the problem solving system, the generality and reusability of the knowledge base (and, hence, development costs) the interaction with the system and its performance (e.g. real-time behaviour). The research efforts of the last fifteen years or so result in a vast set of powerful theories, useful techniques, and sophisticated systems which is hard to overlook for the practioner and the newcomer to the field, and, still, much of successful modeling appears to be more like an art rather than an engineering task. The tutorial provides a critical overview of the field. It discusses requirements and objectives in modeling for knowledge-based systems, the existing formal theories and tools as well as their limitations and open problems. We will organise it along a number of key problems, questions, and requirements raised by real domains and applications, and analyze how different theories and techniques address these issues. Examples deal with design and configuration, failure mode analysis, simulation, analysis, testing, sensor placement, diagnosis and repair, supervision, explanation and tutoring and treat physical systems, biological and ecological systems, and enterprises. Prerequisite knowledge: The tutorial is intended for developers of industrial applications as well as novices in the field and researchers from other AI areas. The former should receive help for finding solutions to their problems, while the latter may find what is worth while working on. No extensive knowledge in AI is required for attending. Some basic knowledge in mathematics, logic, knowledge representation, and reasoning is helpful, but not mandatory. T6 Validation of knowledge-based systems Pedro Meseguer (Technical University of Catalonia, Barcelona) and Alun Preece (University of Savoie, France) This tutorial will provide participants with a firm understanding of the current state-of-the-art in techniques and tools for validating knowledge-based systems (KBS). Highlights of the presentation will include a detailed examination of methods for performing rigorous verification, testing and evaluation of these systems. Our intention is to give attendees a solid introduction to the theoretical foundation of KBS validation methods, together with a clear understanding of how the methods can be applied in practice. Our analysis of KBS verification tools and techniques will cover not only classical rule-based systems, but also systems with uncertainty, explicit control knowledge, frames, and procedural components. We will describe the underlying algorithms, and will draw upon practical experience to consider issues arising in the use of verification tools---for example, how to interpret their output. A thorough survey of testing techniques for KBS will include both an assessment of the applicability of testing approaches from software engineering, and an examination of special problems in testing KBS. We will also consider broader issues in KBS evaluation, concerned with ensuring that a delivered system will be used productively. All of these techniques will be illustrated using case studies from KBS practice. Finally, we place the validation activities in context by relating them to other activities in the KBS life-cycle, and also by relating them to other important topics in artificial intelligence. Participants will leave this tutorial with a set of recommendations for carrying out rigorous and effective validation to ensure the quality of their KBS. Prerequisite Knowledge: Participants in this tutorial should be familiar with knowledge-based systems, at least to the level of an introductory textbook. The tutorial is aimed at participants with an interest in quality assurance of KBS, especially systems builders or managers currently involved--or anticipating involvement--in developing KBS. T7 Managing machine-learning application development and organisational implementation Yves Kodratoff (University of Paris-Sud) and Vassilis Moustakis (Technical University of Crete, Greece) Applying machine learning (ML) techniques to Industry is made at once difficult by the large amount of available techniques and programs that are able to perform induction or support learning of some kind. It also represents a challenge both in terms of the application and of ML itself in that a great proportion of the user community is torn between the hopes and promises brought about by innovations in ML science and technology on the one hand and their need to understand, and, ultimately use these innovations to support knowledge based system (KBS) tasks on the other. The tutorial will cover all phases underlying (ML) application development. Special emphasis will be placed upon lessons learned from existing industrial `real world' ML applications. From a technical point of view the tutorial will address the issue of coupling application specifics with ML systems. It will suggest a systematic framework, sufficient for supporting ML application management and ML system selection according to application requirements. It will also emphasise the numerous problems met when Knowledge Acquisition has to be coupled with ML: most existing industrialised ML applications had to perform the acquisition of the knowledge necessary to have the ML system running. The tutorial will adopt an application bias in reviewing the conditions under which a given ML technique should be applied. Results are demonstrated by way of a series of real world ML application case studies. The tutorial should be useful to both ML researchers and ML practitioners. ML practitioners will get an overview of ML system capabilities and potential in addition to having a chance to learn about real world applications. ML researchers may find this tutorial useful in understanding reality of applications and identify gaps pointing to the need for further system development or enhancement. Prerequisite Knowledge: Participants who want to attend this tutorial should possess a minimum of AI skills. Acquaintance with machine learning is desirable although not necessary. T8 Knowledge-based production management Norman M. Sadeh and Stephen F. Smith (Carnegie Mellon's Robotics Institute, Pittsburgh) This tutorial will introduce participants to the concepts, techniques, and methodologies that have emerged from work in knowledge-based production management. We will first consider the shortcomings of traditional approaches to production management (e.g., MRP/MRP II) and identify opportunities provided by knowledge-based technologies both in overcoming these limitations, and in contributing to effective implementation of modern manufacturing philosophies (e.g. Just in Time). We will then review in more detail the essential concepts and techniques underlying dominant approaches to knowledge-based production management. We will cover object-centered modeling frameworks, simulation and rule-based techniques, temporal constraint management, blackboard and multi-perspective techniques, constrained heuristic search, uncertainty management, iterative improvement techniques, distributed production management, and intelligent interactive scheduling frameworks. In each case, we will characterise strengths and weaknesses from the standpoint of different production management requirements, and indicate the results that work under each approach has produced to date. Finally, we will examine a few successful applications, and assess the current state of theory and practice. Over the past decade, a large (and continually increasing) number of efforts (both research and development) have sought to investigate and exploit the use of Artificial Intelligence (AI) concepts and techniques in production management applications. In some cases, AI-based concepts have provided frameworks for making traditional Operations Research (OR) techniques more accessible and usable in practical production management settings. In other cases, novel concepts and techniques have been developed that offer new opportunities for more cost-effective factory performance. Knowledge-based scheduling and planning techniques are having an increasing operational impact in complex production management applications. Prerequisite Knowledge: This tutorial is aimed at both practitioners and researchers who are interested in applying knowledge-based techniques to practical production management problems. It will also be useful to technology managers who want to keep abreast of the current state of the art in knowledge-based production management. The tutorial assumes knowledge of AI at the level of an introductory course as well as some familiarity with basic production management concepts. T9 Multi-agent systems and distributed AI Les Gasser (University of Southern California) and Jeffrey S. Rosenschein (Hebrew University Jerusalem) Multi-Agent Systems and Distributed AI (MAS/DAI) are concerned with how to coordinate behaviour among a collection of semi-autonomous problem-solving agents, so that they can act together to solve joint problems, or make individually or globally reasonable decisions despite uncertainty and conflict. MAS/DAI systems are a research reality, and are rapidly becoming practical partners in critical tasks such as telecommunications control and management, power distribution, product development, manufacturing, robotics, enterprise integration/coordination, and organization design. This tutorial will provide a thorough survey of problems, theory, techniques and applications in contemporary Multi-Agent Systems and Distributed AI. We will develop a comprehensive picture of current knowledge and contemporary currents in MAS/DAI, in preparation for building MAS/DAI systems or as background for doing advanced research on outstanding MAS/DAI problems. The tutorial is designed for people who are professionally interested in building MAS/DAI systems, for AI researchers interested in learning about a range of MAS/DAI approaches, and for technology planners and managers who need to know about leading-edge technologies. Prerequisite Knowledge: The tutorial presumes knowledge of AI at the level of an introductory AI course. T10 Temporal reasoning in AI Han Reichgelt (University of the West Indies in Mona, Jamaica) and Lluis Vila (Institute for Research in AI of Blanes, Spain) The notion of time is ubiquitous in any activity that requires intelligence. A whole range of intelligent tasks require reasoning about time like Diagnosis, Explanation, Planning, Process supervision, Natural language understanding. It follows that the representation of time and reasoning about time is of crucial importance for Artificial Intelligence systems. This tutorial is intended to demonstrate it, to give a clear picture of the different issues involved in a temporal reasoning system, and to provide a progressively detailed analysis of each of these different issues discussing the advantages and shortcomings of the different approaches in the literature. The tutorial will be comprised of the following sessions: Introduction, What is temporal reasoning?, Why it is so important?, How it can be used in practice?, Ontologies of time, How should time be conceptualised, e.g. as points or as intervals?, What are the advantages of each conceptualisation?, Temporal logics, Method of temporal arguments, Modal temporal logic, Reified temporal logic, Critical comparison of the three Algorithms for temporal reasoning, Change, causality and non-monotonicity. Prerequisite Knowledge: The tutorial will assume some basic understanding of first-order predicate calculus. However, it will assume no in-depth knowledge of the field of temporal reasoning. It is our intention to present both introductory and in-depth material. The tutorial will therefore be suitable both to complete novices in the field and those with some background in the area. T11 Rules in databases and knowledge bases Ulrike Griefahn and Rainer Manthey (University of Bonn) Rules have been a well-known concept in artificial intelligence since long, investigated in connection with expert systems, knowledge bases, or logic programming. Various instances of the rule concept were later adopted by the database community in view of extending AI techniques towards the handling of large amounts of data. Today there are two major directions of activity in database research which are concerned with the introduction of rules into database systems: active and deductive databases. Meanwhile, a significant amount of database-specific techniques have been developed. These approaches are relevant for research in AI, too, as many of today's expert system applications are related to large quantities of data. But even in case of comparatively small amounts of data, not necessarily requiring database technology, some of the techniques developed in the DB community seem to be interesting alternatives to "classical" AI solutions. The tutorial aims at providing a compact, up-to-date overview of the state-of-the-art in active and deductive databases. In addition, first results towards an integration of both kinds of rules within a common framework are presented, focusing on the implementation of deductive inference by means of active rules. Prerequisite Knowledge: The presenters try to keep the tutorial largely self-contained. However, basic knowledge about databases (primarily relational databases), logic programming, and expert systems are helpful. T12 Principles and practice of knowledge acquisition Angel R. Puerta (Stanford University) and Henrik Eriksson (Linkoeping University) Knowledge acquisition draws from many research areas. Due to the complexity of the fields involved, it is often more productive to examine knowledge acquisition from an empirical point of view, than to do so from a purely theoretical one. This tutorial will develop a comprehensive view of the most important principles and practical issues in knowledge acquisition. We will present the theoretical foundations of knowledge acquisition to establish a framework in which the attendee can understand and analyze how the theories are put to practice. We will concentrate on illustrating problems in using computer-based knowledge- acquisition tools, covering examples from early expert systems to the new generation of knowledge- based systems based on reusable knowledge components. Throughout the tutorial, we will emphasise the particular issues that affect the design and development of knowledge-acquisition tools. The attendee will learn what principles and design tradeoffs are involved in the construction of knowledge-acquisition tools, and what are the research issues in knowledge acquisition. Prerequisite Knowledge: This tutorial is suited for anyone who has an introductory background in artificial intelligence. The course will be especially helpful to knowledge engineers involved in the development of knowledge-based systems, to research scientists who work with knowledge bases, and to anyone desiring an overview of the advances in knowledge acquisition. T13a and T13b Artificial life and autonomous robots Luc Steels and assistants (Free University Brussels) and David McFarland (University of Oxford) This tutorial is a unique opportunity for AI researchers to get an overview of the newly developing paradigm of behaviour-oriented AI and to understand the approach in sufficient technical detail. This tutorial consists of two parts: the first part is given in the morning and is particularly important for the necessary background and motivation (Steels and McFarland). The second part is given in the afternoon and will give hands-on experience, and potentially will give researchers the chance to continue working in this area (Steels and assistants). Artificial Life studies the phenomenon of life the same way AI studies intelligence: by building artificial systems that show the same capabilities as living systems. This tutorial gives an overview of research in Alife, the behaviour-oriented approach to AI, and the biological significance of this research. The first tutorial is theoretical. An overview of the literature will be given and important general trends discussed. The second tutorial focuses on technical issues. An autonomous robot lab will be set up in which participants have the opportunity to build their own robots out of components made available in the lab. The secon tutorial will be restricted to a smaller audience. Prerequisite Knowledge: The tutorial is intended for researchers or developers in any area of AI that want to learn about the new exciting developments in behaviour-oriented AI research and its interaction with Artificial Life. There are no prerequisites beyond general knowledge about AI. The second tutorial requires general programming experience but no prior experience in robot building. -- --------------------------------------------------------------------- Paul van der Vet Phone +31 53 89 36 94 / 36 90 Knowledge-Based Systems Group Fax +31 53 33 96 05 Dept. of Computer Science Email vet@cs.utwente.nl University of Twente P.O. Box 217 7500 AE Enschede The Netherlands --------------------------------------------------------------------- Article 23492 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:23492 Newsgroups: comp.ai Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!godot.cc.duq.edu!news.duke.edu!news-feed-1.peachnet.edu!gatech!howland.reston.ans.net!EU.net!sun4nl!news.nic.surfnet.nl!utciva.civ.utwente.nl!infnews.cs.utwente.nl!vet From: vet@cs.utwente.nl (Paul van der Vet) Subject: Final Programme ECAI-94 Message-ID: Sender: usenet@cs.utwente.nl (News System) Nntp-Posting-Host: ethanol.cs.utwente.nl Organization: University of Twente, Dept. of Computer Science Date: Fri, 29 Jul 1994 12:16:43 GMT Lines: 814 FINAL PROGRAMME ECAI'94 11TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE AUGUST 8 - 12, 1994 AMSTERDAM RAI, INTERNATIONAL EXHIBITION AND CONGRESS CENTRE AMSTERDAM, THE NETHERLANDS Organized by the European Coordinating Committee for Artificial Intelligence (ECCAI) In cooperation with AAAI and IJCAI Hosted by the Dutch Association for Artificial Intelligence (NVKI) For general information please contact: ECAI'94 Erasmus Forum Erasmus University Rotterdam P.O. Box 1738 3000 DR Rotterdam The Netherlands Tel: +31 10 408 2302 Fax: +31 10 453 0784 E-mail: M.M.deLeeuw@apv.oos.eur.nl *** Wednesday: 9.00-10.30 *** Official Opening, followed by: ------------------------------------------------------------ inv-1: Invited Plenary Talk ------------------------------------------------------------ 'Computational Models of Multimodal Communication' Wolfgang Wahlster (DFKI, Germany) *** Wednesday: 11.00-12.00 *** ------------------------------------------------------------ app-1: Application Technologies ------------------------------------------------------------ 'PMFP: The Use of Constraint-Based Programming for Predictive Personnel Management' Claude Le Pape, Jean-Francois Puget, Moreau Colonel, Philippe Darneau(ILOG S.A., Etat Major de l'Armee de Terre, Andersen Consulting) 'Similarity for Analogical Software Reuse: A Computational Model' George Spanoudakis, Panos Constantopoulos(University of Crete) ------------------------------------------------------------ ar-1: Automated Reasoning: Truth Maintenance Systems ------------------------------------------------------------ 'Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS' Mugur M. Tatar(Technical University of Cluj-Napoca, Romania) 'Stubborness: An Enhancement Scheme for Backjumping and Nogood Recording' Thomas Schiex, G\'erard Verfaillie(CERT-ONERA (DERI-GIA)) ------------------------------------------------------------ kr-1: Knowledge Representation: Explanations ------------------------------------------------------------ 'Explanation and Theory Base Transmutations' Mary-Anne Williams(University of Sydney) 'The production of explanations, seen as a design task:a case study' M.H. Greboval, G. Kassel(University of Technology of Compiegne) ------------------------------------------------------------ nl-1: Natural Language: Speech Processing ------------------------------------------------------------ 'Parsing of Spoken Language under Time Constraints' Wolfgang Menzel (University of Hamburg) 'Hypothetical Reasoning for Automatic Recognition of Continuous Speech' Sylvie Coste-Marquis (CRIN-CNRS, INRIA-Lorraine) ------------------------------------------------------------ pf-1: Philosophical Issues ------------------------------------------------------------ 'A New Formal Model of Belief' Daniel Mack (University of Essex) 'Exploration in Design Space' Aaron Sloman (University of Birmingham) ------------------------------------------------------------ std-1: Standardisation ------------------------------------------------------------ 'A Constructivist View on Knowledge Engineering' Walter Van de Velde (Vrije Universiteit Brussel) 'FRAMER: A Persistent Portable Representation Library' Kenneth B. Haase (MIT Media Laboratory) *** Wednesday: 14.00-16.00 *** ------------------------------------------------------------ srv-1: Invited Survey Talks ------------------------------------------------------------ 'Active Vision'Henrik Christensen (Aalborg University, Denmark) 'AI and A-Life: Never Mind The Blocksworld' David Cliff (University of Sussex, UK) ------------------------------------------------------------ ar-2: Automated Reasoning: Abduction ------------------------------------------------------------ 'A Top Down Proof Procedure for Default Logic by Using Abduction' Ken Satoh (Fujitsu Laboratories) 'Abduction and Uncertainty in Compositional Reasoning' Bob Goedhart (Delft University of Technology) 'Abduction and Concurrent Logic Languages' Christian Codognet, Philippe Codognet(LIENS, University Paris-XIII, INRIA - Rocquencourt) ------------------------------------------------------------ kr-2: Knowledge Representation: Theory Revision ------------------------------------------------------------ 'Tests as Epistemic Updates' Bernd Van Linder, Wiebe Van der Hoek, John-Jules Meyer (Utrecht University) 'Possible Models Approach via Independency' Pierre Marquis (CRIN-CNRS, INRIA-Lorraine) 'Base Revision Operations and Schemes: Semantics, Representation and Complexity' Bernhard Nebel (German Research Centre for Artificial Intelligence (DFKI)) ------------------------------------------------------------ ml-1: Machine Learning ------------------------------------------------------------ 'The Inductive Inference of Cyclic Synchronized Interleaving' Brian J. Ross(Brock University) 'A Context-Sensitive Discretization of Numeric Attributes for Classification Learning' Changhwan Lee, Dong-Guk Shin (University of Connecticut) 'Exploiting Causal Domain Knowledge for Learning to Control Dynamic Systems' Achim G. Hoffmann (University of New South Wales) 'Learning in Classifier Systems is Hard' Uwe Hartmann ------------------------------------------------------------ rps-1: Reasoning about Physical Systems ------------------------------------------------------------ 'Harnessing the Power of Temporal Abstractions in Modelbased Diagnosis of Dynamic Systems' Wolfgang Nejdl, Johann Gamper (RWTH Aachen) 'Simulating Physical Systems with Relative Descriptions of Parameters' Michael Neitzke, Bernd Neumann (Universit\"at Hamburg) 'Model-based Diagnosis with the Default-based Diagnosis Engine: Effective Control Strategies that Work in Practice' Oskar Dressler, Peter Struss (Siemens AG, Muenchen, Technical University of Munich) 'Integrating Qualitative Reasoning for Numerical Data fusion Tasks' Yang Gao, Hugh Durrant-Whyte (University of Oxford) ------------------------------------------------------------ rob-1: Robotics ------------------------------------------------------------ 'Performance Assessment of Cognitive Systems; Case of Elementary Mobile Robots' Jean-Daniel Dessimoz, Giovanni Mele (EINEV - Vaud College of Engineering, Switzerland) 'The Interaction of congenial autonomous robots' Jacques Penders, Lyuba Alboul, Peter Braspenning (PTT Research, The Netherlands, Moscow University RUDN, University of Limburg) 'The Stream Field Method applied to Mobile Robot Navigation: a Topological Perspective' Didier Keymeulen, Jo Decuyper (Vrije Universiteit Brussel, Ministerie van de Vlaamse Gemeenschap) 'Neural Fuzzy Controller In Behavior-Oriented Architectures' Steffen F\"orster (Universit\"at Bielefeld) Towards an Axiomatic Theory of Artificial Perception. Andranik Tangian (Fern University of Hagen) ------------------------------------------------------------ vvt-1: Verification, Validation and Testing ------------------------------------------------------------ 'Knowledge Formal Specifications for Formal Verification : a Proposal based on the Integration of Different Logical Formalisms.' Marie-Christine Rousset (Universite Paris-Sud) 'A Logical Foundation for Verification' Jan Treur, Mark Willems (Vrije Universiteit Amsterdam) 'Qualitative Algorithmics Using Order of Growth Reasoning' Antoine Missier, Spyros Xanthakis, Louise Trav\'e-Massuy\`es (LAAS-CNRS, OPL) *** Wednesday: 16.30-18.30 *** ------------------------------------------------------------ pan-1: Panel Session ------------------------------------------------------------ 'Computers and Creative Thought'Organiser: Ernest Edmonds (Loughborough University of Technology, UK).Panelists: Gerhard Fischer (Colorado), Douglas Riecken (AT\&T BellLaboratories), Richard Satherley (London), Keith Stenning (Edinburgh),Willemien Visser (INRIA France) app-2: Application Technologies ------------------------------------------------------------ 'DIAPO: A Case Study in Applying Advanced AI Techniques to the Diagnosis of a Complex System.' Marc Porcheron, Benoit Ricard, Jean Luc Busquet, Patrice Parent (Electricite de France, Jeumont-Industrie) 'Context-sensitive Data Validation and Data Abstraction for Knowledge-Based Monitoring' Silvia Miksch, Werner Horn, Christian Popow, Franz Paky (Austrian Research Institute for Artificial Intelligence, University of Vienna, Department of Pediatrics, Hospital of Moedling) 'A Knowledge-Based Decision Support System for Selection Psychologists' Irene S.Y. Koh, Michael S.H. Heng (University of Tilburg, Vrije Universiteit Amsterdam) 'FAITH in Process Control Expert Systems' Kai Finke, Matthias Jarke, Peter Szczurko, Roland Soltysiak (RWTH Aachen, Henkel KGaA, D\"usseldorf) ------------------------------------------------------------ ar-3: Automated Reasoning: Theorem Proving ------------------------------------------------------------ 'Reusing Proofs' Thomas Kolbe, Christoph Walther (Technische Hochschule Darmstadt) 'Coloured rippling: An extension of a theorem proving heuristic' Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David Basin (University of Edinburgh, INRIA-Lorraine, MPI) 'Refinements of Theory Model Elimination and a Variant without Contrapositives' Peter Baumgartner (Universitat Koblenz) ------------------------------------------------------------ cm-1: Cognitive Modelling ------------------------------------------------------------ 'Attentional Scanning' Eric O. Postma, H. Jaap van den Herik, Patrick T.W. Hudson (University of Limburg) 'On the Dynamics of Learner Models' Ana Paiva, John Self, Roger Hartley (Lancaster University, University of Leeds) 'Mental States Recognition from Speech Acts through Abduction' Aldo Franco Dragoni, Paolo Puliti (Universita di Ancona) Categorical Tools for Artificial Perception. Zippora Arzi-Gonczarowski, Daniel Lehmann (Hebrew University) ------------------------------------------------------------ dai-1: Distributed AI ------------------------------------------------------------ 'Modeling Multi-agent Cooperation as Distributed Constraint Satisfaction Problem Solving' Taha Khedro, Michael Genesereth(Stanford University) 'On Fair Controls in Multi-Agent Systems' Hans-Dieter Burkhard(Humboldt University Berlin) 'An all-pay auction approach to distributed reallocation' Jacques Lenting, Peter Braspenning (University of Limburg) 'Symbol-level Requirements for Agent-level Programming' Mauro Gaspari, Enrico Motta (Universita' di Bologna, The Open University, UK) ------------------------------------------------------------ ml-2: Machine Learning ------------------------------------------------------------ 'Learning by Refining Algorithm Sketches' Pavel Brazdil, Al\'ipio Jorge (University of Porto) 'Iterative Model Construction with regression.' Marjorie Moulet (LRI-Orsay) 'Top-Down Pruning in Relational Learning' Johannes F\"urnkranz (Austrian Research Institute for Artificial Intelligence) 'Improvement of the exploration of the search space of a Top-Downalgorithm : theoretical and experimental results' Pierre Brezellec, Henry Soldano (Universite Paris Nord, Institut Curie) ------------------------------------------------------------ psa-1: Planning, Scheduling and Actions 'Correct Modification of Complex Plans' Jana Koehler (German Research Center for Artificial Intelligence (DFKI)) 'An Adaptive Deductive Planning System' Dietmar Dengler (German Research Center for Artificial Intelligence (DFKI)) 'Executing Parallel Plans Faster by Adding Actions' Christer B\"ackstr\"om (Linkoping University) 'Integrating Probabilistic Reasoning into Plan Recognition' Mathias Bauer (DFKI, Saarbruecken) *** Thursday: 9.00-10.00 *** ------------------------------------------------------------ inv-2: Invited Plenary Talk ------------------------------------------------------------ 'Causality, Action and Counterfactuals' Judea Pearl (UCLA, USA) *** Thursday: 10.30-11.30 *** ------------------------------------------------------------ app-3: Application Technologies: Scheduling ------------------------------------------------------------ 'A High Performance Scheduler for an Automated Chemistry Workstation' Robert Aarts, Stephen Smith (VTT Biotechnology and Food Research, Carnegie Mellon University) 'Scheduling Heuristics for the DRS-Sched System' Marco Adinolfi, Amedeo Cesta (IP-CNR) ------------------------------------------------------------ ets-1: Enabling Technology and Systems ------------------------------------------------------------ 'A Formal Model for the Dynamics of Compositional Reasoning Systems' Ioa Gavrila, Jan Treur (Vrije Universiteit Amsterdam) 'Multiple Access and Coherence Management in a Real-Time Temporal Blackboard' V. Botti, A. Crespo, F. Barber, I. Ripoll (Universidad Politecnica de Valencia) ------------------------------------------------------------ int-1: Integrated Systems ------------------------------------------------------------ 'Knowledge Based Integration of Representation Formalisms' Gertjan Van Heijst, Wilfried Post, A.Th. Schreiber (University of Amsterdam) 'Rule Compilation and Optimization For Embedded Systems with Periodic Sensor Data' Frank P. Coyle, Murat M. Tanik (Southern Methodist University) ------------------------------------------------------------ kr-3: Knowledge Representation: Modal Logics ------------------------------------------------------------ 'Modal Logics for Conceptual Graphs III' Harmen Van den Berg (University of Twente) 'Skeptical and Credulous Event Calculi for Supporting Modal Queries' Luca Chittaro, Angelo Montanari, Alessandro Provetti (Universita' di Udine, Universita' di Bologna) ------------------------------------------------------------ ml-3: Machine Learning 'Combining Robustness and Flexibility in Learning Drifting Concepts' Gerhard Widmer (University of Vienna, Austrian Research Institute for Artificial Intelligence) 'Concept Versioning: A Methodology for Tracking Evolutionary Concept Drift in Dynamic Concept Systems' Manfred Klenner, Udo Hahn (Albert Ludwigs Universit\"at, Freiburg) ------------------------------------------------------------ nl-2: Natural Language Processing ----------------------------------------------------------- 'Intrinsic error estimation for corpus-trained probabilistic language models' Uwe Jost, Eric Atwell (University of Leeds, CCALAS, TU Dresden) 'Encoding Syntactical Trees with Labelling Recursive Auto-Associative Memory' Vincent Cadoret (Centre National d'Etude des Telecommunications) *** Thursday: 14.00-16.00 *** ----------------------------------------------------------- srv-2: Invited Survey Talks ------------------------------------------------------------ 'Learning and Intelligent Agents'Leslie Pack Kaelbling (Brown University, USA) 'Neural Learning for Robot Control'Carme Torras (UPC, Spain) ------------------------------------------------------------ app-4: Application Technologies: Machine Learning ------------------------------------------------------------ 'Classification of traffic situations by using Neural Networks' Heribert Kirschfink, Hubert Rehborn (Heusch/Boesefeldt GmbH, Aachen, Fern Uni Hagen) 'Acquisition of Information to Determine a User's Plan' Bhavani Raskutti, Ingrid Zukerman (Telecom Research Labs, Australia, Monash University, Australia) 'Genetic algorithms for air traffic assignment' Daniel Delahaye, Jean-Marc Alliot, Marc Schoenauer, Jean-Loup Farges (CENA/CERT) 'A Case-Based Reasoning System Using a Control Case-Base' Isabelle Bichindaritz (LIAP5, CMME, Hopital Sainte-Anne) ------------------------------------------------------------ ar-4: Automated Reasoning: Constraints ------------------------------------------------------------ 'The Phase Transition and the Mushy Region in Constraint Satisfaction Problems' Barbara Smith (University of Leeds) 'Binary Constraint Satisfaction Problems: Some are Harder than Others. Patrick Prosser (University of Strathclyde, UK) 'The SAT Phase Transition' Ian P. Gent, Toby Walsh (INRIA-Lorraine) ------------------------------------------------------------ cm-2: Cognitive Modelling ------------------------------------------------------------ 'A Social Reasoning Mechanism Based On Dependence Networks' Jaime Simao Sichman, Rosaria Conte, Cristiano Castelfranchi, Yves Demazeau (LIFIA/IMAG, Grenoble, IP/CNR, Rome) 'A Learner Model Reason Maintenance System' Ana Paiva, John Self (Lancaster University) 'A Framework for Teaching Qualitative Models' Kees de Koning, Bert Bredeweg (University of Amsterdam) 'The DUAL Cognitive Architecture: A Hybrid Multi-Agent Approach' Boicho Kokinov (Bulgarian Academy of Sciences) ------------------------------------------------------------ dai-2: Distributed AI ------------------------------------------------------------ 'Yet another semantics of goals and goal priorities' Jacques Wainer (State University of Campinas, Brazil) 'Deviation-Proof Plans in Open Multiagent Environments' Sviatoslav Brainov (Bulgarian Academy of Sciences) 'Coherent Social Action' Michael Wooldridge (Manchester Metropolitan University) 'Emergent behaviour in a multi-agent economic situation' Paul Kearney, Arvindra Sehmi, Robert Smith (Sharp Laboratories of Europe Ltd) -------------------------------------------------------------- psa-2: Planning, Scheduling and Actions ------------------------------------------------------------ 'Hybrid Temporal Reasoning' Juergen Dorn (Technical Univ. Vienna) 'Combining Constraint Network and Causal Theory to Solve Scheduling Problems from a CSP Perspective' Robert Rodo\v{s}ek (University of Munich) 'Constraint Satisfaction for Multiple Capacitated Job Shop Scheduling' W.P.M. Nuijten, E.H.L. Aarts (Eindhoven University of Technology, Philips Research Laboratories) 'Job Cost and Constraint Relaxation for Scheduling Problem Solving in the CLP Paradigm' Peng Ye, Derric Glass, Michael McTear, John G. Hughes (University of Ulster) ------------------------------------------------------------ rps-2: Reasoning about Physical Systems ------------------------------------------------------------ 'The use of model-based diagnosis in redesign' R.R. Bakker, S.J.M. van Eldonk, P.M. Wognum, N.J.I. Mars (University of Twente, the Netherlands) 'Using domain knowledge to select solutions in abductive diagnosis' Frank van Harmelen, Annette ten Teije (SWI, University of Amsterdam) 'Computing Minimal Diagnoses with Critical Set Algorithms' Igor Mozetic (Technical University of Vienna, Austrian Research Institute for Artificial Intelligence) 'Model Based Control' Eric Sauthier, Boi Faltings (Swiss Federal Institute of Technology) *** Thursday: 16.30-18.30 *** ------------------------------------------------------------ pan-2: Panel Session ------------------------------------------------------------ 'Knowledge Management'Organiser: Jos Schreinemakers (Erasmus University, The Netherlands),Panel: Jos Schreinemakers, chair (Erasmus University Rotterdam, NL),Jean-Paul Barthes (IIIA & University of Technology of Compiegne, France), David Bree (Manchester University, UK) Rob van der Spek(Center for Knowledge Technology Utrecht, NL), K.M. Wiig (Wiig GroupInc, Arlington TX, USA) ------------------------------------------------------------ ar-5: Automated Reasoning ------------------------------------------------------------ 'Top-down query evaluation for well-founded semantics with explicit negation' Jose Alferes, Carlos Damasio, Luis Pereira (CRIA, Uninova, U. Nova de Lisboa) 'On the Translation of Higher-Order Problems into First-Order Logic' Manfred Kerber (Universitaet des Saarlandes) 'Expressing independence in a possibilistic framework and its application to default reasoning' Salem Benferhat, Didier Dubois, Henri Prade (Institut de Recherche en Informatique de Toulouse) 'Improvements on Linear-Space Search Algorithms' Hermann Kaindl, Angelika Leeb, Harald Smetana (Siemens AG,Wien, TU Wien) ------------------------------------------------------------ cdp-1: Connectionism and PDP ------------------------------------------------------------ 'Progress with the Tree-Structured Self-Organizing Map' Pasi Koikkalainen (Lappeenranta University of Technology) 'Advantages of using prototypes in a multi-layer perceptron and comparison to other neural networks' Khaled Khan (Vrije Universiteit Brussel) 'Problems with Using Genetic Algorithms for Neural Network Feature Selection' Chris Hopkins, Tom Routen, Tim Watson (De Montfort University, Leicester) 'Applying Co-Evolution to the Construction of Neural Networks' Steve G. Romaniuk (Nat Univ of Singapore) ------------------------------------------------------------ kr-4: Knowledge Representation: Probabalistic and Temporal Aspects ----------------------------------------------------------- 'A Logical View of Probability' Nic Wilson, Serafin Moral (Queen Mary and Westfield College, Universidad de Granada) 'A new approach in temporal representation of belief for autonomous observation and surveillance systems' Patrick J. Fabiani (CERT ONERA Centre d'Etude et de Recherche de Toulouse) 'Mereotopological Construction of Time from Events' Fabio Pianesi, Achille C. Varzi(Istituto per la Ricerca Scientifica e Tecnologica (IRST)) 'Reasoning About Action and Change Using Occlusion' Patrick Doherty (Linkoping University) ------------------------------------------------------------ ml-4: Machine Learning ------------------------------------------------------------ 'The need for knowledge acquisition in case-based reasoning - some experiences from an architectural domain' Angi Voss (German National Research Center for Computer Science (GMD)) 'Performance Evaluation of a Novel Fault Tolerance Training Algorithm' Hamed Elsimary, Samia Mashali, Ahmed Darwish, Samir Shaheen (Electronics Research Inst., Cairo, Cairo University) 'Learning Disjunctive Concept Definitions Using a Genetic Algorithm' Attilio Giordana, Lorenza Saitta, Floriano Zini (Universita di Torino) 'DGA: An Efficient Genetic Algorithm' Phillipe Collard, Jean-Philippe Aurand(CNRS URA) ------------------------------------------------------------ nl-3: Natural Language Processing: Generation ------------------------------------------------------------ 'Being Concise versus Being Shallow: Two Competing Discourse Planning Paradigms' Ingrid Zukerman, Richard McConachy (Monash University) 'How to Avoid Explaining Obvious Things (without omitting central information)' Helmut Horacek (University of Bielefeld) 'Forward Inferences in Text Generation' Stephan Mehl (University of Duisburg) 'Generating Examples For Use in Tutorial Explanations: Using a Subsumption Based Classifier' Vibhu O. Mittal, Cecile L. Paris (University of Pittsburgh, University of Brighton) ------------------------------------------------------------ rob-2: Robotics ------------------------------------------------------------ 'Modelling Interacting Agents in Dynamic Environments' J\"org P. M\"uller, Markus Pischel (DFKI) 'Equilibrium analysis of behavior systems' Luc Steels (Vrije Universiteit Brussel) 'DICK: Distributed Inference on Compiled Knowledge for Real time distributed systems' E. Dekneuvel, M. Ghallab, H. Phillippe (LAAS/CNRS) 'The Interaction of Congenial Autonomous Robots. Jacques Penders, Lyuba Alboul, Peter Braspenning (PTT Research, Moscow Unviersity, University of Limburg) *** Friday: 9.00-10.00 *** ------------------------------------------------------------ inv-3: Invited Plenary Talk ------------------------------------------------------------ 'Interaction and Collaboration in Multi-agent Systems'Sarit Kraus (Baar-Ilan University, Israel) *** Friday: 10.30-12.30 *** ------------------------------------------------------------ pan-3: Panel Session ------------------------------------------------------------ 'The Future of AI Funding'Organisers: Robert Milne (Intelligent Applications Ltd, UK) andJean-Paul Barthes (Universit'e de Technologie de Compiegne, France).Panel: ------------------------------------------------------------ ar-6: Automated Reasoning: Constraints ------------------------------------------------------------ 'Contradicting Conventional Wisdom in Constraint Satisfaction' Daniel Sabin, Eugene Freuder (University of New Hampshire) 'GSAT versus Simulated Annealing' Antje Beringer, Gerd Aschemann, Holger Hoos, Michael Metzger, Andreas Weiss (Intellektik, Informatik, TH Darmstadt) 'A New Population-Based Method for Satisfiability Problems' Jin-Kao Hao, Rapha\"el Dorne ------------------------------------------------------------ kr-5: Knowledge Representation: Tractability Issues 'Concept Logics with Function Symbols' Hans-J\"urgen B\"urckert, Bernhard Hollunder, Armin Laux (German Research Center for Artificial Intelligence) 'Concept language with number restrictions and fixpoints, and its relationship with mu-calculus' Giuseppe De Giacomo, Maurizio Lenzerini (Universita' di Roma "La Sapienza") 'Domain-Specific Complexity Tradeoffs' Bart Selman (AT&T Bell Laboratories) ------------------------------------------------------------ nl-4: Natural Language Processing: Lexical Issues ------------------------------------------------------------ 'The Automated Evaluation of Inferred Word Classifications' John Hughes, Eric Atwell (University of Leeds) 'Towards an Electronic Dictionary' Graham Allport (Birmingham University) 'Interpreting Common Words in Context: a Symbolic Approach' Violaine Prince (LIMSI-CNRS) ------------------------------------------------------------ psa-3: Planning, Scheduling and Actions ------------------------------------------------------------ 'A Decomposition Heuristic for Resource Allocation' Berthe Y. Choueiry, Boi Faltings (Swiss Federal Institute of Technology) 'A Promising Hybrid GA/Heuristic Approach for Open-Shop Scheduling Problems' Hsiao-Lan Fang, Peter Ross, Dave Corne (University of Edinburgh) 'Inference and Optimization Methods for Manufacturing Process Planning' Abdr\'as M\'arkus, J'ozef V\'ancza (Hungarian Academy of Sciences) 'An Efficient Data Structure for Bidirectional Heuristic Search' J\"urgen Eckerle, Thomas Ottmann (Universitat Freiburg) ------------------------------------------------------------ vi-1: Vision and Signal Understanding ------------------------------------------------------------ 'A New Approach to Shading Flow Analysis and Surface Recovery from Images' Franco Callari, Piero Storniolo (University of Colorado at Boulder, Universita' di Palermo) 'Multispecialist System for 3D Scene Analysis' Fadi Sandakly, G\'erard Giraudon (UR SOPHIA ANTIPOLIS) *** Friday: 14.30-16.30 *** ------------------------------------- srv-3: Invited Survey Talks ------------------------------------------------------------ 'Current and Future Trends for Community Research and Development in AI'Patrick Corsi (CEC, Brussels) 'Theoretical Planning and its Contributions to Practical and Applied Planning'Joachim Hertzberg (Universitaet Dortmund, Germany) ----------------------------------------------------------- ar-7: Automated Reasoning: Constraints ------------------------------------------------------------ 'Maximal Sets of Solutions for Constraint Satisfaction Problems' David Lesaint (Centre d'Etudes et de Recherches de Toulouse) 'Global Consistency for Continuous Variables' Djamila Haroud, Boi Faltings (Artificial Intelligence Laboratory, EPFL) 'Partial consistency for constraint-satisfaction problems' Hachemi Bennaceur (LIPN, Institut Galilee) ------------------------------------------------------------ cdp-1: Connectionism and PDP ------------------------------------------------------------ 'Self-Organizing Neural Networks in Kansei Engineering Expert System' Shigekazu Ishihara, Keiko Ishihara, Yukihiro Matsubara, Mitsuo Nagamachi (Onomichi Junior College, Hiroshima Chuo Women's Junior College, Faculty of Engineering, Hiroshima University) 'On Attributed Relational Graph Matching Using Hopfield Network' P.N. Suganthan, Eam Khwang Teoh, Dinesh P. Mital (Nanyang Technological University) 'Alopex Network Algorithm Applied to Predict Gas Usage' Alexei Skurikhin, Alvin Surkan (Inst. of Physics and Power Eng., Obninsk, Russia, University of Nebraska-Lincoln) ------------------------------------------------------------ dai-3: Distributed AI ------------------------------------------------------------ 'Multi-Agent System Design: Using Human Societal Metaphors and Normative Logic' Geof Staniford (University of Liverpool) 'Belief Revision in Multi-Agent Systems' Benedita Malheiro, Nick Jennings, Eugenio Oliveira (University of Opporto, Queen Mary & Westfield College) 'Beliefs in Multi-Agent Worlds: a Terminological Logics Approach' Armin Laux (German Research Center for Artificial Intelligence) ------------------------------------------------------------ kr-6: Knowledge Representation: Non Monotonic Logic ------------------------------------------------------------ 'A Reconstruction of Rescher's Theory of Formal Disputation Based on Default Logic' Gerhard Brewka (GMD) 'Violated Obligations in a Defeasible Deontic Logic' Leendert W.N. van der Torre (Erasmus University Rotterdam, EURIDIS) 'Prioritized Conflict Resolution for Default Reasoning' J\'er\^ome Mengin (Universite Paris-Sud) 'Reasoning by cases without contraposition in default logic' Yves Moinard (IRISA, Rennes) ------------------------------------------------------------ ml-5: Machine Learning: Knowledge Acquisition ------------------------------------------------------------ 'A Framework to Improve Knowledge Acquisition based on Machine Learning' Andre Le Grand, Jean Sallantin (Universite de Geneve, LIRMM Montpellier) 'Reconstructing Human Skill with Machine Learning' Tanja Urbancic, Ivan Bratko (Jozef Stefan Institute, Ljubljana) 'Using Models of Problem Solving as Bias in Automated Knowledge Acquisition' Herman J. H. Van Dompseler, Maarten W. Van Someren (University of Amsterdam) 'Operationalizing Conceptual Models Based on a Model of Dependencies' Frank Maurer, Juergen Paulokat (University of Kaiserslautern) -------------------------------------------------------------------------------- -- --------------------------------------------------------------------- Paul van der Vet Phone +31 53 89 36 94 / 36 90 Knowledge-Based Systems Group Fax +31 53 33 96 05 Dept. of Computer Science Email vet@cs.utwente.nl University of Twente P.O. Box 217 7500 AE Enschede The Netherlands ---------------------------------------------------------------------