Login / Signup
A Context Dependent Equivalence Relation between Kripke Structures.
Bernhard Josko
Published in:
CAV (DIMACS/AMS volume) (1990)
Keyphrases
</>
context dependent
equivalence relation
rough set theory
context free
low level
natural language
topological spaces
modal logic
high level
rough sets
computational intelligence
desirable properties
pattern recognition
genetic programming
numerical data