Effective Interpolation and Preservation in Guarded Logics.

Michael Benedikt Balder ten Cate Michael Vanden Boom

Published in: ACM Trans. Comput. Log. (2016)

Keyphrases

expressive power
database
real world
decision trees
high quality
artificial intelligence
clustering algorithm
inference rules