Modal Logics for Local and Global Similarity Relations.

Ana Deneva Dimiter Vakarelov

Published in: Fundam. Informaticae (1997)

Keyphrases

modal logic
similarity relations
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
default logic
situation calculus
model checking
pattern recognition
machine learning
artificial intelligence
data analysis
fuzzy sets