System description: MULTI a multi-strategy proof planner

被引：0
|
作者：
Meier, A [1 ]
Melis, E [1 ]
机构：
[1] DFKI, German Res Ctr Artifical Intelligence, Saarbrucken, Germany
来源：
AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS | 2005年 / 3632卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：250 / 254
页数：5
相关论文
共 50 条
  • [1] A Multi-Strategy Path Planner Based on Space Accessibility
    Hang, Meng
    Lin, Mengxiang
    Li, Shangzhe
    Chen, Zhixin
    Ding, Rong
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND BIOMIMETICS (IEEE ROBIO 2017), 2017, : 2154 - 2161
  • [2] MULTI-STRATEGY BUILDINGS
    WEEKS, J
    [J]. EKISTICS, 1971, 31 (186): : 367 - 371
  • [3] Assessment of a multi-strategy classifier for an embedded software system
    Khoshgoftaar, Taghi M.
    Gao, Kehan
    [J]. ICTAI-2006: EIGHTEENTH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, : 651 - +
  • [4] Multi-strategy Differential Evolution
    Yaman, Anil
    Iacca, Giovanni
    Coler, Matt
    Fletcher, George
    Pechenizkiy, Mykola
    [J]. APPLICATIONS OF EVOLUTIONARY COMPUTATION, EVOAPPLICATIONS 2018, 2018, 10784 : 617 - 633
  • [5] Multi-strategy and multi-algorithm cochlear prostheses
    Mouïne, J
    Chtourou, Z
    [J]. BIOMEDICAL SCIENCES INSTRUMENTATION, VOL 36, 2000, 395 : 233 - 238
  • [6] Research of evaluation index system model based on the multi-strategy
    Zhang, Yamei
    [J]. MECHATRONICS, ROBOTICS AND AUTOMATION, PTS 1-3, 2013, 373-375 : 2232 - 2236
  • [7] A Multi-Strategy Approach for Global Maritime Distress and Safety System
    Ahmed, Tauseef
    Jiang, Tao
    [J]. PROCEEDINGS OF ISCRAM CHINA 2010: FOURTH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS FOR CRISIS RESPONSE AND MANAGEMENT, 2010, : 356 - 361
  • [8] On a multi-strategy approach in evolutionary computation
    Dubois, L
    Fukuda, T
    [J]. 1996 IEEE INTERNATIONAL CONFERENCE ON EVOLUTIONARY COMPUTATION (ICEC '96), PROCEEDINGS OF, 1996, : 576 - 580
  • [9] The CLARION® Multi-Strategy™ Cochlear Implant
    Kessler, DK
    [J]. ANNALS OF OTOLOGY RHINOLOGY AND LARYNGOLOGY, 1999, 108 (04): : 8 - 16
  • [10] Multi-Strategy to Improve Reading Comprehension
    Du, Yongping
    He, Ming
    [J]. 2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, VOLS 1 AND 2, PROCEEDINGS, 2008, : 86 - 89
12345