MATHEMATICAL REASONING AND EXTERNAL SYMBOLIC SYSTEMS

被引：0
|
作者：
Novaes, Catarina Dutilh [1 ]
机构：
[1] Univ Groningen, Fac Philosophy, NL-9712 GL Groningen, Netherlands
来源：
LOGIQUE ET ANALYSE | 2013年 / 221期
关键词：
OKSAPMIN;
D O I：
暂无
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
引用
收藏
页码：45 / 65
页数：21
相关论文
共 50 条
  • [1] Structures for symbolic mathematical reasoning and computation
    Homann, K
    Calmet, J
    DESIGN AND IMPLEMENTATION OF SYMBOLIC COMPUTATION SYSTEMS, 1996, 1128 : 216 - 227
  • [2] Structures for symbolic mathematical reasoning and computation
    Lect Notes Comput Sci, (216):
  • [3] An fMRI study of the Interplay of Symbolic and Visuo-spatial Systems in Mathematical Reasoning
    Terao, Atsushi
    Koedinger, Kenneth R.
    Sohn, Myeong-Ho
    Qin, Yulin
    Anderson, John R.
    Carter, Cameron S.
    PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 2004, : 1327 - 1332
  • [4] EXPERT SYSTEMS AND THE MYTH OF SYMBOLIC REASONING
    DOYLE, J
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (11) : 1386 - 1390
  • [5] Abductive reasoning in neural-symbolic systems
    Artur S. d’Avila Garcez
    Dov M. Gabbay
    Oliver Ray
    John Woods
    Topoi, 2007, 26 : 37 - 49
  • [6] SYMBOLIC MATHEMATICAL SYSTEMS - STATE OF ART
    JENKS, RD
    SIAM REVIEW, 1974, 16 (01) : 128 - 128
  • [7] EXPERT SYSTEMS AND THE 'MYTH' OF SYMBOLIC REASONING.
    Doyle, Jon
    IEEE Transactions on Software Engineering, 1985, SE-11 (11) : 1386 - 1390
  • [8] Abductive reasoning in neural-symbolic systems
    Garcez, Artur S. d'Avila
    Gabbay, Dov M.
    Ray, Oliver
    Woods, John
    TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 2007, 26 (01): : 37 - 49
  • [9] Both non-symbolic and symbolic quantity processing are important for arithmetical computation but not for mathematical reasoning
    Zhang, Yiyun
    Chen, Chuansheng
    Liu, Hang
    Cui, Jiaxin
    Zhou, Xinlin
    JOURNAL OF COGNITIVE PSYCHOLOGY, 2016, 28 (07) : 807 - 824
  • [10] Expresso: Comprehensively Reasoning About External Routes Using Symbolic Simulation
    Wang, Dan
    Zhang, Peng
    Gember-Jacobson, Aaron
    PROCEEDINGS OF THE 2024 ACM SIGCOMM 2024 CONFERENCE, ACM SIGCOMM 2024, 2024, : 197 - 212
12345