Transformations of logic programs

被引：0
|
作者：
Nigiyan, S.A.
Khachoyan, L.O.
机构：
来源：
Programmirovanie | / 06期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：17 / 28
相关论文
共 50 条
  • [31] LOGIC PROGRAMS AND ALTERNATION
    STEPANEK, P
    STEPANKOVA, O
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1085 - 1085
  • [32] Conceptual logic programs
    Stijn Heymans
    Davy Van Nieuwenborgh
    Dirk Vermeir
    Annals of Mathematics and Artificial Intelligence, 2006, 47 : 103 - 137
  • [33] Steadfast logic programs
    Lau, KK
    Ornaghi, M
    Tärnlund, SÅ
    JOURNAL OF LOGIC PROGRAMMING, 1999, 38 (03): : 259 - 294
  • [34] Paraconsistent logic programs
    Alcântara, J
    Damásio, CV
    Pereira, LM
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 345 - 356
  • [35] LEGISLATION AS LOGIC PROGRAMS
    KOWALSKI, RA
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 203 - 230
  • [36] Updates of logic programs
    Sefranek, Ján
    COMPUTING AND INFORMATICS, 2007, 26 (03) : 225 - 238
  • [37] Super logic programs
    Brass, S
    Dix, J
    Przymusinski, TC
    PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96), 1996, : 529 - 540
  • [38] Minimal logic programs
    Cabalar, Pedro
    Pearce, David
    Valverde, Agustin
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 104 - +
  • [39] Refactoring logic programs
    Serebrenik, A
    Demoen, B
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 509 - 510
  • [40] EQUIVALENCES OF LOGIC PROGRAMS
    MAHER, MJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 410 - 424
12345