Hybrid logics with Sahlqvist axioms.

Balder ten Cate Maarten Marx Jorge Petrucio Viana

Published in: Log. J. IGPL (2005)

Keyphrases

expressive power
first order logic
modal logic
knowledge base
computational properties
real time
machine learning
computer vision
bayesian networks
search algorithm
inference rules
hybrid learning
classical logic