Vol. 14 No. 3 (1995): Computers and Artificial Intelligence

Articles

• 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