Hierarchical decision procedure

被引：0
|
作者：
Koshlai, LB
机构：
来源：
CYBERNETICS AND SYSTEMS ANALYSIS | 1996年 / 32卷 / 02期
关键词：
D O I：
10.1007/BF02366531
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：186 / 189
页数：4
相关论文
共 50 条
  • [31] Fuzzy social decision procedure
    Nakai, Teruhisa
    JOURNAL OF INFORMATION & OPTIMIZATION SCIENCES, 2009, 30 (04): : 681 - 690
  • [32] A tableau decision procedure for SHOIQ
    Horrocks, Ian
    Sattler, Ulrike
    JOURNAL OF AUTOMATED REASONING, 2007, 39 (03) : 249 - 276
  • [33] PROVABILITY IN TBLL - A DECISION PROCEDURE
    CHIRIMAR, J
    LIPTON, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 53 - 67
  • [34] A Coalgebraic Decision Procedure for NetKAT
    Foster, Nate
    Kozen, Dexter
    Milano, Matthew
    Silva, Alexandra
    Thompson, Laure
    ACM SIGPLAN Notices, 2015, 50 (01): : 343 - 355
  • [35] DECISION PROCEDURE FOR AUTOEPISTEMIC LOGIC
    NIEMELA, I
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 675 - 684
  • [36] ROBBINS COMPOUND DECISION PROCEDURE
    HUANG, JS
    ANNALS OF MATHEMATICAL STATISTICS, 1972, 43 (01): : 348 - &
  • [37] A Tableaux Decision Procedure for SHOTQ
    Horrocks, Ian
    Sattler, Ulrike
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 448 - 453
  • [38] A Coalgebraic Decision Procedure for NetKAT
    Foster, Nate
    Kozen, Dexter
    Milano, Matthew
    Silva, Alexandra
    Thompson, Laure
    ACM SIGPLAN NOTICES, 2015, 50 (01) : 343 - 355
  • [39] A decision procedure for geometry in Coq
    Narboux, J
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2004, 3223 : 225 - 240
  • [40] A hierarchical iterative procedure for the analysis of composite laminates
    Mitchell, JA
    Reddy, JN
    COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, 2000, 181 (1-3) : 237 - 260
12345