A1 is not a conservative extension of S4 but of S5.

Published in: J. Philos. Log. (1989)

Keyphrases

metadata
digital libraries
multimedia
information retrieval
database
real world
data mining
social networks
reinforcement learning
cooperative
feature space