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 条
  • [1] (Generic) Packages for Logic Programs
    Jacquenet, Francois
    Bernard, Marc
    2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, 2012, : 1010 - 1015
  • [2] Term-generic logic
    Popescu, Andrei
    Rosu, Grigore
    THEORETICAL COMPUTER SCIENCE, 2015, 577 : 1 - 24
  • [3] A Generic Logic for Proving Linearizability
    Khyzha, Artem
    Gotsman, Alexey
    Parkinson, Matthew
    FM 2016: FORMAL METHODS, 2016, 9995 : 426 - 443
  • [4] Generic models of logic programs
    Sigal, R
    JOURNAL OF LOGIC AND COMPUTATION, 1996, 6 (05) : 629 - 661
  • [5] Term-Generic Logic
    Popescu, Andrei
    Rosu, Grigore
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2009, 5486 : 290 - 307
  • [6] GENERIC DESIGNATIONS - ON THE LOGIC AND ONTOLOGY OF GENERIC MEANING - HEYER,G
    PITTIONI, V
    PHILOSOPHY AND HISTORY, 1988, 21 (02): : 154 - 155
  • [7] A Logic for Reasoning about Generic Judgments
    Tiu, Alwen
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (05) : 3 - 18
  • [8] GALAPAGOS: ON THE LOGIC AND LIMITATIONS OF GENERIC SOLVERS
    Rutten, David
    ARCHITECTURAL DESIGN, 2013, 83 (02) : 132 - 135
  • [9] Generic Rules for Logic Representation Transformations
    Chirila, Ciprian-Bogdan
    Jebelean, Calin
    Kniesel, Guenter
    Lahire, Philippe
    PROCEEDINGS OF 2010 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2010), VOLS. 1-3, 2010,
  • [10] WORKING WITH PROGRAMMABLE LOGIC .3. GENERIC AND GATE ARRAY LOGIC
    BOSTOCK, G
    ELECTRONICS WORLD & WIRELESS WORLD, 1994, (1694): : 49 - 56
12345