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 条
  • [21] A unifying view for logic programming with non-monotonic reasoning
    Brogi, A
    Lamma, E
    Mancarella, P
    Mello, P
    THEORETICAL COMPUTER SCIENCE, 1997, 184 (1-2) : 1 - 59
  • [22] Belief revision in non-monotonic reasoning and logic programming
    Alferes, Jose Julio
    Moniz Pereira, Luis
    Przymusinski, Teodor C.
    Fundamenta Informaticae, 1996, 28 (1-2): : 1 - 22
  • [23] Usability Heuristics for Domain-Specific Languages (DSLs)
    Mosqueira-Rey, Eduardo
    Alonso-Rios, David
    PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 1340 - 1343
  • [24] Game semantics for non-monotonic intensional logic programming
    Galanaki, Chrysida
    Nomikos, Christos
    Rondogiannis, Panos
    ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (02) : 234 - 253
  • [25] Game Semantics for Non-monotonic Intensional Logic Programming
    Galanaki, Chrysida
    Nomikos, Christos
    Rondogiannis, Panos
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 329 - 341
  • [26] Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics
    Peter Verdée
    Foundations of Science, 2013, 18 : 655 - 680
  • [27] Non-monotonic set functions and general fuzzy integrals
    Mihailovic, Biljana
    Pap, Endre
    2008 6TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS AND INFORMATICS, 2008, : 339 - +
  • [28] Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics
    Verdee, Peter
    FOUNDATIONS OF SCIENCE, 2013, 18 (04) : 655 - 680
  • [29] Evaluating search strategies and heuristics for efficient Answer set Programming
    Giunchiglia, E
    Maratea, M
    AI*IA2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3673 : 122 - 134
  • [30] An automated domain-specific answer ontology construction
    Ko, Wei-Min
    Li, Huan-Chung
    NAFIPS 2007 - 2007 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY, 2007, : 378 - +
12345