Concerning some extensions of S4.

Boleslaw Sobocinski

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

Keyphrases

decision making
expert systems
user interface
default logic
real time
databases
neural network
machine learning
training data