------------------------------------------------------------------------- C O M P U T E R S A N D A R T I F I C I A L I N T E L L I G E N C E ------------------------------------------------------------------------- Since 1982 when its publication has started, the journal COMPUTERS AND ARTIFICIAL INTELLIGENCE functions as a double bridge. On the one hand, this journal provides publishing space where papers written mostly by East-European and West-European authors are meeting. On the other hand, COMPUTERS AND ARTIFICIAL INTELLIGENCE is a medium of communication between two important sciences - computer science and artificial intelligence, enabling mutual enrichment as well as develop- ment and integration of ideas between them. COMPUTERS AND ARTIFICIAL INTELLIGENCE is a refereed journal published 6 times a year by Slovak Academic Press Ltd. and edited jointly by Institu- te of Computer Systems, Institute of Control Theory and Robotics and Institute for Informatics of Slovak Academy of Sciences. From the start of its existence, COMPUTERS AND ARTIFICIAL INTELLIGENCE is concentrated on the following topics: * cognitive science, learning, knowledge representation, knowledge bases expert system tools, natural language processing * image processing, pattern recognition, vision systems, tactile systems, speech recognition * problem solving, theorem proving, computational models, computational complexity, parallel computation, language semantics * functional programming, logic programming, object-oriented programming, intelligent programming environments * parallel machines, data-flow machines, reduction machines, inference machines, knowledge-based machines, high-level-language machines * intelligent robot systems, intelligent CAD/CAM systems, computer aided engineering, computer graphics, VLSI design technology * education, diagnostics, planning, machine translation systems, dialogue systems. In the journal, new original scientific results are published together with short scientific information. Beside theoretical results, applications are considered as well. ------------------------------------------------------------------------- SELECTED RECENT ARTICLES ------------------------------------------------------------------------- P. HAJEK - J. J. VALDES: A Generalized Algebraic Approach to Uncertainty Processing in Rule-Based Expert Systems (Dempsteroids) J. HROMKOVIC: Branching Programs Versus Oblivious Branching Programs A. E. ANDREEV: On an Algebraic Method for construction of Extremal Boolean Matrices D. GEIDMANIS: Unsolvability of the Emptiness Problem for Alternating 1-Way Multi-Head and Multi-Tape Finite Automata over Single-Letter Alphabet Z. TUZA: Languages Defined by Distant Constraints P. TERENZIANI: A Rule-Based Approach to the Semantic Interpretation of Natural Language A. BONARINI - M. C. GALLO - M. GUIDA: GEKATOO: A General Knowledge Acquisition Tool M. C. BAIZAN - A. G. MORENO: An Algorithmic Approach to Query Optimization Y. J. JIANG: A First Step Towards Autoepistemic Logic Programming J. DASSOW - G. PAUN: On the Succinctness of Descriptions of Context-Free Languages by Cooperating/Distributed Grammar Systems K. VOSS: An Approach to Algebraic Theory of Discrete Signals I. G. KAZANTSEV: The Criterion of the Informative Projection Choice in Computer Tomography V. SRIDHAR - M. N. MURTY: Nonmonotonic Logics for Belief Revision J. TEPANDDI: The Contribution Adequacy Criterion and its Application for Testing Appro- ximate Knowledge in Expert Systems U. PETERMANN: How to Build In an Open Theory into Connection Calculi T. STAHS - F. WAHL: Recognition of Polyhedral Objects under Perspective Views H. STAMM - H. KLEINE BUENING: Evaluating Production Systems with PSPACE-Complete Delete Operator M. BELMESK - Z. HABBAS: A Process Calculus with Shared Variables F. CHERIEF: Investigations of Back and Forth Bisimulations on Prime Event E. A. STOEHR: On Optimal Embeddings of the FFT Graph and the Butterfly Graph into the Hypercube M. J. KATZ - J. S. ROSENSCHEIN: The GEneration and Execution of Plans for Multiple Agents E. CSUHAJ-VARJU - J. DASSOW: A Note on Cooperating Grammars: Terminal Production Suffices A. CIAMPOLINI - A. CORRADI - L. LEONARDI - A. VENTURINI: Optical Flow Computation on a Transputer-Based Architecture: The Use of a Parallel Object-Oriented Programming Environment P. W. P. J. GREFEN - P. M. G. APERS: A Graph-Based Approach to Action Scheduling in a Parallel Database System G. R. R. JUSTO - P. H. WELCH: Serialization as a Paradigm for the Engineering of Parallel Programs F. LIN - T. SHIH: Verification of Systolic Architecture Designs A. KLINGLER - V. PENNER: Parallelizing Logic Programs through Decomposition J. ROTHE - J. VOGEL: A Note on the Polynomial-Time Hierarchy and Probabilistic Operators M. J. WISE: MB-Prolog: Message Brokered Communication between Prolog Processes D. SEIPEL: Graph-Based Processing of Logic Programs I. MUMICK - H. PIRAHESH - R. RAMAKRISHNAN: Adornments in Database Programs L. BIC - J. M. A. ROY - M. NAGEL: Declarative Programming for Conventional MIMD Multiprocessors ------------------------------------------------------------------------- EDITORSHIP ------------------------------------------------------------------------- EDITOR-IN-CHIEF: Ivan PLANDER, Bratislava EXECUTIVE EDITORS: Peter HATALA, Bratislava Ondrej SYKORA, Bratislava EDITORIAL BOARD: Wolfgang BIBEL, Darmstadt Dines BJORNER, Lyngby Lothar BUDACH, Berlin Janos DEMETROVICS, Budapest Norbert FRISTACKY, Bratislava Ion GEORGESCU, Bucharest Giovanni GUIDA, Brescia Jozef GRUSKA, Bratislava-Hamburg Walther von HAHN, Hamburg Petr HAJEK, Prague Eva HAJICOVA, Prague Jan HLAVICKA, Prague Guenther HOTZ, Saarbruecken Juraj HROMKOVIC, Bratislava Philippe JORRAND, Grenoble Danny KOPEC, Orono Vadim E. KOTOV, Novosibirsk H. T. KUNG, Pittsburgh Helmuth LOEFFLER, Dresden Jozef MIKLOSKO, Bratislava Burkhard MONIEN, Paderborn Makato NAGAO, Kyoto David PARKINSON, London Jean Francois PERROT, Paris Ivan PLANDER, Bratislava Dimitrij A. POSPELOV, Moscow Henri PRADE, Toulouse Michael M. RICHTER, Kaiserslautern Gianfranco ROSSI, Parma Blagovest SENDOV, Sofia Vasil SGUREV, Sofia Ivan H. SUDBOROUGH, Richardson Clark D. Thomborson, Duluth Enn H. TYUGU, Tallinn Richard WAIT, Liverpool Gerd WECHSUNG, Jena Fritz WYSOTZKI, Berlin Wang YIESHENG, Beijing Yurij Yu. ZHURAVLEV, Moscow ------------------------------------------------------------------------- INSTRUCTIONS TO AUTHORS ------------------------------------------------------------------------- 1. Submission of Manuscript Manusripts in English may be submitted to the Editor-in-Chief, Ivan Plander, Institute of Computer Systems, Slovak Academy of Sciences, Dubravska 9, 84237 Bratislava, Czecho-Slovakia, or any other member of the Editorial Board (EB). Submit the original paper and two copies. Enclose a technical biography (100 words) and a passport photograph of each author of the paper. Authors should keep editors informed of the change of address. The paper will be subject to a full review procedure and a decision whether to accept the paper will be taken by the editor-in-chief based on the reviews. Typical review period is 3 months. 2. Form of Manuscript Please type your manuscript on good-quality paper of uniform size A4 (or print on a letter quality printer) using one side of each sheet only and double spacing throughout. All illustrations, photographs, tables, etc. should be on separate sheets and should be included in the original and both copies. 3. Lay-out of the Paper Each paper should have a heading, full name and address of the author(s), abstract, keywords, the body of the text and references to the literature. An abstract of the paper must not exceed 15 lines. The body of the paper should be arranged into chapters numbered with integers; each chapter may be divided into sub-chapters marked with decimal numbers (e.g. 2.1.). It is recommended to use footnotes only exceptionally. 4. Figures All figures should be drawn in India ink only in a form suitable for reproduction, preferably of such a size that the same degree of reduction can be applied to all of them. They should not exceed 50 x 50 cm. The author should indicate in the left margin of the manuscript where figures, tables or diagrams are to be inserted. 5. Electronic Copies In order to accelerate the typesetting process of the manuscript, the authors are encouraged to send a diskette containing a Latex file of the manuscript. Electronic copies may also be sent via e-mail to the address: sykorao@savba.cs