Effective interpolation and preservation in guarded logics.

Michael Benedikt Balder ten Cate Michael Vanden Boom

Published in: CSL-LICS (2014)

Keyphrases

data mining
artificial intelligence
case study
expressive power
modal logic
computationally efficient
digital objects
decision procedures