A focused approach to combining logics.

Chuck C. Liang Dale Miller

Published in: Ann. Pure Appl. Log. (2011)

Keyphrases

case study
real time
optimal solution
relational databases
modal logic
inference rules
data sets
machine learning
clustering algorithm
three dimensional
combining multiple