From information systems to knowledge systems

This publication has 4 references indexed in Scilit:

• Vivid Logic
  Published by Springer Nature ,1994
• Safety and translation of relational calculus
  ACM Transactions on Database Systems, 1991
• Foundations of a functional approach to knowledge representation
  Artificial Intelligence, 1984
• Constructible falsity and inexact predicates
  The Journal of Symbolic Logic, 1984