user

HIGHER-ORDER LOGIC PROGRAMMING

被引：0
|
作者：
MILLER, DA
NADATHUR, G
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1986年 / 51卷 / 03期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：851 / 851
页数：1
相关论文
共 50 条
  • [1] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 448 - 462
  • [2] Extensional Higher-Order Logic Programming
    Charalambidis, Angelos
    Handjopoulos, Konstantinos
    Rondogiannis, Panos
    Wadge, William W.
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 91 - 103
  • [3] Extensional Higher-Order Logic Programming
    Charalambidis, Angelos
    Handjopoulos, Konstantinos
    Rondogiannis, Panagiotis
    Wadge, William W.
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (03)
  • [4] Tabling for higher-order logic programming
    Pientka, B
    [J]. AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 2005, 3632 : 54 - 68
  • [5] HILOG - A FOUNDATION FOR HIGHER-ORDER LOGIC PROGRAMMING
    CHEN, WD
    KIFER, M
    WARREN, DS
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (03): : 187 - 230
  • [6] A higher-order logic programming language with constraints
    Leach, J
    Nieva, S
    [J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 108 - 122
  • [7] A treatment of higher-order features in logic programming
    Nadathur, G
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 : 305 - 354
  • [8] Predicate abstractions in higher-order logic programming
    Chen, WD
    Warren, DS
    [J]. NEW GENERATION COMPUTING, 1996, 14 (02) : 195 - 236
  • [9] COMPILATION OF PREDICATE ABSTRACTIONS IN HIGHER-ORDER LOGIC PROGRAMMING
    CHEN, WD
    WARREN, DS
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 528 : 287 - 298
  • [10] Constructive Negation in Extensional Higher-Order Logic Programming
    Charalambidis, Angelos
    Rondogiannis, Panos
    [J]. FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 12 - 21
12345