TYPED HORN LOGIC

被引：0
|
作者：
POIGNE, A
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 452卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：470 / 477
页数：8
相关论文
共 50 条
  • [31] Typed Meta-interpretive Learning of Logic Programs
    Morel, Rolf
    Cropper, Andrew
    Ong, C. -H. Luke
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2019, 2019, 11468 : 198 - 213
  • [32] A Three-Valued Semantics for Typed Logic Programming
    Barbosa, Joao
    Florido, Mario
    Costa, Vitor Santos
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 36 - 51
  • [33] Coordination of Subject Markers in Arabic and Typed Categorial Logic
    Jebali, Adel
    Biskri, Ismail
    Emirkanian, Louisette
    ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2010, 6085 : 278 - +
  • [34] Proof terms for simply typed higher order logic
    Berghofer, S
    Nipkow, T
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 38 - 52
  • [35] Reuse of results in termination analysis of typed logic programs
    Bruynooghe, M
    Codish, M
    Genaim, S
    Vanhoof, W
    STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 477 - 492
  • [36] THE COMPLETION OF TYPED LOGIC PROGRAMS AND SLDNF-RESOLUTION
    HILL, PM
    LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 182 - 193
  • [37] SEMANTICS OF HORN AND DISJUNCTIVE LOGIC PROGRAMS
    LOBO, J
    RAJASEKAR, A
    MINKER, J
    THEORETICAL COMPUTER SCIENCE, 1991, 86 (01) : 93 - 106
  • [38] THE COMPLEXITY OF HORN FRAGMENTS OF LINEAR LOGIC
    KANOVICH, MI
    ANNALS OF PURE AND APPLIED LOGIC, 1994, 69 (2-3) : 195 - 241
  • [39] Cut and weakening in fuzzy horn logic
    Vychodil, Vilem
    LOGIC JOURNAL OF THE IGPL, 2005, 13 (05) : 599 - 609
  • [40] Partial Horn logic and cartesian categories
    Palmgren, E.
    Vickers, S. J.
    ANNALS OF PURE AND APPLIED LOGIC, 2007, 145 (03) : 314 - 353
12345