The design and implementation of VAMPIRE

Alexandre Riazanov; Andrei Voronkov

首页> 外文期刊>AI communications >The design and implementation of VAMPIRE

【24h】

The design and implementation of VAMPIRE

机译：VAMPIRE的设计与实现

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this article we describe VAMPIRE: a high-performance theorem prover for first-order logic. As our description is mostly targeted to the developers of such systems and specialists in automated reasoning, it focuses on the design of the system and some key implementation features. We also analyze the performance of the prover at CASC-JC.

机译：在本文中，我们描述了VAMPIRE：一阶逻辑的高性能定理证明者。由于我们的描述主要针对此类系统的开发人员和自动化推理方面的专家，因此它着重于系统的设计和一些关键的实现功能。我们还将分析CASC-JC证明者的表现。

著录项

来源
《AI communications》 |2002年第3期|p.91-110|共20页
作者
Alexandre Riazanov; Andrei Voronkov;
展开▼
作者单位

Computer Science Department, University of Manchester, Oxford Road, Manchester, M13 9PL, UK;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类人工智能理论;
关键词
resolution theorem proving; VAMPIRE;

机译：分辨率定理证明;吸血鬼;

相似文献

外文文献
中文文献
专利

1. Stakes or garlic? Studying the emergence of dominant designs through an agent-based model of a vampire economy [J] . Michelle D. Haurand, Christian Stummer Central European journal of operations research: CEJOR . 2018,第2期

机译：赌注或大蒜？通过基于代理的吸血鬼经济模型研究主导设计的出现
2. Design of a novel chimeric tissue plasminogen activator with favorable Vampire bat plasminogen activator properties [J] . MohammadReza Kazemali, Keivan Majidzadeh-A, Soroush Sardari Enzyme and Microbial Technology . 2014,第Null期

机译：具有吸血蝙蝠纤溶酶原激活剂特性的新型嵌合组织纤溶酶原激活剂的设计
3. Interfleet uses VAMPIRE to sink teeth into Chinese bogie design [J] . Modern Railways . 2009,第735期

机译：Interfleet使用VAMPIRE使牙齿陷入中国转向架设计
4. A Theil Index-Based Countermeasure Against Advanced Vampire Attack in Internet of Things [C] . Cong Pu, Jacqueline Brown, Logan Carpenter IEEE International Conference on High Performance Switching and Routing . 2020

机译：基于泰尔指数的物联网高级吸血鬼攻击对策
5. The Dance of the Vampires: A Gothic Ballad with a Hint of Garlic. Adaptation by Tatyana Wilds from 'Dance of the Vampires', a musical by Jim Steinman [D] . Wilds, Tatyana V. 2013

机译：吸血鬼之舞：带有大蒜味的哥特式民谣。 Tatyana Wilds改编自Jim Steinman的音乐剧《吸血鬼之舞》
6. Detection of multiple strains of rabies virus RNA using primers designed to target Mexican vampire bat variants. [O] . E. Loza-Rubio, E. Rojas-Anaya, V. M. Banda-Ruíz, 2005

机译：使用针对墨西哥吸血蝙蝠变异体设计的引物检测狂犬病毒RNA的多种病毒株。
7. Ghettoized Vampires. A study of children's vampire literature and its significance for the vampire literature genre [O] . Kostenniemi Peter 2013

机译：Ghettoized吸血鬼。儿童吸血鬼文学研究及其对吸血鬼文学体裁的意义

The design and implementation of VAMPIRE

摘要

著录项

相似文献

相关主题

期刊订阅