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 条
  • [1] A knowledge-based system for prototypical reasoning
    Lieto, Antonio
    Minieri, Andrea
    Piana, Alberto
    Radicioni, Daniele P.
    CONNECTION SCIENCE, 2015, 27 (02) : 137 - 152
  • [2] Czech Knowledge-Based System with Temporal Reasoning
    Gardon, Andrej
    RASLAN 2012: RECENT ADVANCES IN SLAVONIC NATURAL LANGUAGE PROCESSING, 2012, : 43 - 50
  • [3] NEOANEMIA - A KNOWLEDGE-BASED SYSTEM EMULATING DIAGNOSTIC REASONING
    LANZOLA, G
    STEFANELLI, M
    BAROSI, G
    MAGNANI, L
    COMPUTERS AND BIOMEDICAL RESEARCH, 1990, 23 (06): : 560 - 582
  • [4] A KNOWLEDGE-BASED MATHEMATICAL-MODEL FORMULATION SYSTEM
    KRISHNAN, R
    LI, XP
    STEIER, D
    COMMUNICATIONS OF THE ACM, 1992, 35 (09) : 138 - 146
  • [5] Rule base reasoning in the knowledge-based mould design system
    Hadzistevic, Miodrag
    Matin, Ivan
    Hodolic, Janko
    Vukelic, Djordje
    Vukmirovic, Srdjan
    Godec, Damir
    Nedic, Bogdan
    Tehnicki Vjesnik, 2014, 21 (05): : 1143 - 1148
  • [6] RULE BASE REASONING IN THE KNOWLEDGE-BASED MOULD DESIGN SYSTEM
    Hadzistevic, Miodrag
    Matin, Ivan
    Hodolic, Janko
    Vukelic, Djordje
    Vukmirovic, Srdjan
    Godec, Damir
    Nedic, Bogdan
    TEHNICKI VJESNIK-TECHNICAL GAZETTE, 2014, 21 (05): : 1143 - 1148
  • [7] A knowledge-based system to represent spatial reasoning for fire modelling
    Knight, B
    Taylor, S
    Petridis, M
    Ewer, J
    Galea, ER
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 1999, 12 (02) : 213 - 219
  • [8] A Common Reasoning Model and Its Application in Knowledge-Based System
    郑方青
    JournalofComputerScienceandTechnology, 1991, (01) : 59 - 65
  • [9] Analogical reasoning in knowledge-based systems
    Zhou, HH
    CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II, 1996, : 1136 - 1142
  • [10] Evaluating knowledge-based statistical reasoning
    Royalty, J
    PSYCHOLOGICAL REPORTS, 1995, 77 (03) : 1323 - 1327
12345