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

来源：

关键词：

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 条

[41] Special Issue on Nonmonotonic Reasoning
Benferhat, S
Giunchiglia, E
[J]. ARTIFICIAL INTELLIGENCE, 2004, 157 (1-2) : 1 - 3
[42] Special Issue: Uncertain Reasoning
Kaci, Souhila
Mercer, Robert
Thimm, Matthias
[J]. JOURNAL OF APPLIED LOGIC, 2017, 22 : 1 - 2
[43] Inductive Benchmarks for Automated Reasoning
Hajdu, Marton
Hozzova, Petra
Kovacs, Laura
Schoisswohl, Johannes
Voronkov, Andrei
[J]. INTELLIGENT COMPUTER MATHEMATICS (CICM 2021), 2021, 12833 : 124 - 129
[44] Automated reasoning in deontic logic
Furbach, Ulrich
Schon, Claudia
Stolzenburg, Frieder
[J]. Furbach, Ulrich, 1600, Springer Verlag (8875): : 57 - 68
[45] Automated reasoning in kleene algebra
Hoefner, Peter
Struth, Georg
[J]. AUTOMATED DEDUCTION - CADE-21, PROCEEDINGS, 2007, 4603 : 279 - +
[46] Automated Reasoning for Regulatory Compliance
Siena, Alberto
Ingolfo, Silvia
Perini, Anna
Susi, Angelo
Mylopoulos, John
[J]. CONCEPTUAL MODELING, ER 2013, 2013, 8217 : 47 - +
[47] Journal of Automated Reasoning: Preface
[J]. Felty, A.P., 1600, Kluwer Academic Publishers (31): : 3 - 4
[48] AUTOMATED REASONING WITH CONTOUR MAPS
CRONIN, T
[J]. COMPUTERS & GEOSCIENCES, 1995, 21 (05) : 609 - 618
[49] AUTOMATED REASONING ABOUT MACHINES
GELSEY, A
[J]. ARTIFICIAL INTELLIGENCE, 1995, 74 (01) : 1 - 53
[50] Combined reasoning by automated cooperation
Benzmüller, Christoph
Sorge, Volker
Jamnik, Mateja
Kerber, Manfred
[J]. Journal of Applied Logic, 2008, 6 (03) : 318 - 342