LIDOS BibTeX Database File
compai.bib

@article{Pospelov91,
  AUTHOR = {A. Pospelov},
  TITLE = {Modelling of Deeds and Normative Behaviour in Intelligent Systems},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {13-28},
  KEYWORDS = {}}

@article{Hajek:91,
  AUTHOR = {P. Hajek and J. J. Valdes},
  TITLE = {A Generalized Algebraic Approach to Uncertainty Processing in Rule-Based Expert Systems (Dempsteroids)},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {29-42},
  KEYWORDS = {}}

@article{Kramosil91,
  AUTHOR = {I. Kramosil},
  TITLE = {Expert Systems with Boolean-Valued Uncertainties},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {43-55},
  KEYWORDS = {}}

@article{Iwanski:91,
  AUTHOR = {C. Iwanski and G. Szkatula},
  TITLE = {Inductive Learning Supported by Integer Programming},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {57-65},
  KEYWORDS = {}}

@article{Hromkovic91,
  AUTHOR = {J. Hromkovic},
  TITLE = {Branching Programs Versus Oblivious Branching Programs},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {67-74},
  KEYWORDS = {}}

@article{Voss91,
  AUTHOR = {K. Voss},
  TITLE = {Coding of Digital Straight Lines by Continued Fractions},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {75-80},
  KEYWORDS = {}}

@article{Andreev91,
  AUTHOR = {A. E. Andreev},
  TITLE = {On an Algebraic Method for Construction of Extremal Boolean Matrices},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {99-109},
  KEYWORDS = {}}

@article{Fischer91,
  AUTHOR = {P. Fischer},
  TITLE = {Which Boolean Functions Can Be Computed by Monotone Planar Circuits?},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {111-122},
  KEYWORDS = {}}

@article{Jiraskova91,
  AUTHOR = {G. Jiraskova},
  TITLE = {Comparisons of Two VLSI Models},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {123-132},
  KEYWORDS = {}}

@article{Geidmanis91,
  AUTHOR = {D. Geidmanis},
  TITLE = {Unsolvability of the Emptiness Problem for Alternating 1-Way Multi-Head and Multi-Tape Finite Automata over Single-Letter Alphabet},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {133-141},
  KEYWORDS = {}}

@article{Csuhaj-Varju91,
  AUTHOR = {E. {Csuhaj Varju}},
  TITLE = {On Size Complexity of Message Handling Grammar Systems},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {143-157},
  KEYWORDS = {}}

@article{Kortelainen91,
  AUTHOR = {J. Kortelainen},
  TITLE = {Notes about the Structure of Semilinear Sets},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {159-165},
  KEYWORDS = {}}

@article{Tuza91,
  AUTHOR = {Z. Tuza},
  TITLE = {Languages Defined by Distances},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {167-172},
  KEYWORDS = {}}

@article{Terenziani91,
  AUTHOR = {P. Terenziani},
  TITLE = {A Ruled Based Approach to the Semantic Interpretation of Natural Language},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {193-214},
  KEYWORDS = {}}

@article{Pardubska91,
  AUTHOR = {D. Pardubska},
  TITLE = {A Note on Lower Bound for One-Dimensional Systolic Array},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {215-220},
  KEYWORDS = {}}

@article{Olej:91,
  AUTHOR = {V. Olej and J. Chmurny and I. Mokris},
  TITLE = {Analysis of Parallel Discrete Systems by Discrete Stochastic and Fuzzy Petri Nets},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {221-237},
  KEYWORDS = {}}

@article{Huzar91,
  AUTHOR = {Z. Huzar},
  TITLE = {An Operational Approach to Semantics of Real-Time Programming Language},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {239-254},
  KEYWORDS = {}}

@article{Grigoras91,
  AUTHOR = {D. Grigoras},
  TITLE = {Multiple Query Execution on a Multiprocessor Database Machine},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {255-264},
  KEYWORDS = {}}

@article{Bonarini91,
  AUTHOR = {A. Bonarini},
  TITLE = {GEKATOO: A General Knowledge Acqusition Tool},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {265-276},
  KEYWORDS = {}}

@article{Zagoruiko91,
  AUTHOR = {N. D. Zagoruiko},
  TITLE = {Confidence in Information and Its Sources in Expert Systems},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {277-289},
  KEYWORDS = {}}

@article{Kuflik:91,
  AUTHOR = {T. Kuflik and E. Nissan and G. Puni},
  TITLE = {Finding Excuses with ALIBI: Alternative Plans That Are Deontically More Defensible},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {297-325},
  KEYWORDS = {}}

@article{Toman91,
  AUTHOR = {E. Toman},
  TITLE = {Some Estimates of the Complexity of Disjunctive Normal Forms of a Random Boolean Function},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {327-340},
  KEYWORDS = {}}

@article{Burtseva91,
  AUTHOR = {O. N. Burtseva},
  TITLE = {Context-Relational Model and Algebra of Contextual Relations},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {341-354},
  KEYWORDS = {}}

@article{Fernandez-Baizan91,
  AUTHOR = {M. C. {Fernandez Baizan}},
  TITLE = {An Algorithmic Approach to Query Optimization},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {355-380},
  KEYWORDS = {}}

@article{Barcucci:91,
  AUTHOR = {E. Barcucci and A. Chiudery and R. Pinzani and M. C. Verri},
  TITLE = {Index Selection in a Distributed Relational Database},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {381-397},
  KEYWORDS = {}}

@article{Bachmann:91,
  AUTHOR = {P. Bachmann and P. M. Dung},
  TITLE = {An Algebra of Nondeterministic Computations and Its Powerdomain},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {401-417},
  KEYWORDS = {}}

@article{Jiang91,
  AUTHOR = {Y. J. Jiang},
  TITLE = {A First Step Towards Autoepistemic Logic Programming},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {419-441},
  KEYWORDS = {}}

@article{Cingel91,
  AUTHOR = {V. Cingel},
  TITLE = {An Extension of Linear Time Temporal Logic and Its Application to Hardware Design},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {443-455},
  KEYWORDS = {}}

@article{Hellman91,
  AUTHOR = {O. Hellman},
  TITLE = {A Hilbert Space Fuzzy Set Theory},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {457-463},
  KEYWORDS = {}}

@article{Thang91,
  AUTHOR = {G. V. Thang},
  TITLE = {Parallel Algorithms of Histogram Equalization on Parallel Computer of the SIMD Type},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {465-476},
  KEYWORDS = {}}

@article{Meila-Predoviciu91,
  AUTHOR = {M. {Meila Predoviciu}},
  TITLE = {Cross Sectioning Algorithm for Solid Modelling Systems},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {477-485},
  KEYWORDS = {}}

@article{Gerbrich:91,
  AUTHOR = {J. Gerbrich and P. Randula and R. Ruzicka},
  TITLE = {Computer Program for Composition and Automatic Notation of Contemporary Instrumental and Vocal Music},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {487-503},
  KEYWORDS = {}}

@article{Nowinski91,
  AUTHOR = {W. L. Nowinski},
  TITLE = {The Use of the Irrad System for Studying Image Reconstruction Algorithms},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {505-511},
  KEYWORDS = {}}

@article{Dassow:91,
  AUTHOR = {J. Dassow and G. Paun},
  TITLE = {On the Succinctness of Descriptions of Context-Free Languages by Cooperating Distributed Grammar Systems},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {513-527},
  KEYWORDS = {}}

@article{Lomazova91,
  AUTHOR = {I. A. Lomazova},
  TITLE = {Procedural Implementation of Abstract Data Types: Concept and Connection with Parametrization},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {529-539},
  KEYWORDS = {}}

@article{Anisimov91,
  AUTHOR = {N. A. Anisimov},
  TITLE = {An Algebra of Regular Macronets for Formal Specification of Communication Protocols},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {541-560},
  KEYWORDS = {}}

@article{Sosnowski91,
  AUTHOR = {Z. A. Sosnowski},
  TITLE = {Data Structures for Representing and Processing of Fuzzy Information in LISP},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {561-571},
  KEYWORDS = {}}

@article{Voss91,
  AUTHOR = {K. Voss},
  TITLE = {An Approach to Algebraic Theory of Discrete Signals},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {573-579},
  KEYWORDS = {}}

@article{Kazantsev91,
  AUTHOR = {I. G. Kazantsev},
  TITLE = {The Criterion of the Informative Projection Choice in Computed Tomography},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {581-587},
  KEYWORDS = {}}

@article{Klimes91,
  AUTHOR = {C. Klimes},
  TITLE = {A Task Scheduling Algorithm for Microcomputer Control Systems},
  YEAR = 1991,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {10},
  PAGES = {589-600},
  KEYWORDS = {}}

@article{Jiang92,
  AUTHOR = {Y. J. Jiang},
  TITLE = {Epistemic Logic, Probability Theory and Multiagent Nonmonotonic Reasoning},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {1-22},
  KEYWORDS = {}}

@article{Sridhar:92,
  AUTHOR = {V. Sridhar and M. Narasimha-Murty},
  TITLE = {Nonmonotonic Logics for Belief Revision},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {23-46},
  KEYWORDS = {}}

@article{Tepandi92,
  AUTHOR = {J. Tepandi},
  TITLE = {The Contribution Adequacy Criterion and Its Application for Testing Approximate Knowledge in Expert Systems},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {47-63},
  KEYWORDS = {}}

@article{Grzegorzewicz92,
  AUTHOR = {P. Grzegorzewicz},
  TITLE = {A Concept of Decompositional Approach to Concurrent Systems Design},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {65-82},
  KEYWORDS = {}}

@article{Lunze:92,
  AUTHOR = {J. Lunze and H. P. Scheffler},
  TITLE = {A Knowledge Representation Formalism for Computer-Aided Control Systems Design},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {83-101},
  KEYWORDS = {}}

@article{Petermann92,
  AUTHOR = {U. Petermann},
  TITLE = {How to Build in an Open Theory into Connection Calculi},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {105-142},
  KEYWORDS = {}}

@article{Demetrovics:92,
  AUTHOR = {J. Demetrovics and N. X. Huy},
  TITLE = {Representation of Closure for Functional Multivaluated and Join Dependencies},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {143-154},
  KEYWORDS = {}}

@article{Stahs:92,
  AUTHOR = {T. Stahs and F. Wahl},
  TITLE = {Recognition of Polyhedral Objects under Perspective Views},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {155-172},
  KEYWORDS = {}}

@article{Brause92,
  AUTHOR = {R. Brause},
  TITLE = {Optimal Information Distribution and Performance in Neighbourhood-Conserving Maps for Robot Control},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {173-199},
  KEYWORDS = {}}

@article{Popovici:92,
  AUTHOR = {M. Popovici and D. Grecu},
  TITLE = {SDG: A Chill-Oriented Real-Time Debugging Tool},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {201-211},
  KEYWORDS = {}}

@article{Kelemen92,
  AUTHOR = {J. Kelemen},
  TITLE = {A Note of Learning, Fallibility, and Cognitive Resources Use},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {217-227},
  KEYWORDS = {}}

@article{Fringuelli:92,
  AUTHOR = {B. Fringuelli and S. Marcugini and A. Milani and S. Rivoira},
  TITLE = {FTMS: A Fuzzy Truth Maintenance System},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {229-239},
  KEYWORDS = {}}

@article{Karpov92,
  AUTHOR = {Y. G. Karpov},
  TITLE = {Coherence of Communicating Processes},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {241-252},
  KEYWORDS = {}}

@article{Wuwongse:92,
  AUTHOR = {V. Wuwongse and R. Rusyadi},
  TITLE = {Implementation of a Distributed Deductive Database},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {253-267},
  KEYWORDS = {}}

@article{Sedukhin92,
  AUTHOR = {S. G. Sedukhin},
  TITLE = {Design and Analysis of Systolic Algorithms for the Algebraic Path Problem},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {269-292},
  KEYWORDS = {}}

@article{Gondzio:92,
  AUTHOR = {M. Gondzio and P. Grzegorzewicz},
  TITLE = {On the Transformation of Control-Flow Specifications into Implementations of Distributed Systems: A Case Study},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {293-313},
  KEYWORDS = {}}

@article{Stamm-Wilbrandt:92,
  AUTHOR = {H. {Stamm Wilbrandt} and H. {Kleine B}\"uning},
  TITLE = {Evaluating Production Systems with Delete Is PSpace-Complete Delete Operator},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {321-333},
  KEYWORDS = {}}

@article{Belmesk:92,
  AUTHOR = {M. Belmesk and Z. Habbas},
  TITLE = {A Process Calculus with Shared Variables},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {335-350},
  KEYWORDS = {}}

@article{Morhac:92,
  AUTHOR = {M. Morhac and R. Lorencz},
  TITLE = {A Modular System for Solving Linear Equations Exactly: Architecture and Numerical Algorithms},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {351-361},
  KEYWORDS = {}}

@article{Andonie92,
  AUTHOR = {R. Andonie},
  TITLE = {Gaussian Smoothing by Optimal Iterated Uniform Convolutions},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {363-373},
  KEYWORDS = {}}

@article{Malhotra:92,
  AUTHOR = {V. M. Malhotra and A. Jain},
  TITLE = {On Generating Functional Programs from Prolog Specifications},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {375-384},
  KEYWORDS = {}}

@article{Boguslavsky:92,
  AUTHOR = {M. Boguslavsky and L. L. Tsinman},
  TITLE = {Semantics in a Linguistic Processor},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {385-408},
  KEYWORDS = {}}

@article{Jiang:92,
  AUTHOR = {Q. Jiang and D. Kopec},
  TITLE = {Societal and Technological Problems of Computers},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {409-418},
  KEYWORDS = {}}

@article{Strobl:92,
  AUTHOR = {G. Strobl and D. Dodenh\"oft},
  TITLE = {DFA-XPRT: A Knowledge-Based Approach for Design Analysis in Mechanical Engineering},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {425-456},
  KEYWORDS = {}}

@article{Apolloni92,
  AUTHOR = {B. Apolloni},
  TITLE = {Design of Algorithms for Neural Network Supervised Learning},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {457-480},
  KEYWORDS = {}}

@article{Cherief92,
  AUTHOR = {F. Cherief},
  TITLE = {Investigations of Back and Forth Bisimulations on Prime Event Structures},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {481-496},
  KEYWORDS = {}}

@article{Lorencz:92,
  AUTHOR = {R. Lorencz and M. Morhac},
  TITLE = {Modular System for Solving Linear Equations Exactly: Hardware Realization},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {497-507},
  KEYWORDS = {}}

@article{Stoehr92,
  AUTHOR = {E. A. St\"ohr},
  TITLE = {On Optimal Embeddings of the FFT Graph and the Butterfly Graph into the Hypercube},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {509-516},
  KEYWORDS = {}}

@article{Sakharov92,
  AUTHOR = {A. Sakharov},
  TITLE = {Heuristic Search under Multiple Evaluations},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {521-534},
  KEYWORDS = {}}

@article{Popela:92,
  AUTHOR = {P. Popela and A. Siller and M. Dohnal},
  TITLE = {Linear Qualitative Models: Solution, Application and Engineering Interpretation - Qualitative Algebra},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {535-544},
  KEYWORDS = {}}

@article{Podraza92,
  AUTHOR = {R. Podraza},
  TITLE = {The General Dataflow Model},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {545-557},
  KEYWORDS = {}}

@article{Nissan92,
  AUTHOR = {E. Nissan},
  TITLE = {For a Computational Metamodel of Interpretation Trials: The Case of Etruscan. Insights into the Cultural Dynamics of a Research Community},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {559-583},
  KEYWORDS = {}}

@article{Stefanovic92,
  AUTHOR = {J. Stefanovic},
  TITLE = {Simulation of Digital Circuits on the Register-Transfer Level},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {585-596},
  KEYWORDS = {}}

@article{Curtis92,
  AUTHOR = {K. M. Curtis},
  TITLE = {The Use of Mathematical Symmetry for Low Contrast Image Recognition},
  YEAR = 1992,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {11},
  PAGES = {597-624},
  KEYWORDS = {}}

@article{Kelemen93,
  AUTHOR = {J. Kelemen},
  TITLE = {Distributed AI, Decentralized AI and Multiagent Systems (Foreword)},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {1-4},
  KEYWORDS = {}}

@article{Katz:93,
  AUTHOR = {M. J. Katz and J. S. Rosenschein},
  TITLE = {The Generation and Execution of Plans for Multiple Agents},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {5-35},
  KEYWORDS = {}}

@article{Bussmann:93,
  AUTHOR = {S. Bussmann and J. Mueller},
  TITLE = {A Communication Architecture for Cooperating Agents},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {37-53},
  KEYWORDS = {}}

@article{Burkhard93,
  AUTHOR = {H. D. Burkhard},
  TITLE = {Distribution of Strategies in a Formalism of Multi-Agent Systems},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {55-69},
  KEYWORDS = {}}

@article{Dassow:93,
  AUTHOR = {J. Dassow and Gh. Paun},
  TITLE = {Cooperating/Distributed Grammar Systems with Regular Components},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {71-82},
  KEYWORDS = {}}

@article{Mitrana93,
  AUTHOR = {V. Mitrana},
  TITLE = {Hybrid Cooperating/Distributed Grammar Systems},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {83-88},
  KEYWORDS = {}}

@article{Vicolov93,
  AUTHOR = {S. Vicolov},
  TITLE = {Cooperating/Distributed Grammar Systems with Registers: The Regular Case},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {89-98},
  KEYWORDS = {}}

@article{Csuhaj-Varju:93,
  AUTHOR = {E. {Csuhaj Varju} and J. Dassow},
  TITLE = {A Note on Cooperating Grammars: Terminal Production Suffices},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {99-104},
  KEYWORDS = {}}

@article{Zlotkin:93,
  AUTHOR = {G. Zlotkin and J. S. Rosenschein},
  TITLE = {The Extent of Cooperation in State-Oriented Domains: Negotation Among Tidy Agents},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {105-122},
  KEYWORDS = {}}

@article{Toman93,
  AUTHOR = {E. Toman},
  TITLE = {On the Size of a Neighbourhood of the First Rank},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {123-130},
  KEYWORDS = {}}

@article{Tino:93,
  AUTHOR = {P. Tino and J. Sajda},
  TITLE = {Modification of Objects in a Self-Referencing System},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {131-144},
  KEYWORDS = {}}

@article{Spiliopoulou:93,
  AUTHOR = {M. Spiliopoulou and M. Hatzopoulos and C. Vassilakis},
  TITLE = {Modification of Join Queries Using a Technique of Exhaustive Nature},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {145-166},
  KEYWORDS = {}}

@article{Palko:93,
  AUTHOR = {V. Palko and M. Vajtersic},
  TITLE = {A Parallel Recognition of Lines in Binary Images},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {167-176},
  KEYWORDS = {}}

@article{Ciampolini:93,
  AUTHOR = {A. Ciampolini and A. Corradi and L. Leonardi and A. Venturini},
  TITLE = {Optical Flow Computation on a Transputer-Based Architecture: The Use of a Palallel Object-Oriented Programming Environment},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {177-194},
  KEYWORDS = {}}

@article{Popela:93,
  AUTHOR = {P. Popela and A. Siller and M. Dohnal},
  TITLE = {Linear Qualitative Models: Solution, Application, and Engineering Interpretation - Part II: Methodology, Case Study},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {195-206},
  KEYWORDS = {}}

@article{Lin:93,
  AUTHOR = {F. Lin and T. Shih},
  TITLE = {Verification of Systolic Architecture Designs},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {417-440.},
  KEYWORDS = {}}

@article{Klingler:93,
  AUTHOR = {A. Klingler and V. Penner},
  TITLE = {Parallelizing Recursive Logic Programs through Decomposition},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {441-459},
  KEYWORDS = {}}

@article{Nunes93,
  AUTHOR = {M. G. V. Nunes},
  TITLE = {Cooplan: A Logic-Based Framework for Cooperative Response Generation},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {461-474},
  KEYWORDS = {}}

@article{Knabe93,
  AUTHOR = {F. Knabe},
  TITLE = {A Distributed Protocol for Channel-Based Communication with Choice},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {475-490},
  KEYWORDS = {}}

@article{Pales93,
  AUTHOR = {E. Pales},
  TITLE = {Natural Language Paraphraser: A Computer Tool for Linguists},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {491-510},
  KEYWORDS = {}}

@article{Choras93,
  AUTHOR = {R. S. Choras},
  TITLE = {Identification of Objects in a Robot Vision System},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {511-525},
  KEYWORDS = {}}

@article{Wise93,
  AUTHOR = {M. J. Wise},
  TITLE = {MB-Prolog: Message Brokered Communication between Prolog Processes},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {529-546},
  KEYWORDS = {}}

@article{Ciampolini:93,
  AUTHOR = {A. Ciampolini and A. Corradi and L. Leonardi},
  TITLE = {Semper: A Programming Environment for Parallel Object-Oriented Applications},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {547-570},
  KEYWORDS = {}}

@article{Morhac:93,
  AUTHOR = {M. Morhac and V. Matousek},
  TITLE = {Data Compression Using the Fast Object-Based Transform with Adaptive Structure},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {571-588},
  KEYWORDS = {}}

@article{Blasko93,
  AUTHOR = {R. Blasko},
  TITLE = {Simulation Approach to Design of Dataflow Computer},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {589-606},
  KEYWORDS = {}}

@article{Olej:93,
  AUTHOR = {V. Olej and M. Lehotsky and J. Chmurny},
  TITLE = {Relation between Membership Functions in Fuzzy Sets Theory and Masses in Dempster-Shafer and Operator Theory in Logical Inference Systems},
  YEAR = 1993,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {12},
  PAGES = {607-614},
  KEYWORDS = {}}

@article{Rothe:94,
  AUTHOR = {J. Rothe and J. Vogel},
  TITLE = {A Note on the Polynominal-Time Hierarchy and Probabilistic Operators},
  YEAR = 1994,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {13},
  PAGES = {2-12},
  KEYWORDS = {}}

@article{Gu:94,
  AUTHOR = {Q. Gu and J. Wu and H. Zhu},
  TITLE = {An Online Algorithm of Finding Longest Periodic Subwords},
  YEAR = 1994,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {13},
  PAGES = {13-24},
  KEYWORDS = {}}

@article{Duato94,
  AUTHOR = {J. Duato},
  TITLE = {Improving the Efficiency of Virtual Channels with Time-Dependent Selection Functions},
  YEAR = 1994,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {13},
  PAGES = {25-44},
  KEYWORDS = {}}

@article{Belmesk94,
  AUTHOR = {Z. Belmesk},
  TITLE = {An Efficient Implementation Model for the FP2 Parallel Language and a Proposition of a Non-Interleaving Semantics},
  YEAR = 1994,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {13},
  PAGES = {45-71},
  KEYWORDS = {}}

@article{Bahsoun94,
  AUTHOR = {J. P. Bahsoun},
  TITLE = {Designing Reusable Parallel Software Components},
  YEAR = 1994,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {13},
  PAGES = {73-90},
  KEYWORDS = {}}

@article{Voeroes94,
  AUTHOR = {J. Voeroes},
  TITLE = {Top-Down Generation of Quadtree Representation Using Color-Change-Code},
  YEAR = 1994,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {13},
  PAGES = {91-103},
  KEYWORDS = {}}

@article{Seipel94,
  AUTHOR = {D. Seipel},
  TITLE = {Graph-Based Processing of Logic Programs},
  YEAR = 1994,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {13},
  PAGES = {107-132},
  KEYWORDS = {}}

@article{Dorbie94,
  AUTHOR = {G. Dorbie},
  TITLE = {Representing Inheritance and Overriding in Datalog},
  YEAR = 1994,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {13},
  PAGES = {133-158},
  KEYWORDS = {}}

@article{You:94,
  AUTHOR = {J.-H. You and L. Y. Yuan and L. Li},
  TITLE = {Construction of Belief Sets for Logic Programs and Default Theories},
  YEAR = 1994,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {13},
  PAGES = {159-178},
  KEYWORDS = {}}

@article{Chaudhuri94,
  AUTHOR = {S. Chaudhuri},
  TITLE = {Runtime Redundancy Properties of Datalog Programs},
  YEAR = 1994,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {13},
  PAGES = {179-199},
  KEYWORDS = {}}

@article{Mumick:94,
  AUTHOR = {I. S. Mumick and H. Pirahesh and R. Ramakrishnan},
  TITLE = {Adornments in Database Programs},
  YEAR = 1994,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {13},
  PAGES = {201-231},
  KEYWORDS = {}}

@article{Gross:94,
  AUTHOR = {R. Gross and R. Marti},
  TITLE = {Handling Constraints and Generating Intensional Answers in a Deductive Database System},
  YEAR = 1994,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {13},
  PAGES = {233-256},
  KEYWORDS = {}}

@article{Azevedo:94,
  AUTHOR = {P. J. Azevedo and M. J. Sergot},
  TITLE = {A Proof Procedure Based on Recomputation-Free Lemmatization},
  YEAR = 1994,
  JOURNAL = {Computers and Artificial Intelligence},
  VOLUME = {13},
  PAGES = {257-273},
  KEYWORDS = {}}