首页> 外文OA文献 >multiPRover: Generating Multiple Proofs for Improved Interpretability in Rule Reasoning

【2h】

multiPRover: Generating Multiple Proofs for Improved Interpretability in Rule Reasoning

机译：MultiProver：为改善规则推理的解释性产生多种证据

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Swarnadeep Saha; Prateek Yadav; Mohit Bansal;
展开▼
作者单位

展开▼
年度 2021
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A New Proof of Nonsignalling Multiprover Parallel Repetition Theorem [J] . Himanshu Tyagi, Shun Watanabe Electronic Colloquium on Computational Complexity . 2019,第4期

机译：非信号多重证明并行重复定理的新证明
2. Perfect zero knowledge for quantum multiprover interactive proofs [J] . Alex Bredariol Grilo, William Slofstra, Henry Yuen Electronic Colloquium on Computational Complexity . 2019,第4期

机译：量子多证明人交互式证明的完美零知识
3. QUANTUM MULTIPROVER INTERACTIVE PROOFS WITH COMMUNICATING PROVERS [J] . MICHAEL BEN-OR, AVINATAN HASSIDIM, HARAN PILPEL SIAM Journal on Computing . 2014,第3期

机译：具有通信证明的QUANTUM MULTIPROVER交互式协议
4. multiPRover: Generating Multiple Proofs for Improved Interpretability in Rule Reasoning [C] . Swarnadeep Saha, Prateek Yadav, Mohit Bansal Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies . 2021

机译：MultiPRover：生成多种证明，以提高规则推理中的解释性
5. A machine-aided approach to generating grammar rules from Japanese source text for use in hybrid and rule-based machine translation systems. [D] . Jones, Sean. 2015

机译：一种从日语源文本生成语法规则的机器辅助方法，用于混合和基于规则的机器翻译系统。
6. Mechanisms of Rule Acquisition and Rule Following in Inductive Reasoning [O] . Cristiano Crescentini, Shima Seyed-Allaei, Nicola De Pisapia, 2011

机译：归纳推理中的规则获取和规则遵循机制
7. A Multiprover Interactive Proof System for the Local Hamiltonian Problem [O] . Fitzsimons Joseph, Vidick Thomas 2015

机译：局部哈密顿问题的多重证明者交互式证明系统
8. Development of Semantic Web - Markup Languages, Web Services, Rules, Explanation, Querying, Proof and Reasoning; Final technical rept. Jun 2000-Apr 2008 [R] . McGuinness, D. 2008

机译：语义Web的开发 - 标记语言，Web服务，规则，解释，查询，证明和推理;最后的技术部门。 2000年6月至2008年4月

multiPRover: Generating Multiple Proofs for Improved Interpretability in Rule Reasoning

著录项

引文网络

相似文献

相关主题

期刊订阅