Answer Set Programming

被引：0
|
作者：
Marek, Victor W. [1 ]
机构：
[1] Univ Kentucky, Lexington, KY 40506 USA
来源：
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2020年 / 20卷 / 03期
关键词：
D O I：
10.1017/S1471068420000034
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：432 / 434
页数：3
相关论文
共 50 条
  • [41] Generality relations in answer set programming
    Inoue, Katsumi
    Sakama, Chiaki
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 211 - 225
  • [42] Possibilistic Inferences in Answer Set Programming
    Jin, Yifan
    Wang, Kewen
    Wang, Zhe
    AI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2015, 9457 : 263 - 275
  • [43] Guarded resolution for Answer Set Programming
    Marek, V. W.
    Remmel, J. B.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 111 - 123
  • [44] Grounding and Solving in Answer Set Programming
    Kaufmann, Benjamin
    Leone, Nicola
    Perri, Simona
    Schaub, Torsten
    AI MAGAZINE, 2016, 37 (03) : 25 - 32
  • [45] Aggregated Fuzzy Answer Set Programming
    Janssen, Jeroen
    Schockaert, Steven
    Vermeir, Dirk
    De Cock, Martine
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2011, 63 (02) : 103 - 147
  • [46] Expressiveness of communication in answer set programming
    Bauters, Kim
    Schockaert, Steven
    Janssen, Jeroen
    Vermeir, Dirk
    De Cock, Martine
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2013, 13 : 361 - 394
  • [47] Legal Reasoning in Answer Set Programming
    Aravanis, Theofanis
    Demiris, Konstantinos
    Peppas, Pavlos
    2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2018, : 302 - 306
  • [48] Knowledge Forgetting in Answer Set Programming
    Wang, Yisong
    Zhang, Yan
    Zhou, Yi
    Zhang, Mingyi
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2014, 50 : 31 - 70
  • [49] Answer Set Programming for Regular Inference
    Wieczorek, Wojciech
    Jastrzab, Tomasz
    Unold, Olgierd
    APPLIED SCIENCES-BASEL, 2020, 10 (21): : 1 - 18
  • [50] Backdoors to tractable answer set programming
    Fichte, Johannes Klaus
    Szeider, Stefan
    ARTIFICIAL INTELLIGENCE, 2015, 220 : 64 - 103
12345