The state of CASC

Geoff Sutcliffe; Christian Suttner

首页> 外文期刊>AI communications >The state of CASC

【24h】

The state of CASC

机译：CASC的状态

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems - the world championship for such systems. This paper captures the state of CASC after CASC-20, the tenth CASC, held in 2005. It provides a summarized history of CASC, details of the current design of the competition, observations and discussion of the effects of CASC on ATP, lessons learnt during CASC, and remarks regarding the past, present, and future of CASC.

机译：CADE ATP系统竞赛（CASC）是对全自动一阶自动定理证明系统-此类系统的世界冠军的年度评估。本文记录了2005年举行的CASC第十届CASC-20之后的CASC状况。它概述了CASC的历史，当前比赛的详细信息，CASC对ATP的影响的观察和讨论以及所汲取的经验教训在CASC期间，以及关于CASC的过去，现在和未来的评论。

著录项

来源
《AI communications》 |2006年第1期|p.35-48|共14页
作者
Geoff Sutcliffe; Christian Suttner;
展开▼
作者单位

Department of Computer Science, University of Miami, USA;

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

机译：竞争;自动定理证明;

相似文献

外文文献
中文文献
专利

1. lncRNA CASC2 downregulation participates in rheumatoid arthritis, and CASC2 overexpression promotes the apoptosis of fibroblast-like synoviocytes by downregulating IL-17 [J] . Molecular medicine reports . 2020,第5期

机译：LNCRNA Casc2下调参与类风湿性关节炎，Casc2过表达通过下调IL-17促进成纤维细胞样Synociytes的凋亡
2. AKTions by Cytoplasmic lncRNA CASC9 CASC9 Promote Hepatocellular Carcinoma Survival [J] . Noh Ji Heon, Gorospe Myriam Hepatology: Official Journal of the American Association for the Study of Liver Diseases . 2018,第5期

机译：通过细胞质Lncrna Casc9 Casc9促进肝细胞癌生存
3. CASC CASC 2: An emerging tumour‐suppressing long noncoding RNA RNA in human cancers and melanoma [J] . Yu Xin, Zheng Heyi, Tse Gary, Cell Proliferation . 2018,第6期

机译：Casc Casc 2：人类癌症和黑色素瘤中出现的肿瘤抑制长的无量子RNA
4. The CADE-27 ATP System Competition - CASC-27 [C] . Geoff Sutcliffe International conference on automated deduction . 2019

机译：CADE-27 ATP系统竞赛-CASC-27
5. The CASC Framework: An Assessment Model for Students with Intellectual and Developmental Disabilties [D] . Snider, Laurel A. 2020

机译：CASC框架：具有智力和发展残疾学生的评估模型
6. LncRNA CASC15 is Upregulated in Osteosarcoma Plasma Exosomes and CASC15 Knockdown Inhibits Osteosarcoma Progression by Regulating miR-338-3p/RAB14 Axis [O] . Hongliang Zhang, Jun Wang, Tingting Ren, 2020

机译：LNCRNA Casc15在骨肉瘤血浆外泌体中升高Casc15敲低通过调节miR-338-3p / rab14轴来抑制骨肉瘤进展
7. Long non-coding RNA CASC2 suppresses epithelial-mesenchymal transition of hepatocellular carcinoma cells through CASC2/miR-367/FBXW7 axis [O] . Yufeng Wang, Zhikui Liu, Bowen Yao, 2017

机译：长期非编码RNA Casc2通过Casc2 / miR-367 / FBXW7轴抑制肝细胞癌细胞的上皮 - 间充质转变

The state of CASC

摘要

著录项

相似文献

相关主题

期刊订阅