FORRENMAT - A KNOWLEDGE-BASED SYSTEM TO INVESTIGATE EXPERIMENTALLY THE MATHEMATICAL REASONING

被引：0
|
作者：
LAUBLET, P
机构：
来源：
AI COMMUNICATIONS | 1995年 / 8卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：54 / 54
页数：1
相关论文
共 50 条
  • [31] Mathematics teacher’s knowledge, knowledge-based reasoning, and contexts
    Salvador Llinares
    Journal of Mathematics Teacher Education, 2018, 21 : 1 - 3
  • [32] A knowledge-based airport gate assignment system integrated with mathematical programming
    Cheng, Y
    COMPUTERS & INDUSTRIAL ENGINEERING, 1997, 32 (04) : 837 - 852
  • [33] Mathematics teacher's knowledge, knowledge-based reasoning, and contexts
    Llinares, Salvador
    JOURNAL OF MATHEMATICS TEACHER EDUCATION, 2018, 21 (01) : 1 - 3
  • [34] KNOWLEDGE-BASED REASONING ENHANCED CONTROL SYSTEM FOR IN-SITU BIOREMEDIATION PROCESSES
    Hu, Zhiying
    Chan, Christine W.
    Huang, Gordon H.
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2008, 18 (04) : 443 - 459
  • [35] Case-based reasoning for medical knowledge-based systems
    Schmidt, R
    Gierl, L
    MEDICAL INFOBAHN FOR EUROPE, PROCEEDINGS, 2000, 77 : 720 - 725
  • [36] A knowledge-based reasoning model for crime reconstruction and investigation
    Wang, Litao
    Jia, Meisheng
    Shi, Yi
    Chen, Feiyu
    Ni, Shunjiang
    Shen, Shifei
    EXPERT SYSTEMS WITH APPLICATIONS, 2020, 159
  • [37] Query and Attention Augmentation for Knowledge-Based Explainable Reasoning
    Zhang, Yifeng
    Jiang, Ming
    Zhao, Qi
    2022 IEEE/CVF CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR 2022), 2022, : 15555 - 15564
  • [38] A knowledge-based coach for reasoning about historical causation
    Masterman, Liz
    ARTIFICIAL INTELLIGENCE IN EDUCATION: SUPPORTING LEARNING THROUGH INTELLIGENT AND SOCIALLY INFORMED TECHNOLOGY, 2005, 125 : 435 - 442
  • [39] Cased-Based Reasoning for medical knowledge-based systems
    Schmidt, R
    Montani, S
    Bellazzi, R
    Portinale, L
    Gierl, L
    INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, 2001, 64 (2-3) : 355 - 367
  • [40] Knowledge-based hybrid connectionist models for morphologic reasoning
    Kai He
    Wenxue Wang
    Gang Li
    Peng Yu
    Fengzhen Tang
    Ning Xi
    Lianqing Liu
    Machine Vision and Applications, 2023, 34
12345