On the semantics of logic programs with preferences

被引：0
|
作者：
Greco, Sergio [1 ]
Trubitsyna, Irina [1 ]
Zumpano, Ester [1 ]
机构：
[1] DEIS, Università della Calabria, via P. Bucci, 87030 Rende, Italy
来源：
Journal of Artificial Intelligence Research | 1600年 / 30卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Journal article (JA)
引用
下载
收藏
页码：501 / 523
相关论文
共 50 条
  • [31] Semantics of constraint logic programs with optimization
    Marriott, Kim
    Stuckey, Peter J.
    ACM letters on programming languages and systems, 1993, 2 (1-4): : 197 - 212
  • [32] Semantics of structured normal logic programs
    Pasarella, Edelmira
    Orejas, Fernando
    Pino, Elvira
    Navarro, Marisa
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (05): : 559 - 584
  • [33] A FIXPOINT SEMANTICS FOR DISJUNCTIVE LOGIC PROGRAMS
    MINKER, J
    RAJASEKAR, A
    JOURNAL OF LOGIC PROGRAMMING, 1990, 9 (01): : 45 - 74
  • [34] On logics and semantics for general logic programs
    Bochman, A
    NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, 1997, 1216 : 37 - 56
  • [35] Pstable semantics for possibilistic logic programs
    Osoriol, Mauricio
    Nieves, Juan Carlos
    MICAI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2007, 4827 : 294 - +
  • [36] A NATURAL SEMANTICS FOR LOGIC PROGRAMS WITH NEGATION
    DUNG, PM
    KANCHANASUT, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 405 : 78 - 88
  • [37] DATAFLOW PROGRAMS FOR PARALLEL COMPUTATIONS OF LOGIC PROGRAMS AND THEIR SEMANTICS
    YAMASAKI, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 366 : 104 - 114
  • [38] Three valued logic of Lukasiewicz for modelin semantics of logic programs
    Osorio, M
    Borja, V
    Arrazola, J
    ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004, 2004, 3315 : 343 - 352
  • [39] Strong Equivalence for Logic Programs with Preferences
    Faber, Wolfgang
    Konczak, Kathrin
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 430 - 435
  • [40] Semantics of normal logic programs and contested information
    Pradhan, S
    11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 406 - 415
12345