Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces.

Published in: WoLLIC (2017)

Keyphrases

modal logic
hausdorff distance
real world
machine learning
nonmonotonic logics
data sets
information retrieval
genetic algorithm
multimedia
artificial neural networks
long term
straight line
temporal logic