Hybrid Categorial Logics.

Published in: Log. J. IGPL (1995)

Keyphrases

expressive power
databases
computer vision
modal logic
data sets
decision trees
information extraction
higher order
inference rules
nonmonotonic logics
propositional dynamic logic