Refining Labelled Systems for Modal and Constructive Logics with Applications.

Published in: CoRR (2021)

Keyphrases

modal logic
expert systems
management system
expressive power
data sets
database
machine learning
information retrieval
learning algorithm
computer vision
website
database systems
user interface
knowledge based systems
learning systems
inference rules