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 条
  • [1] Answer Set Programming
    Janhunen, Tomi
    KUNSTLICHE INTELLIGENZ, 2018, 32 (2-3): : 125 - 131
  • [2] Answer Set Programming
    Schaub, Torsten
    Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012, : 2 - 2
  • [3] Answer Sets and the Language of Answer Set Programming
    Lifschitz, Vladimir
    AI MAGAZINE, 2016, 37 (03) : 7 - 11
  • [4] Hybrid Answer Set Programming
    Brik, Alex
    Remmel, Jeffrey
    ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (01) : 134 - 163
  • [5] Fuzzy answer set programming
    Van Nieuwenborgh, Davy
    De Cock, Martine
    Vermeir, Dirk
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 359 - 372
  • [6] The Answer Set Programming Competition
    Calimeri, Francesco
    Ianni, Giovambattista
    Krennwallner, Thomas
    Ricca, Francesco
    AI MAGAZINE, 2012, 33 (04) : 114 - 118
  • [7] Functional answer set programming
    Cabalar, Pedro
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 203 - 233
  • [8] Coordination in answer set programming
    Sakama, Chiaki
    Inoue, Katsumi
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008, 9 (02)
  • [9] Modular answer set programming
    Oikarinen, Emilia
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 462 - 463
  • [10] Monotonic Answer Set Programming
    Gebser, Martin
    Gharib, Mona
    Mercer, Robert
    Schaub, Torsten
    JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (04) : 539 - 564
12345