SEVERAL FORMAL SYSTEMS OF THE LOGIC PROGRAMMING

被引：0
|
作者：
MINTS, GE
机构：
来源：
COMPUTERS AND ARTIFICIAL INTELLIGENCE | 1990年 / 9卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：19 / 41
页数：23
相关论文
共 50 条
  • [31] Pruning operators for disjunctive logic programming systems
    Department of Mathematics, University of Calabria, 87030 Rende , Italy
    Fundam Inf, 2006, 2-3 (183-214):
  • [32] Inductive logic programming for discrete event systems
    Lect Notes Artif Intell, (250):
  • [33] Pruning operators for disjunctive logic programming systems
    Calimeri, Francesco
    Faber, Wolfgang
    Pfeifer, Gerald
    Leone, Nicola
    FUNDAMENTA INFORMATICAE, 2006, 71 (2-3) : 183 - 214
  • [34] Logic control and "reactive" systems: Algorithmization and programming
    Shalyto, AA
    AUTOMATION AND REMOTE CONTROL, 2001, 62 (01) : 1 - 29
  • [35] CONCURRENT LOGIC PROGRAMMING, METAPROGRAMMING, AND OPEN SYSTEMS
    KAHN, KM
    AI MAGAZINE, 1988, 9 (01) : 115 - 116
  • [36] Improving the efficiency of inductive logic programming systems
    Fonseca, Nuno A.
    Costa, Vitor Santos
    Rocha, Ricardo
    Camacho, Rui
    Silva, Fernando
    SOFTWARE-PRACTICE & EXPERIENCE, 2009, 39 (02): : 189 - 219
  • [37] Logic Control and “Reactive” Systems: Algorithmization and Programming
    A. A. Shalyto
    Automation and Remote Control, 2001, 62 : 1 - 29
  • [38] A logic programming view of authorization in distributed systems
    Winsborough, WH
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 20 - 46
  • [39] LOGIC-PROGRAMMING PRODUCTION SYSTEMS WITH METALOG
    SCHOPPERS, MJ
    SOFTWARE-PRACTICE & EXPERIENCE, 1983, 13 (09): : 871 - 872
  • [40] A Formal Analysis of Logic-Based Argumentation Systems
    Amgoud, Leila
    Besnard, Philippe
    SCALABLE UNCERTAINTY MANAGEMENT, SUM 2010, 2010, 6379 : 42 - 55
12345