How to identify, translate and combine logics?

Published in: J. Log. Comput. (2017)

Keyphrases

expressive power
modal logic
database
computer vision
bayesian networks
data sets
real world
logic programs
inference rules
combining multiple