Computers and Artificial Intelligence, Vol. 14, 1995

Volume 14, Number 1, 1995

Timothy K. Shih, Fuyau Lin: An Operational Semantics Approach to Disciplined Exceptions in Logic Programming.
Gary S. H. Tan, Wei-Ngan Chin: Load Balancing and Scheduling in a Neighbourhood-Based Multiprocessor.
Yong Meng Teo: Managing Parallelism in Parallel Systems.
Václav Dvorák, Jaroslav Sustr: A Synthesis of Sub-Optimal Decision Programs.

Pedro López, José Duato: Deadlock-Free Fully-Adaptive Minimal Routing Algorithms: Limitations and Solutions.
Viktor Cingel, P. Fric: An Event-Driven Net Based Simulation Methodology within a Knowledge-Based Framework.
Mukesh K. Mohania, Nandlal L. Sarda: A Framework for Cooperative Deductive Database Systems.
Luc Moreau: A Parallel Functional Language with First-Class Continuations. Programming Style and Semantics.
J. Blatný, D. Bartonek: The Hardware Accelerator SFDL/SCL.

Fabrizio Sebastiani, Umberto Straccia: Default Reasoning in a Terminological Logic.
D. Jakus: Models and Properties of Abstract Symbol Systems.
Hugo Van Hove, Alain Verschoren: On Epistasis.
János Demetrovics, Vu Duc Thi: Armstrong Relations, Functional Dependencies and Strong Dependencies.
E. Francomano, A. Tortorici Macaluso, Marián Vajtersic: Implementation Analysis of Fast Matrix Multiplication Algorithms on Shared Memory Computers.

Shie-Jue Lee, Mu-Tune Jone: A Symbolic Logic Approach of Deriving Initial Neural Network Configurations for Supervised Classification.
Borut Robic, Jurij Silc: Algorithm Mapping with Parallel Simulated Annealing.
Erricos John Kontoghiorghes, M. R. B. Clarke: Solving the General Linear Model on a SIMD Array Processor.
Roman Blasko: Performance Prediction and Expert Adviser for Automatic Parallelisation of Fortran Programs.
T. Okamoto, Y. Ueda, M. Kunishige: The Distributed Multimedia Learning Environment Employing Gaming-Simulation Method with Expert Systems in the World of Macro Economics.

K. Robeys, Hugo Van Hove, Alain Verschoren: Genetic Algorithms and Trees. Part II: Strategy Trees (The Variable Width Case).
Miroslav Morhác: Comparison of Several Error-Free Algorithms to Solve Vandermonde Systems.
János Demetrovics, Vu Duc Thi: Some Observations on the Minimal Armstrong Relations for Normalised Relation Schemes.
F. Arcelli, Massimo De Santo, Michele Di Santo, Antonio Picariello: Investigating the Use of Actors for Computer Vision Applications.
J. Kepka: A Brief Survey on Control Strategies in Pattern Analysis.
J. Blatný, Zdenek Kotásek: I-Path Analysis.

Yoram Moses, Moshe Tennenholtz: Artificial Social Systems.
Shie-Jue Lee, David A. Plaisted: Controlling the Consumption of Storage with Sliding Priority Search in a Hyper-Linking Based Theorem Prover.
Bernd Freisleben, Thilo Kielmann: Automated Transformation of Sequential Divide-And-Conquer Algorithms into Parallel Programs.
Chul E. Kim, Ivan Stojmenovic: Sequential and Parallel Approximate Convex Hull Algorithms.
V. E. Kotov, S. A. Starkova, I. B. Virbitskaite: On Varieties of Density and Crossing Properties for Event Structures.