Optimization methods for logical inference

被引：0
|
作者：
Wilson, JM [1 ]
机构：
[1] Univ Loughborough, Loughborough, Leics, England
来源：
JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY | 2000年 / 51卷 / 02期
关键词：
D O I：
10.2307/254266
中图分类号：
C93 [管理学];
学科分类号：
12 ; 1201 ; 1202 ; 120202 ;
摘要：
引用
收藏
页码：246 / 246
页数：1
相关论文
共 50 条
  • [41] A method of logical inference of modified conclusions
    Strabykin, D. A.
    Tomchuk, M. N.
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2008, 47 (02) : 245 - 251
  • [42] On rules of inference and the meanings of logical constants
    Raatikainen, Panu
    ANALYSIS, 2008, 68 (04) : 282 - 287
  • [43] ALGEBRAIC APPROACH TO LOGICAL INFERENCE IMPLEMENTATION
    Kulik, Boris
    Fridman, Alexander
    Zuenko, Alexander
    COMPUTING AND INFORMATICS, 2012, 31 (06) : 1295 - 1328
  • [44] Logical Inference Modeled by Petri Nets
    Albu, Adriana
    2016 IEEE 11TH INTERNATIONAL SYMPOSIUM ON APPLIED COMPUTATIONAL INTELLIGENCE AND INFORMATICS (SACI), 2016, : 137 - 140
  • [45] A localist network architecture for logical inference
    Park, NS
    Robertson, D
    CONNECTIONIST-SYMBOLIC INTEGRATION: FROM UNIFIED TO HYBRID APPROACHES, 1997, : 245 - 263
  • [46] The magic of logical inference in probabilistic programming
    Gutmann, Bernd
    Thon, Ingo
    Kimmig, Angelika
    Bruynooghe, Maurice
    De Raedt, Luc
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 663 - 680
  • [47] Parallel Logical Inference on Computer Systems
    Kutepov, V. P.
    Kumachev, M. M.
    SCIENTIFIC AND TECHNICAL INFORMATION PROCESSING, 2013, 40 (06) : 403 - 413
  • [48] Automats in logical optimization
    Neamtu, Mircea Iosif
    PROCEEDINGS OF THE 12TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS , PTS 1-3: NEW ASPECTS OF COMPUTERS, 2008, : 257 - +
  • [49] WEIGHTED LOGICAL INFERENCE FOR PATTERN-RECOGNITION
    THIRY, S
    PAVEL, M
    BOUCKAERT, A
    PATTERN RECOGNITION, 1980, 12 (02) : 63 - 67
  • [50] AN ABSTRACT SCHEME FOR A PARALLEL LOGICAL INFERENCE MACHINE
    VAGIN, VN
    VASILYEV, MYU
    SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1989, 27 (02): : 18 - 25
12345