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 条
  • [41] TOWARDS A GENERIC SUPPORTING ENVIRONMENT FOR MULTISCALE MODELLING
    Zhao, Yang
    Jiang, Cheng
    Yang, Aidong
    PROCEEDINGS - 25TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION, ECMS 2011, 2011, : 417 - 423
  • [42] A generic parallel computing model for the distributed environment
    Chen, Chi-Chang
    Chen, Meng-Xiang
    SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2006, : 291 - +
  • [43] Bell pair in a generic random matrix environment
    Pineda, Carlos
    Seligman, Thomas H.
    PHYSICAL REVIEW A, 2007, 75 (01):
  • [44] AN INTEGRATED PROGRAMMING ENVIRONMENT FOR A GENERIC ROBOTIC WORKCELL
    CARAYANNIS, G
    FREEDMAN, P
    MALOWANY, A
    JOURNAL OF ROBOTIC SYSTEMS, 1989, 6 (02): : 149 - 173
  • [45] Fuzzy logic tool and generic algorithms for CAC in ATM networks
    Ramalho, MF
    Scharf, EM
    ELECTRONICS LETTERS, 1996, 32 (11) : 973 - 974
  • [46] Towards generic memory forensic framework for programmable logic controllers
    Awad, Rima Asmar
    Rais, Muhammad Haris
    Rogers, Michael
    Ahmed, Irfan
    Paquit, Vincent
    FORENSIC SCIENCE INTERNATIONAL-DIGITAL INVESTIGATION, 2023, 44
  • [47] A relational formalisation of a generic many-valued modal logic
    Konikowska, B
    Orlowska, E
    RELATIONAL METHODS FOR COMPUTER SCIENCE APPLICATIONS, 2001, 65 : 183 - 202
  • [48] Towards generic memory forensic framework for programmable logic controllers
    Awad, Rima Asmar
    Rais, Muhammad Haris
    Rogers, Michael
    Ahmed, Irfan
    Paquit, Vincent
    FORENSIC SCIENCE INTERNATIONAL-DIGITAL INVESTIGATION, 2023, 44
  • [49] A generic complete dynamic logic for reasoning about purity and effects
    Mossakowski, Till
    Schroeder, Lutz
    Goncharov, Sergey
    FORMAL ASPECTS OF COMPUTING, 2010, 22 (3-4) : 363 - 384
  • [50] Reducing the Pressure on Routing Resources of FPGAs with Generic Logic Chains
    Parandeh-Afshar, Hadi
    Zgheib, Grace
    Brisk, Philip
    Ienne, Paolo
    FPGA 11: PROCEEDINGS OF THE 2011 ACM/SIGDA INTERNATIONAL SYMPOSIUM ON FIELD PROGRAMMABLE GATE ARRAYS, 2011, : 237 - 246
12345