Concerning the proper axioms of S4.02.

Boleslaw Sobocinski

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

Keyphrases

knowledge base
multiscale
artificial neural networks
information systems
feature selection
case study
reinforcement learning
management system
logic programs
first order logic
set theory
axiomatic characterization