A GENERIC LOGIC ENVIRONMENT

被引:0
|
作者
DAWSON, M
机构
来源
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 624卷
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The Generic Logic Environment described here is designed to manipulate sequent-based presentations of logical systems. This note outlines its characteristics and facilities, and gives a flavour of its utility.
引用
收藏
页码:466 / 468
页数:3
相关论文
共 50 条
  • [21] HeuristicLab: A generic and extensible optimization environment
    Wagner, S
    Affenzeller, M
    Adaptive and Natural Computing Algorithms, 2005, : 538 - 541
  • [22] On the design of a generic visual programming environment
    Zhang, DQ
    Zhang, K
    1998 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1998, : 88 - 89
  • [23] VIDEMO: A generic problem solving environment
    Beroggi, GEG
    INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2102 - 2107
  • [24] DESIGN AND IMPLEMENTATION OF A GENERIC, LOGIC AND FUNCTIONAL PROGRAMMING LANGUAGE
    BERT, D
    ECHAHED, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 213 : 119 - 132
  • [25] A New Syntax for Diagrammatic Logic: A Generic Figures Approach
    Caterina, Gianluca
    Gangle, Rocco
    NUMERICAL COMPUTATIONS: THEORY AND ALGORITHMS, PT II, 2020, 11974 : 43 - 58
  • [26] A generic algebra for data collections based on constructive logic
    Rajagopalan, P
    Tsang, CP
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 546 - 560
  • [27] A generic approach to fuzzy logic controller synthesis on FPGA
    Gonzalez-Vazquez, Jose L.
    Castillo, Oscar
    Aguilar-Bustos, Luis T.
    2006 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-5, 2006, : 2317 - +
  • [28] Cooperative Control achieved by Generic Genetic Fuzzy Logic
    Cuibus, Octavian
    Letia, Tiberiu
    CONTROL ENGINEERING AND APPLIED INFORMATICS, 2012, 14 (03): : 43 - 53
  • [29] A DECLARATIVE LOGIC PROGRAMMING ENVIRONMENT
    KOMOROWSKI, HJ
    JOURNAL OF SYSTEMS AND SOFTWARE, 1988, 8 (02) : 77 - 89
  • [30] THE LOGIC OF PROPAGATION IN THE INSCAPE ENVIRONMENT
    PERRY, DE
    PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 114 - 121