Empirically successful automated reasoning: Applications issue

被引：0
|
作者：
Fischer, Bernd [1 ]
Sutcliffe, Geoff
Schulz, Stephan
机构：
[1] Univ Southampton, Southampton, Hants, England
[2] Univ Miami, Coral Gables, FL 33124 USA
[3] Tech Univ Munich, D-8000 Munich, Germany
来源：
JOURNAL OF AUTOMATED REASONING | 2006年 / 37卷 / 1-2期
关键词：
Mathematical Logic; Formal Language; Theorem Prove; Algebraic Manipulation; Program Committee;
D O I：
10.1007/s10817-006-9056-8
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
No abstract available
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [31] AUTOMATED REASONING - THEORY
    HUMPERT, B
    [J]. HELVETICA PHYSICA ACTA, 1986, 59 (6-7): : 1264 - 1264
  • [32] The flowering of automated reasoning
    Wos, L
    [J]. MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 204 - 227
  • [33] Automated Reasoning in the Wild
    Furbach, Ulrich
    Pelzer, Bjoern
    Schon, Claudia
    [J]. AUTOMATED DEDUCTION - CADE-25, 2015, 9195 : 55 - 72
  • [34] METHODS OF AUTOMATED REASONING
    BIBEL, W
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 232 : 171 - 217
  • [35] Automated Reasoning for Mathematics
    Avigad, Jeremy
    [J]. AUTOMATED REASONING, IJCAR 2024, PT I, 2024, 14739 : 3 - 20
  • [36] SUCCESSFUL ISSUE
    LOWE, JE
    [J]. JOURNAL OF FORESTRY, 1993, 91 (06) : 5 - 5
  • [37] Reasoning with premises that are not empirically true: Evidence for the role of inhibition and retrieval
    Simoneau, M
    Markovits, H
    [J]. DEVELOPMENTAL PSYCHOLOGY, 2003, 39 (06) : 964 - 975
  • [38] Automated Reasoning and Learning for Automated Payroll Management
    Dumancic, Sebastijan
    Meert, Wannes
    Goethals, Stijn
    Stuyckens, Tim
    Huygen, Jelle
    Denies, Koen
    [J]. THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 15107 - 15116
  • [39] Special issue on stream reasoning
    Dell'Aglio, Daniele
    Eiter, Thomas
    Heintz, Fredrik
    Danh Le-Phuoc
    [J]. SEMANTIC WEB, 2019, 10 (03) : 453 - 455
  • [40] Special issue on goal reasoning
    Roberts, Mark
    Borrajo, Daniel
    Cox, Michael
    Yorke-Smith, Neil
    [J]. AI COMMUNICATIONS, 2018, 31 (02) : 115 - 116
12345