Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach

被引：0
|
作者：
Comploi-Taupe, Richard [1 ,2 ]
Friedrich, Gerhard [2 ]
Schekotihin, Konstantin [3 ]
Weinzierl, Antonius [3 ]
机构：
[1] Siemens AG, Austria
[2] Alpen-Adria-Universität, Klagenfurt, Austria
[3] TU Wien, Vienna, Austria
来源：
Journal of Artificial Intelligence Research | 2023年 / 76卷
关键词：
All Open Access; Gold;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
68
引用
收藏
页码：59 / 114
相关论文
共 50 条
  • [1] Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach
    Comploi-Taupe, Richard
    Friedrich, Gerhard
    Schekotihin, Konstantin
    Weinzierl, Antonius
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2023, 76 : 59 - 114
  • [2] LEARNING DOMAIN-SPECIFIC HEURISTICS FOR ANSWER SET SOLVERS
    Balduccini, Marcello
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 14 - 23
  • [3] Non-monotonic spatial reasoning with answer set programming modulo theories
    Walega, Przemyslaw Andrzej
    Schultz, Carl
    Bhatt, Mehul
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (02) : 205 - 225
  • [4] Inductive Learning of Declarative Domain-Specific Heuristics for ASP
    Comploi-Taupe, Richard
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (385): : 129 - 140
  • [5] Applications of non-monotonic reasoning to automotive product configuration using answer set programming
    Gencay, Eray
    Schuller, Peter
    Erdem, Esra
    JOURNAL OF INTELLIGENT MANUFACTURING, 2019, 30 (03) : 1407 - 1422
  • [6] Applications of non-monotonic reasoning to automotive product configuration using answer set programming
    Eray Gençay
    Peter Schüller
    Esra Erdem
    Journal of Intelligent Manufacturing, 2019, 30 : 1407 - 1422
  • [7] Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP
    Taupe, Richard
    Schekotihin, Konstantin
    Schueller, Peter
    Weinzierl, Antonius
    Friedrich, Gerhard
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 22 - 35
  • [8] Monotonic Answer Set Programming
    Gebser, Martin
    Gharib, Mona
    Mercer, Robert
    Schaub, Torsten
    JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (04) : 539 - 564
  • [9] Answer set programming:: A declarative approach to solving search problems
    Niemela, Ilkka
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 15 - 18
  • [10] Tabling for non-monotonic programming
    Swift, T
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1999, 25 (3-4) : 201 - 240
12345