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] Observable semantics for constraint logic programs
    1600, Oxford Univ Press, Oxford, Engl (05):
  • [32] On the Semantics and Complexity of Probabilistic Logic Programs
    Cozman, Fabio Gagliardi
    Maua, Denis Deratani
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2017, 60 : 221 - 262
  • [33] 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
  • [34] Semantics of framed temporal logic programs
    Duan, ZH
    Yang, XX
    Koutny, M
    LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 356 - 370
  • [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] FULLY ABSTRACT COMPOSITIONAL SEMANTICS FOR LOGIC PROGRAMS
    GAIFMAN, H
    SHAPIRO, E
    CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 134 - 142
12345