Logics of Kripke meta-models.

Sergey Babenyshev Vladimir V. Rybakov

Published in: Log. J. IGPL (2010)

Keyphrases

inference rules
accurate models
database
website
probabilistic model
modal logic
data mining
information systems
decision making
complex systems
first order logic
computational models