Disjunctive extensions of S4 and a conjecture of Goldblatt's.

George F. Schumm

Published in: Math. Log. Q. (1975)

Keyphrases

neural network
databases
cooperative
efficient implementation
database
information retrieval
learning algorithm
multimedia
database systems
similarity measure
objective function
optimal solution
natural language
expert systems
wireless sensor networks