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 条

[21] CAN SUCCESSFUL TEACHING BE EMPIRICALLY DETERMINED
CHEONG, GSC
[J]. JOURNAL OF TEACHER EDUCATION, 1970, 21 (02) : 185 - 188
[22] Automated reasoning
Gavanelli, Marco
Mancini, Toni
[J]. INTELLIGENZA ARTIFICIALE, 2013, 7 (02) : 113 - 124
[23] AUTOMATED REASONING
WOS, L
[J]. AMERICAN MATHEMATICAL MONTHLY, 1985, 92 (02): : 85 - 92
[24] Editorial for Special Issue on Commonsense Knowledge and Reasoning: Representation, Acquisition and Applications
Liu, Kang
Song, Yangqiu
Pan, Jeff Z.
[J]. MACHINE INTELLIGENCE RESEARCH, 2024, 21 (02) : 215 - 216
[25] Special issue - Engineering applications of case-based reasoning - Preface
Bergmann, R
[J]. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 1999, 12 (06) : 661 - 663
[26] An empirically supported approach to the treatment of imprecision in vague reasoning
Benito, Gael Velasco
Cerdeirina, Alejandro Sobrino
Bugarin-Diz, Alberto
[J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2023, 161
[27] Special issue: Reasoning
Yama, H
Manktelow, KI
[J]. PSYCHOLOGIA, 2004, 47 (04) : 205 - 206
[28] Empirically certified treatments or therapists: The issue of separability
Krause, Merton S.
Lutz, Wolfgang
Saunders, Stephen M.
[J]. PSYCHOTHERAPY, 2007, 44 (03) : 347 - 353
[29] AN OVERVIEW OF AUTOMATED REASONING
POST, S
SAGE, AP
[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1990, 20 (01): : 202 - 224
[30] Introduction to special issue on empirically validated treatments
Hudson, A
[J]. BEHAVIOUR CHANGE, 1997, 14 (01) : 1 - 1

← 1 2 3 4 5 →