Computer-assisted reasoning

被引：34
|
作者：
Bankes, SC
Lempert, RJ
Popper, SW
机构：
[1] Evolving Log, Topanga, CA 90290 USA
[2] RAND Corp, Sci & Technol Policy Inst, Santa Monica, CA 90407 USA
来源：
COMPUTING IN SCIENCE & ENGINEERING | 2001年 / 3卷 / 02期
关键词：
D O I：
10.1109/5992.909006
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
[No abstract available]
引用
收藏
页码：71 / 77
页数：7
相关论文
共 50 条
  • [1] Computer-assisted assume/guarantee reasoning with VeriSoft
    Dingel, J
    25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 138 - 148
  • [2] Visual focus in computer-assisted diagrammatic reasoning
    Bertel, Sven
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS, 2006, 4045 : 241 - 243
  • [3] On the computer-assisted reasoning about rough sets
    Grabowski, A
    MONITORING, SECURITY, AND RESCUE TECHNIQUES IN MULTIAGENT SYSTEMS, 2005, : 215 - 226
  • [4] Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs
    Schreiner, Wolfgang
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (79): : 124 - 142
  • [5] MOLECULAR GRAPHICS - COMPUTER-ASSISTED INSIGHT AND REASONING IN 3 DIMENSIONS
    LANGRIDGE, R
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1985, 189 (APR-): : 5 - CSEC
  • [6] Computer-assisted hybrid reasoning in simulation and analysis of physical systems
    Kleiber, Michal, 1600, Pol Acad Sci, Warsaw, Poland (02):
  • [7] A case-based reasoning method for computer-assisted diagnosis in histopathology
    Jaulent, MC
    LeBozec, C
    Zapletal, E
    Degoulet, P
    ARTIFICIAL INTELLIGENCE IN MEDICINE, 1997, 1211 : 239 - 242
  • [8] Exploring the application of case-based reasoning to computer-assisted construction planning
    Rankin, JH
    Froese, TM
    Waugh, LM
    DURABILITY OF BUILDING MATERIALS AND COMPONENTS 8, VOLS 1-4, PROCEEDINGS, 1999, : 2526 - 2536
  • [9] STATISTICS EXPLAINED - A COMPUTER-ASSISTED GUIDE TO THE LOGIC OF STATISTICAL REASONING - HOFFMAN,HS
    MANDINACH, EB
    CONTEMPORARY PSYCHOLOGY, 1986, 31 (09): : 707 - 708
  • [10] Computer-assisted thermal analysis system founded on case-based reasoning
    Nakayama, T
    Tanaka, K
    Nishimoto, Y
    JOURNAL OF CHEMICAL INFORMATION AND COMPUTER SCIENCES, 1999, 39 (05): : 819 - 832
12345