资源分类
》 资源 》论文》ksp a resolution based prover for multimodal k abridged report

ksp a resolution based prover for multimodal k abridged report

2019-10-31 | |  37 |   34 |   0
Abstract We briefly describe an implementation of a hyperresolution-based calculus for the propositional basic multimodal logic, Kn . The prover, KSP, which allows for both local and global reasoning, is designed to support experimentation with different combinations of refinements for its basic calculus. We present an experimental evaluation that compares KSP with a range of existing reasoners for Kn .

上一篇：bayesian dynamic mode decomposition

下一篇：deepam migrate apis with multi modal sequence to sequence learning

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...