Algorithms for recognizing formulas with none-stable truth values in branching time logic.

Vladimir V. Rybakov

Published in: KES (2023)

Keyphrases

truth values
inference rules
multi valued
learning algorithm
temporal reasoning
epistemic logic
boolean logic
database systems
bayesian networks
computational complexity
knowledge representation
worst case
data mining algorithms
fixpoint