AUTOMATED REASONING - APPLICATIONS

被引：0
|
作者：
HUMPERT, B [1 ]
机构：
[1] HASLER RES LABS, CH-3000 BERN, SWITZERLAND
来源：
HELVETICA PHYSICA ACTA | 1986年 / 59卷 / 6-7期
关键词：
D O I：
暂无
中图分类号：
O4 [物理学];
学科分类号：
0702 ;
摘要：
引用
收藏
页码：1264 / 1264
页数：1
相关论文
共 50 条
  • [31] Automated reasoning on monotonic constraints
    Bordeaux, L
    Benhamou, F
    [J]. 12TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, : 401 - 404
  • [32] Automated Reasoning with Power Maps
    Moghaddam, G. I.
    Padmanabhan, R.
    Zhang, Yang
    [J]. JOURNAL OF AUTOMATED REASONING, 2020, 64 (04) : 689 - 697
  • [33] ON THE USE OF AUTOMATED REASONING SYSTEMS
    HUMPERT, B
    [J]. HELVETICA PHYSICA ACTA, 1987, 60 (02): : 338 - 352
  • [34] Experiments with Automated Reasoning in the Class
    Dramnesc, Isabela
    Abraham, Erika
    Jebelean, Tudor
    Kusper, Gabor
    Stratulat, Sorin
    [J]. INTELLIGENT COMPUTER MATHEMATICS, CICM 2022, 2022, 13467 : 287 - 304
  • [35] Automated Reasoning in the Age of the Internet
    Bundy, Alan
    Nuamah, Kwabena
    Lucas, Christopher
    [J]. ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION (AISC 2018), 2018, 11110 : 3 - 18
  • [36] Informational logic for automated reasoning
    Forcheri, P
    Gentilini, P
    Molfino, MT
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 354 - 372
  • [37] Journal of Automated Reasoning: Preface
    Giesl, Jurgen
    Kapur, Deepak
    [J]. Journal of Automated Reasoning, 2005, 34 (02): : 103 - 104
  • [38] Automated Reasoning with Power Maps
    G. I. Moghaddam
    R. Padmanabhan
    Yang Zhang
    [J]. Journal of Automated Reasoning, 2020, 64 : 689 - 697
  • [39] Knowledge Representation for Automated Reasoning
    Jozefowska, Joanna
    [J]. AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PT I, PROCEEDINGS, 2010, 6070 : 6 - 11
  • [40] A short survey of automated reasoning
    Harrison, John
    [J]. ALGEBRAIC BIOLOGY, PROCEEDINGS, 2007, 4545 : 334 - 349
12345