A contribution to the axiomatization of Lewis' system S5.

Boleslaw Sobocinski

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

Keyphrases

decision making
knowledge representation
medical images
significant contribution
databases
high level
objective function
np hard
probabilistic model
co occurrence