Answer set programming:: A declarative approach to solving search problems

被引：4
|
作者：
Niemela, Ilkka [1 ]
机构：
[1] Lab Theoret Comp Sci, FI-02015 Helsinki, Finland
来源：
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2006年 / 4160卷
关键词：
D O I：
10.1007/11853886_2
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：15 / 18
页数：4
相关论文
共 50 条
  • [1] Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems
    Niemela, Ilkka
    2011 41ST IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL), 2011, : 139 - 141
  • [2] Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems
    Niemela, Ilkka
    12TH SYMPOSIUM ON PROGRAMMING LANGUAGES AND SOFTWARE TOOLS, SPLST' 11, 2011, : 173 - 173
  • [3] Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach
    Erdem, Esra
    Herzig, Andreas
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (325): : 52 - 58
  • [4] Solving Advanced Argumentation Problems with Answer Set Programming
    Brewka, Gerhard
    Diller, Martin
    Heissenberger, Georg
    Linsbichler, Thomas
    Woltran, Stefan
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (03) : 391 - 431
  • [5] Algorithms for solving optimization problems in answer set programming
    Alviano, Mario
    INTELLIGENZA ARTIFICIALE, 2018, 12 (01) : 1 - 14
  • [6] Solving Advanced Argumentation Problems with Answer-Set Programming
    Brewka, Gerhard
    Diller, Martin
    Heissenberger, Georg
    Linsbichler, Thomas
    Woltran, Stefan
    THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1077 - 1083
  • [7] Solving Decision Theory Problems with Probabilistic Answer Set Programming
    Azzolini, Damiano
    Bellodi, Elena
    Kiesel, Rafael
    Riguzzi, Fabrizio
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2025, 25 (01) : 33 - 63
  • [8] Solving stable matching problems using answer set programming
    De Clercq, Sofie
    Schockaert, Steven
    De Cock, Martine
    Nowe, Ann
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 247 - 268
  • [9] Solving Power Distribution Network Problems with Answer Set Programming
    Yamada K.
    Minato S.-I.
    Tamura N.
    Banbara M.
    Computer Software, 2023, 40 (02) : 3 - 18
  • [10] Solving Vehicle Equipment Specification Problems with Answer Set Programming
    Takeuchi, Raito
    Banbara, Mutsunori
    Tamura, Naoyuki
    Schaub, Torsten
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, 2023, 13880 : 232 - 249
12345