资源分类
》 资源 》论文》Prime Implicate Generation in Equational Logic (extended abstract)?

Prime Implicate Generation in Equational Logic (extended abstract)?

2019-11-06 | |  62 |   48 |   0
Abstract A procedure is proposed to efficiently generate sets of ground implicates of first-order formulas with equality. It is based on a tuning of the superposition calculus [Nieuwenhuis and Rubio, 2001], enriched with rules that add new hypotheses on demand during the proof search. Experimental results are presented, showing that the proposed approach is more efficient than state-of-the-art systems.

上一篇：From Feature to Paradigm: Deep Learning in Machine Translation (Extended Abstract)

下一篇：Learning Explanatory Rules from Noisy Data (Extended Abstract)?

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

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

  • Rating-Boosted La...

    The performance of a recommendation system reli...