SET ABSTRACTION - AN EXTENSION OF ALL SOLUTIONS PREDICATE IN LOGIC PROGRAMMING LANGUAGE

被引：1
|
作者：
YOKOMORI, T [1 ]
机构：
[1] FUJITSU LTD,INT INST ADV STUDY SOCIAL INFORMAT SCI,NUMAZU,SHIZUOKA 41003,JAPAN
来源：
NEW GENERATION COMPUTING | 1987年 / 5卷 / 03期
关键词：
D O I：
10.1007/BF03037464
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：227 / 248
页数：22
相关论文
共 50 条
  • [1] SEMANTICS OF PREDICATE LOGIC AS A PROGRAMMING LANGUAGE
    VANEMDEN, MH
    KOWALSKI, RA
    [J]. JOURNAL OF THE ACM, 1976, 23 (04) : 733 - 742
  • [2] Hiord: A type-free higher-order logic programming language with predicate abstraction
    Cabeza, D
    Hermenegildo, M
    Lipton, J
    [J]. ADVANCES IN COMPUTER SCIENCE - ASIAN 2004, PROCEEDINGS, 2004, 3321 : 93 - 108
  • [3] Predicate answer set programming via coinductive logic programming
    Min, Richard
    Bansal, Ajay
    Gupta, Gopal
    [J]. ENGINEERING INTELLIGENT SYSTEMS FOR ELECTRICAL ENGINEERING AND COMMUNICATIONS, 2009, 17 (2-3): : 105 - 114
  • [4] Towards Predicate Answer Set Programming via Coinductive Logic Programming
    Min, Richard
    Bansal, Ajay
    Gupta, Gopal
    [J]. ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS III, 2009, : 499 - 508
  • [5] Applying constraint logic programming to predicate abstraction of RTL Verilog descriptions
    Li, T
    Guo, Y
    Li, SK
    Zhu, D
    [J]. MICAI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2005, 3789 : 175 - 184
  • [6] Predicate abstraction of RTL verilog descriptions using constraint logic programming
    Li, T
    Guo, Y
    Li, SK
    Liu, GJ
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 174 - 186
  • [7] Temporal logic with predicate λ-abstraction.
    Lisitsa, A
    Potapov, I
    [J]. 12TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2005, : 147 - 155
  • [8] Predicate Abstraction in a Program Logic Calculus
    Weiss, Benjamin
    [J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2009, 5423 : 136 - 150
  • [9] Predicate abstraction in a program logic calculus
    Weiss, Benjamin
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (10) : 861 - 876
  • [10] Predicate Abstraction for Programmable Logic Controllers
    Biallas, Sebastian
    Giacobbe, Mirco
    Kowalewski, Stefan
    [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2013, 8187 : 123 - 138
12345