Vol 14, No 3 (1995)

Computers and Artificial Intelligence

Table of Contents


Default Reasoning in a Terminological Logic
F. Sebastiani, U. Straccia 225-251
Models and Properties of Abstract Symbol Systems
D. Jakuš 253-270
On Epistasis
H. van Hove, A. Verschoren 271-277
Armstrong Relations, Functional Dependencies and Strong Dependencies
J. Demetrovics, Vu Duc Thi 279-298
Implementation Analysis of Fast Matrix Multiplication Algorithms on Shared Memory Computers
E. Francomano, A. Tortotici Macaluso, M. Vajteršic 299-313

ISSN: 2585-8807