A Family of Neighborhood Contingency Logics.

Published in: Notre Dame J. Formal Log. (2019)

Keyphrases

expressive power
modal logic
inference rules
nonmonotonic logics
neighborhood information
data sets
machine learning
information retrieval
computer vision
multiscale
data structure
knowledge representation
description logics
classical logic
computational properties
neighborhood structure