LOGIC PROGRAMMING AND EDUCATION

被引：2
|
作者：
BOTTINO, RM
FORCHERI, P
MOLFINO, MT
机构：
来源：
KNOWLEDGE ENGINEERING REVIEW | 1995年 / 10卷 / 02期
关键词：
D O I：
10.1017/S026988890000816X
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：209 / 211
页数：3
相关论文
共 50 条
  • [41] Logic programming as a service
    Calegari, Roberta
    Denti, Enrico
    Mariani, Stefano
    Omicini, Andrea
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (5-6) : 846 - 873
  • [42] Logic and Integer Programming
    Pond, Geoffrey
    INTERFACES, 2010, 40 (03) : 247 - 248
  • [43] Justifications for Logic Programming
    Damasio, Carlos Viegas
    Analyti, Anastasia
    Antoniou, Grigoris
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 530 - 542
  • [44] Nonmonotonic logic programming
    Subrahmanian, VS
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1999, 11 (01) : 143 - 152
  • [45] PARALLEL LOGIC PROGRAMMING
    CLARK, KL
    COMPUTER JOURNAL, 1990, 33 (06): : 482 - 493
  • [46] Logic, modeling, and programming
    Ken McAloon
    Carol Tretkoff
    Annals of Operations Research, 1997, 71 : 335 - 372
  • [47] INDUCTIVE LOGIC PROGRAMMING
    MUGGLETON, S
    NEW GENERATION COMPUTING, 1990, 8 (04) : 295 - 318
  • [48] LOGIC PROGRAMMING WITH EQUATIONS
    VANEMDEN, MH
    YUKAWA, K
    JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04): : 265 - 288
  • [49] Belief Logic Programming
    Wan, Hui
    LOGIC PROGRAMMING, 2009, 5649 : 547 - 548
  • [50] Logic, modeling, and programming
    McAloon, K
    Tretkoff, C
    ANNALS OF OPERATIONS RESEARCH, 1997, 71 (0) : 335 - 372
12345