From gaspari@cs.unibo.it Tue Jan 11 14:29:00 EST 1994 Article: 20180 of comp.ai Xref: glinda.oz.cs.cmu.edu comp.ai:20180 Newsgroups: comp.ai Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!math.ohio-state.edu!sdd.hp.com!caen!batcomputer!ghost.dsi.unimi.it!dm.unibo.it!cs.unibo.it!gaspari From: gaspari@cs.unibo.it (Mauro Gaspari) Subject: AI-ICSR 94 - Call for Papers Message-ID: Sender: news@dm.unibo.it Organization: Laboratory for Computer Science, University of Bologna, Italy Date: Tue, 11 Jan 1994 15:36:34 GMT Lines: 132 SLOVAK ACADEMY OF SCIENCES SCIENTIFIC BOARD FOR ARTIFICIAL INTELLIGENCE OF THE RUSSIAN ACADEMY OF SCIENCES Sixth International Conference ARTIFICIAL INTELLIGENCE AND INFORMATION-CONTROL SYSTEMS OF ROBOTS First Announcement and Call for Papers September 12-16, 1994 Smolenice Castle near Bratislava, Slovakia Slovak Academy of Sciences and the Scientific Board for Artificial Intelligence of the Russian Academy of Sciences, in cooperation with European Coordinating Commitee foe Artificial Intelligence (ECCAI), International Federation for Information Processing (IFIP) TC 12 - Artificial Intelligence, Slovak Society for Cybernetics and Informatics and Association of Slovak and Technical Societies are organizing the Sixth International Conference ARTIFICIAL INTELLIGENCE AND INFORMATION-CONTROL SYSTEMS OF ROBOTS to be held at the Smolenice Castle near Bratislava. The Conference is sponsored by a grant of the Commission of European Communities within the Cooperation in Science and Technology with Central and Eastern European Countries (COST). AIM OF THE CONFERENCE The aim of the Conference is to acquaint the participants with contemporary state-of-the-art and recent results in Artificial Intelligence (AI), intelligent information-control systems of robots and computer architectures for AI. Conference program includes invited and submitted papers. Panel discussions and exhibition covering participants own works will also be organized. The papers will be published as the Conference Proceedings. OFFICIAL LANGUAGE: English TOPICS Conference topics include (but are not limited to): Theoretical problems of AI * Knowledge representation * Cognitive modelling * Learning * Knowledge-based and expert systems * Programming languages and software for AI * Human-computer interaction * AI and expert systems applications * Robotics * Searching and planning * Vision, image processing, and computational geometry * Perception and intelligent sensor systems * New generation computer architectures * Parallel, distributed, and decentralized architectures for AI and robotics * AI hardware * Neural networks and AI. DEMONSTRATIONS AI software and industrial applications. Authors are invited to submit five copies of full draft paper (max. 12 pages). IMPORTANT DATES Deadline for submission January 15, 1994 Notification of acceptance/rejection March 1, 1994 Deadline for the final text April 30, 1994 Final announcement plus Conference program July 15, 1994 Conference September 12-16, 1994 PROGRAM COMMITEE Bajcsy, R. - Philadelphia Bekey, G. - Los Angeles Bibel, W. - Darmstadt Bjorner, D - Lyngby Demetrovics, J. - Budapest Frankovic, B. - Bratislava Guida, G - Brescia Hajek, P. - Prague Hajicova, E. - Prague Kelemen, J. - Bratislava Khoroshevsky, V.F. - Moscow Lin Zong Kai - Beijing Meersman, R.A. - Antwerpen Petrov, A.P. - Moscow Plander, I. Bratislava (Chairman) Platonov, A. - Moscow Pospelov, D.A. - Moscow Pospelov, G.S. - Moscow Rossi, G.F. - Parma Sgall, P. - Prague Sgurev, V. - Sofia Shapiro, D. - Moscow Sloboda, F. - Bratislava Vamos, T. - Budapest ADDRESS FOR ALL CORRESPONDENCE Professor Ivan Plander Conference AIICSR-94 Slovak Academy of Sciences Dubravska cesta 9 84237 Bratislava Slovakia Phone: +42(7)37 1004 Fax: +42(7)37 1004, 37 6045 e-mail: aiicsr@savba.sk Article 23927 of comp.ai: Newsgroups: comp.ai Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!math.ohio-state.edu!jussieu.fr!univ-lyon1.fr!ghost.dsi.unimi.it!dm.unibo.it!eolo!gaspari From: gaspari@eolo.csr.unibo.it (Gaspari Mauro) Subject: AIICSR 94 Message-ID: Sender: gaspari@eolo (Gaspari Mauro) Organization: Dipartimento di Matematica, University of Bologna, Italy Date: Fri, 26 Aug 1994 08:27:39 GMT Lines: 630 Sixth International Conference Artificial Intelligence and Information-Control Systems of Robots Smolenice Castle, September 12-16, 1994 organized by Slovak Academy of Sciences Institute of Computer Systems Institute of Control Theory and Robotics Institute for Informatics and Scientific Board for Artificial Intelligence of the Russian Academy of Sciences in cooperation with European Coordinating Committee for Artificial Intelligence (ECCAI) International Federation for Information Processing (IFIP) TC-12 - Artificial Intelligence Slovak Society for Cybernetics and Informatics Association of Slovak Scientific and Technical Societies Slovak Society for Applied Cybernetics and Informatics The Conference is sponsored by a grant of the Commission of the European Union, Directorate-General III (Industry, RTD: Information Technologies, Basic Research and Scientific Relations in Information Technology) within the program "Cooperation in Science and Technology with Central and Eastern European Countries" (COST). International Program Committee Chairman: Plander I., Bratislava Members: Bajcsy R., Philadelphia Bekey G.A, Los Angeles Bibel W., Darmstadt Bjorner D., Macao Demetrovics J., Budapest Frankovic B., Bratislava Guida G., Udine Hajek P., Prague Hajicova E., Prague Jorrand Ph., Grenoble Kelemen J., Bratislava Khoroshevsky V.F., Moscow Lin Z., Beijing Meersman R.A., Antwerp Okhotsimsky D.E., Moscow Petrov A.P., Moscow Platonov A., Moscow Pospelov D.A., Moscow (Co-Chairman) Pospelov G.S., Moscow Rossi G., Parma Sgall P., Prague Sgurev V., Sofia Shapiro D, Moscow Sloboda F., Bratislava Vamos T., Budapest National Organizing CoMmittee Members: K. Dobrovodsky B. Frankovic P. Hatala L. Hluchy J. Kelemen M. Postulkova O. Sykora AIICSR'94 The AIICSR'94 Conference (Artificial Intelligence and Information-Control Systems of Robots) is already the sixth conference dealing with integration of knowledge from various spheres of artificial intelligence, computer science and robotics. At present, the complexity of the problems concerned requires an integrated approach and not an isolated research in the science branches given above. Robotics with its adaptive, mobile and intelligent robots represents a real result of the efforts within artificial intelligence, expert and knowledge systems, as well as within vision systems, sensorics, control theory and in the architecture of computer systems allowing real-time applications. The aim of the Conference is to make the participants acquainted with contemporary state-of-the-art and with recent results in artificial intelligence, intelligent information-control systems of robots and computer architecture for AI. Moreover, the aim of the Conference is to contribute to continuous and efficient transfer of new knowledge and methods produced by science and research in artificial intelligence and related disciplines into design of intelligent production technology. The scientific program of AIICSR'94 consists of 11 invited papers, presenting an overview of major recent research areas, of 8 position papers of the members of the International Program Committee and of 27 submitted papers. SCIENTIFIC PROGRAM Monday, September 12, 1994 9.30 Opening Session 10.00 Position paper A. Agah, G.A.Bekey Sociorobotics: One to many robots 10.45 - 11.15 BREAK 11.15 Invited paper I. Bratko Machine learning in dynamic systems: Some recent results 12.00 Invited paper F. Rohrdanz, R. Gutsche, F.M. Wahl Assembly planning and geometric reasoning for grasping 13.00 - 14.30 LUNCH 14.30 Invited paper J. Matas, J. Kittler, J. Illingworth, L. Nguyen, H.I. Christensen Constraining visual expectations using a grammar of scene events 15.15 Invited paper A. Imiya Subpixel superresolution and inversion of image pyramid 16.00 - 16.20 BREAK 16.20 R. Klette Shape from area and centroid 16.40 V. Britanak, F. Sloboda, R. Takac On transform image coding 17.00 N. Luth, R. Klauer Use of image processing and pattern recognition methods in the extraction of information from scanned cadastral maps 17.20 F.Sloboda, B. Zatko Computational geometry and line drawing image processing 17.40 J. Glasa Circulant Toeplitz matrices for digital curves smoothing 20.00 WELCOME PARTY Tuesday, September 13, 1994 9.00 Position paper T. Vamos Representing soft knowledge 9.45 Invited paper S. Holldobler, M. Thielscher On the adequateness of AI-systems 10.30 - 11.00 BREAK 11.00 M. Adinolfi, A. Cesta Heuristic reasoning for scheduling in a real domain 11.20 S.Skalla On the number of active nonterminals of cooperating/distributed grammar systems 11.40 A. Urbanski Reducing computational complexity of truth maintenance systems 12.00 P. Tino, I.E. Jelly, V. Vojtek Non-standard topologies of neuron field in self-organizing feature maps 12.20 Ch. Yang, M.S. Stachowicz Nonlinear system modelling using a fuzzy neural integrated system 12.40 D. Shapiro Neurointelligence: From virtual cognition systems to systems of virtual reality 13.00 - 14.30 LUNCH 14.30 Invited paper R.M. Jansen-Winkeln Multimedia systems for digital catalogues 15.15 Position paper V.F. Khoroshevsky Knowledge based design of intelligent interfaces in PiES workbench 16.00 - 16.30 BREAK 16.30 N. Gu, Z. Lin, Y. Guo An extended relational database system with the capacity to manage rules and multimedia 16.50 P. Mikulecky, V. Bodi An active artificial advisor 20.00 Musical soiree Wednesday, September 14, 1994 9.00 Position paper E. Hajicova Natural language: Advantages and obstacles 9.45 Position paper W. Bibel, S. Bruning, U. Egly, T. Rath Towards an adequate theorem prover based on connection method 10.30 - 10.55 BREAK 10.55 Invited paper Y. Demazeau Interaction protocols in distributed artificial intelligence and their use 11.40 E. Pales Contents, meaning & form. A hierarchic paraphrasing engine 12.00 A.A. Petrov, G. Resconi, R. Faglia, P.L.Magnani A general system logical theory and its applications to task description for intelligent robots 12.20 M. Gaspari Extending Prolog with data driven rules 12.40 G. Kokai, Z. Alexin, F. Kocsis The IDT system and its application for learning Prolog programs 13.00 - 14.00 LUNCH 14.00 EXCURSION Thursday, September 15, 1994 9.00 Invited paper L. de Errico, Ch. Jesshope Towards a new architecture for symbolic processing 9.45 Position paper I. Plander Applications of massively parallel architectures in artificial intelligence and knowledge processing 10.30 - 11.00 BREAK 11.00 Invited paper P. Kacsuk LOGFLOW - Prolog on massively parallel machines 11.45 Position paper Z. Lin Intelligent CAD in China 12.30 L. Hluchy, M. Dobrucky, M. Dudak Solving method for optimal load balancing and communication minimization 13.00 - 14.30 LUNCH 14.30 F. Capkovic A synthesis of knowledge-based intelligent control systems for discrete event dynamic systems 14.50 B. Frankovic, S. Labatova Approach to determination of FMS reliability by computer simulation 15.10 J. Fasung, V. Vojtek, J. Hajduk Design of parallel distributed environment for classification 15.30 - 16.00 BREAK 16.00 Y.S. Ma, Ch. Zhang A real-time control expert system 16.20 H.-D. Burkhard, R. K|hnel, P. Pirk Case based diagnosis in a technical domain 16.40 A. Szalas Genetic algorithms for decision problems 19.00 CONFERENCE DINNER Friday, September 16 9.00 Invited paper W. Shen, J.-P. Barthes, Y. Ma Description and applications of an object-oriented programming environment 9.45 Invited paper J.L. Barron, S.S. Beauchemin, D.J. Fleet On optical flow 10.30 - 11.00 BREAK 11.00 Position paper A.A. Petrov, I.M. Sirota Formation of environment models for path planning by intelligent mobile robots 11.45 K. Dobrovodsky, I. Berka, E. Zacharova Equivalent substitutions in kinematic equations 12.05 P.Andris A nonredundant representation of position in robot kinematic equations 12.30 CLOSING SESSION 13.00 - 14.30 LUNCH General Information 6th International Conference on Artificial Intelligence and Information-Control Systems of Robots (AIICSR'94) Date September 12-16, 1994 Location House of Scientists of the Slovak Academy of Sciences, Smolenice Castle near Bratislava, Slovak Republic Conference Language English is the official conference language Information for the Authors Accepted submitted papers, invited papers and position papers of the International Program Committee members will be included in the Conference Proceedings published by World Scientific Publishing Co Pte Ltd (Singapore). Besides, full text/extended version of the accepted papers will be considered for publication in the journal Computers and Artificial Intelligence published by the Slovak Academy of Sciences. Registration and Information Desk All participants are requested to check in at the registration and information desk at Smolenice Castle. The telephone number at which one can be reached during the Conference is (++42 805) 92194. Urgent fax messages (headed AIICSR'94) may be sent to (++42 805) 92193. Registration To register for the Conference, please complete and return the registration form (enclosed herewith) to the address given. After the arrival at Smolenice, you can check in on Sunday, September 11, 1994 from 16.00 to 22.00 and on Monday, September 12, 1994 from 8.00 to 12.00. During the whole Conference the information desk will be open from 8.30 to 18.00. Registration Fee The registration entitles the participant to admission to conference rooms a copy of the Conference Proceedings refreshments during the breaks. In addition, the registration for the Conference includes an invitation to a half-day excursion and to all other social events held during the Conference (except the Conference Dinner). The registration fee for conference participants is US$ 180.-. The fee should be received at Bratislava before September 1, 1994. Accommodation Accommodation is provided at the historical Smolenice Castle with limited capacity in either single-, double- or three-bed rooms, at the price US$ 26. per person and day. All accommodation requests must be accompanied by the payment and should be received in Bratislava before September 1, 1994. Board The price of all-day meals (breakfast, lunch and dinner) is US$ 6.- per person and day. The sum for the whole conference is US$ 30.-. Conference Dinner Conference dinner will be given on September 15, 1994 at the price of US$ 12.-. Payment Payment can be realized by direct bank transfer to: Vseobecna uverova banka a.s. Bratislava mesto Swift code SUBASKBX Account number 34956 - 456 555 - 012 quoting "AIICSR" and the name of participant(s). Please note: All money transfers must be free of charge for the recipient. Your registration will be confirmed. A credit card is not accepted by the Smolenice Castle Conference Office. Cancellation Cancellations will be accepted by letter or telefax only. Refunds will be made minus US$ 50. handling charges before September 1, 1994. Liability The Organizing Committee cannot accept any responsibility for personal accidents or damage to private property of the participants. Participants are advised to take out insurance as they consider necessary. Weather and Dress In Slovakia, weather is mostly pleasant at this time of the year, however a raincoat and a sweater could be useful. Travel BY AIR: The nearest airports are in Bratislava and in Vienna (60 kilometres from Bratislava). There is a bus line from the Vienna airport to Bratislava Bus Terminal approximately every two hours. BY TRAIN: Bratislava Central Station can be reached directly from Vienna, Prague, Budapest, Warsaw and Moscow. Conference Bus Special conference bus will bring the participants from Bratislava to the Smolenice Castle (60 km) and back as follows: on Sunday, September 11, 1994: departure from Bratislava Bus Terminal at 20.00 departure from Bratislava Central Station at 20.30 on Monday, September 12, 1994: departure from Bratislava Central Station at 7.30 on Friday, September 16, 1994: departure from Smolenice Castle at 14.00 Information and Correspondence 6th International Conference AIICSR'94 Institute of Computer Systems, Slovak Academy of Sciences Dubravska cesta 9, 842 37 Bratislava, Slovakia Telephone: (++427) 371 004, Telex: 093355 Telefax: (++427) 371 004 e-mail: aiicsr@savba.sk AIICSR'94 REGISTRATION FORM 6th International Conference Artificial Intelligence and Information-Control Systems of Robots Smolenice Castle, September 12-16, 1994 Return this form by mail or fax before September 1, 1994 to: AIICSR'94 Institute of Computer Systems Slovak Academy of Sciences Dubravska cesta 9 842 37 Bratislava, Slovakia Telefax: (++427) 371 004 Surname ........................................... First name............................. Ms/Mr...... Affiliation........................................ Address........................... Postal code.... City................................Country........ Telephone.................Telefax.................. E-mail ............................................ I definitely will participate at the AIICSR'94 International Conference. Registration Registration fee US$ 180.- Accommodation Date of arrival .................................. Date of departure................................. Number of nights ................................. Accomodation fee per person and day US$ 26.- Total for accomodation US$ .............. Board Meals from ............ to .......... total ............ days One day price (breakfast, lunch, dinner) is US$ 6.- Total for board US$............... Conference dinner Thursday, Sept. 15, 1994 US$ 12.- Yes US$............... Total payment US$............. Way of payment I will pay by direct bank transfer to: Vseobecna uverova banka a.s. Bratislava-mesto Swift code: SUBASKBX Account number 34956-456555-012 Please note: All money transfers must be free of charge for the recipient. A credit card is not acceptable by the Conference Office at Smolenice Castle. Your registration will be confirmed. I accept the conditions concerning the registration and cancellation as given in the Conference Program. Signature ................. Date ...................