Terminating Tableau Calculi for Hybrid Logics Extending K.

Thomas Bolander Patrick Blackburn

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

sequent calculi
description logics
expressive power
hybrid approaches
neural network
modal logic
logic programs
data sets
data mining
learning algorithm
decision making
inference rules
hybrid learning
computational properties
automated theorem proving