A Catalog of Weak Many-Valued Modal Axioms and their Corresponding Frame Classes.

Costas D. Koutras

Published in: J. Appl. Non Class. Logics (2003)

Keyphrases

modal logic
knowledge base
temporal logic
data mining
frame rate
real time
learning algorithm
knowledge representation
inference rules