Family K of the non-Lewis modal systems.

Boleslaw Sobocinski

Published in: Notre Dame J. Formal Log. (1964)

Keyphrases

databases
expert systems
retrieval systems
computing systems
database
genetic algorithm
information systems
knowledge base
multiscale
optimal solution
search algorithm
management system
distributed systems
computer systems
building blocks
learning systems